Informatik (15 755 Artikel)

1. Introduction.- 2. Semantics Based on Bisimulation.- 3. Model-Checking Based Data Retrieval.- 4. Temporal Aspects of Semistructured Data.- 5. Related Works.- 6. Conclusion.

A Software Production Environment Based on Conceptual Modeling

A Software Production Environment Based on Conceptual Modeling

Model-Driven Dependability Assessment of Software Systems

Model-Driven Dependability Assessment of Software Systems

Model-Driven Design Using Business Patterns

Model-Driven Development (MDD) has become an important paradigm in software development. It uses models as primary artifacts in the development process. This book provides an outstanding overview a...

Model-Driven Development (MDD) has become an important paradigm in software development. It uses models as primary artifacts in the development process. This book provides an outstanding overview a...

This book constitutes thoroughly revised and selected papers from the 6th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018, held in Funchal, Madeira, P...

This book constitutes thoroughly revised and selected papers from the 7th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2019, held in Prague, Czech Repub...

5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers

This book constitutes thoroughly revised and selected papers from the 8th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2020, held in Valletta, Malta, in...

Second International Conference, MODELSWARD 2014, Lisbon, Portugal, January 7-9, 2014, Revised Selected Papers

Third International Conference, MODELSWARD 2015, Angers, France, February 9-11, 2015, Revised Selected Papers

This book constitutes thoroughly revised and selected papers from the 4th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2016, held in Rome, Italy, in Feb...