Electronic Books

Model Driven Engineering Languages and Systems (vol. # 4199)

This book constitutes the refereed proceedings of the 9th International Conference on Model Driven Engineering Languages ...

Model-Based Testing of Reactive Systems

This book is based on a seminar held in Dagstuhl Castle, Germany, in January 2004. It presents 19 carefully reviewed and ...

Model-Driven Architecture - Foundations and Applications

The goal of the European Conference on Model-Driven Architecture — Foundations and Applications (ECMDA-FA) is to bring ...

Model-Driven Architecture in Practice

This book introduces all the relevant information required to understand and put Model Driven Architecture (MDA) into industrial ...

Model-Driven Software Development

Abstraction is the most basic principle of software engineering. Abstractions are provided by models. Modeling and model ...

Model-Driven Testing

Written by the original members of this standardization group, this book shows you how to use UML to test complex software ...

Models in Software Engineering

This book constitutes the thoroughly refereed post-proceedings of 11 international workshops held as satellite events of ...

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 ...

Object-Oriented Information Systems

Object-Oriented Software Engineering Using UML Patterns and Java / Bernd Bruegge, Allen H. Dutoit

Shows students how to use both the principles of software engineering and the practices of various object-oriented tools, ...

Object-Oriented Technology. ECOOP 2004 Workshop Reader

This year, for the eighth time, the European Conference on Object-Oriented Programming (ECOOP) series, in cooperation with ...

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 ...

Perspectives in Conceptual Modeling

We are pleased to present the proceedings of the workshops held in conjunction with ER 2005, the 24th International Conference ...

Perspectives of Systems Informatics

This volume contains the ?nal proceedings of the Sixth International Andrei Ershov Memorial Conference on Perspectives of ...

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 ...

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 ...

Quality of Software Architectures. Models and Architectures : 4th International Conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings

This book is organized in topical sections on architectural design and architectural decisions, tracing architectural decisions, ...

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 ...

Rapid Integration of Software Engineering Techniques (vol. # 3943)

This book constitutes the thoroughly refereed postproceedings of the Second International Workshop on Rapid Integration of ...

Real-Time Object Uniform Design Methodology with UML

The competitiveness of organizations facing globalization, information and communication technologies relies on strategic ...