Model-Driven Testing
Written by the original members of this standardization group, this book shows you how to use UML to test complex software ...
Lee mas
Models in Software Engineering
This book constitutes the thoroughly refereed post-proceedings of 11 international workshops held as satellite events of ...
Lee mas
Modern Formal Methods and Applications
Formal methods are a robust approach for problem solving. It is based on logic and algebraic methods where problems can be ...
Lee mas
Object-Oriented Information Systems
Lee mas
Ontologies for Agents: Theory and Experiences
On the other hand, ontologies have established themselves as a powerful tool to enable kno- edge sharing, and a growing number ...
Lee mas
Perspectives of Systems Informatics
This volume contains the ?nal proceedings of the Sixth International Andrei Ershov Memorial Conference on Perspectives of ...
Lee mas
Petri Nets and Other Models of Concurrency - ICATPN 2006
This book constitutes the refereed proceedings of the 27th International Conference on Applications and Theory of Petri Nets ...
Lee mas
Programming Multi-Agent Systems (vol. # 3346)
This paper is focussed on a principled way to combine the two dominant paradigms for building multiagent team plans, namely ...
Lee mas
Rapid Integration of Software Engineering Techniques (vol. # 3475)
This paper reports on the experiences of integrating several Software Engineering techniques by the Rapid Prototyping group of ...
Lee mas
Rapid Integration of Software Engineering Techniques (vol. # 3943)
This book constitutes the thoroughly refereed postproceedings of the Second International Workshop on Rapid Integration of ...
Lee mas
Real-Time Object Uniform Design Methodology with UML
The competitiveness of organizations facing globalization, information and communication technologies relies on strategic ...
Lee mas
Reasoning Web
This book contains a collection of thoroughly revised tutorial papers based on lectures given by leading researchers at the ...
Lee mas
Reliable Software Technologies -- Ada-Europe 2006
This book constitutes the refereed proceedings of the 11th International Conference on Reliable Software Technologies, Ada- ...
Lee mas
Requirements Engineering
Essentially, this is an update that places more emphasis on modelling by describing a greater range of approaches to system ...
Lee mas
Requirements Engineering: Foundation for Software Quality
This book constitutes the refereed proceedings of the 13th International Working Conference on Requirements Engineering: ...
Lee mas
Reverse Engineering of Object Oriented Code
The book describes the algorithms involved in recovering UML diagrams from the code and the techniques that can be adopted ...
Lee mas
SDL 2001: Meeting UML
This volume contains the papers presented at the Tenth SDL Forum, Cop- hagen. SDL is the Speci?cation and Description Language ...
Lee mas
SDL 2005: Model Driven
This paradigm is based on the following important principles of distributed - plications: Communication: large systems tend ...
Lee mas
SDL 2007: Design for Dependable Systems
Thisvolumecontainsthepaperspresentedatthe13 SDL Forum,Paris,France entitled “Design for Dependable Systems” and re?ects ...
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
