Models in Software Engineering
This book constitutes the thoroughly refereed post-proceedings of 11 international workshops held as satellite events of ...
Weiterlesen
Multiagent System Technologies
The papers are organized in topical sections on engineering multi-agent systems, multi-agent planning and learning, multi-agent ...
Weiterlesen
Reflections on the Teaching of Programming : Methods and Implementations
The book addressed span a wide range of problems and solutions associated with the teaching of programming such as introductory ...
Weiterlesen
Satellite Events at the MoDELS 2005 Conference
This book constitutes the thoroughly refereed post-proceedings of 10 internationl workshops held as satellite events of the ...
Weiterlesen
Task Models and Diagrams for User Interface Design
This book constitutes the refereed proceedings of the 6th International Workshop on Task Models and Diagrams for User Interface ...
Weiterlesen
Tests and Proofs : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings
This book covers the area of convergence of software proofing and testing and feature current research work that combines ...
Weiterlesen
Transactions on Petri Nets and Other Models of Concurrency I
It contains teaching concurrency; process languages; process mining; software engineering; state space visualisation techniques; ...
Weiterlesen
Trustworthy Global Computing
Constitutes the post-proceedings of the International Symposium on Trustworthy Global Computing. This book covers issues, ...
Weiterlesen
UML Modeling Languages and Applications
This volume is a compilation of the contributions presented at these satellite events. Workshops at UML 2004 took place during ...
Weiterlesen
