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