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