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