Compiler Construction
This book covered Theory and Practice of Software. The sections includes architecture, garbage collection and program analysis, ...
Lire la suite
Compiler Construction
This book covered Theory and Practice of Software. The sections includes architecture, garbage collection and program analysis, ...
Lire la suite
Component-Based Software Engineering : 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings
This book constitutes the refereed proceedings of the 11th International ACM SIGSOFT Symposium on Component-Based Software ...
Lire la suite
Formal Methods Applications and Technology
The workshop program included two invited talks, by Anna Slobodova from Intel on “Challenges for Formal Veri?cation in ...
Lire la suite
Fundamental Approaches to Software Engineering
This book cover software verification; model-driven development and model transformation; software evolution and requirements ...
Lire la suite
High Confidence Software Reuse in Large Systems : 10th International Conference on Software Reuse, ICSR 2008, Beijing, China, May 25-29, 2008 Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Software Reuse, ICSR 2008, held in ...
Lire la suite
Model-Based Software and Data Integration : First International Workshop, MBSDI 2008, Berlin, Germany, April 1-3, 2008. Proceedings
The First International Workshop on Model-Based Software and Data Integ- tion (MBSDI 2008), was ourfrst event of this kind ...
Lire la suite
Model-Driven Development and Operation of Multi-Cloud Applications
In this book readers will find technological discussions on the existing and emerging technologies across the different stages ...
Lire la suite
Model-Driven Software Development
Abstraction is the most basic principle of software engineering. Abstractions are provided by models. Modeling and model ...
Lire la suite
