Datatype-Generic Programming
A leitmotif in the evolution of programming paradigms has been the level and extent of parametrisation that is facilitated ...
اقرأ المزيد
Datatype-Generic Programming
A leitmotif in the evolution of programming paradigms has been the level and extent of parametrisation that is facilitated ...
اقرأ المزيد
Implementation of Functional Languages
This book constitutes the thoroughly refereed post-proceedings of the 15th International Workshop on the Implementation of ...
اقرأ المزيد
Mathematics of Program Construction
This volume contains the proceedings of the 8th International Conference on Mathematics of ProgramConstruction, MPC 2006,held ...
اقرأ المزيد
Mathematics of Program Construction : 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings
This book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, ...
اقرأ المزيد
Model Driven Engineering Languages and Systems
This book constitutes the refereed proceedings of the 10th International Conference on Model Driven Engineering Languages ...
اقرأ المزيد
Model Driven Engineering Languages and Systems (vol. # 3713)
Constitutes the proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems, MoDELS ...
اقرأ المزيد
Model Driven Engineering Languages and Systems (vol. # 4199)
This book constitutes the refereed proceedings of the 9th International Conference on Model Driven Engineering Languages ...
اقرأ المزيد
Models in Software Engineering
This book constitutes the thoroughly refereed post-proceedings of 11 international workshops held as satellite events of ...
اقرأ المزيد
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 ...
اقرأ المزيد
Theory and Practice of Model Transformations : First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008 Proceedings
This book includes different issues related with: process and engineering of model transformations; model transformations ...
اقرأ المزيد
UML Modeling Languages and Applications
This volume is a compilation of the contributions presented at these satellite events. Workshops at UML 2004 took place during ...
اقرأ المزيد
