Compiler Construction
This book covered Theory and Practice of Software. The sections includes architecture, garbage collection and program analysis, ...
Continue reading
Compiler Construction
This book covered Theory and Practice of Software. The sections includes architecture, garbage collection and program analysis, ...
Continue reading
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 ...
Continue reading
Formal Methods Applications and Technology
The workshop program included two invited talks, by Anna Slobodova from Intel on “Challenges for Formal Veri?cation in ...
Continue reading
Fundamental Approaches to Software Engineering
This book cover software verification; model-driven development and model transformation; software evolution and requirements ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
Model-Driven Software Development
Abstraction is the most basic principle of software engineering. Abstractions are provided by models. Modeling and model ...
Continue reading
