Models in Software Engineering
This book constitutes the thoroughly refereed post-proceedings of 11 international workshops held as satellite events of ...
Continue reading
Multiagent System Technologies
The papers are organized in topical sections on engineering multi-agent systems, multi-agent planning and learning, multi-agent ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
Transactions on Petri Nets and Other Models of Concurrency I
It contains teaching concurrency; process languages; process mining; software engineering; state space visualisation techniques; ...
Continue reading
Trustworthy Global Computing
Constitutes the post-proceedings of the International Symposium on Trustworthy Global Computing. This book covers issues, ...
Continue reading
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 ...
Continue reading
