All Software Engineering Titles
Model Driven Engineering and Ontology Development
Dragan Gaševic, Dragan Djuric, Vladan Devedžic, Bran V. Selic, Jean Bézivin
This book details how to use model-driven engineering for ontology development on the Semantic Web. It explains in detail how to use standards like MDA and UML for ontology development and offers the first detailed description of OMG’s upcoming ODM standard.
Model-Based Engineering of Embedded Systems
Klaus Pohl, Harald Hönninger, Reinhold Achatz, Manfred Broy
This book offers a comprehensive guide to model-based engineering of embedded systems, with sections titled Starting Point, SPES Modeling Theory, Application and Evaluation of the SPES Methodology and Impact of the SPES Methodology.
Paul Baker, Zhen Ru Dai, Jens Grabowski, Ina Schieferdecker, Clay Williams
Modelling Foundations and Applications
Jordi Cabot, Julia Rubin
This book constitutes the proceedings of the 10th European Conference on Modelling Foundations and Applications, ECMFA 2014, held as part of STAF 2014, in York, UK, in July 2014. The 14 foundation tra ...
Nelly Bencomo, Robert B. France, Betty H.C. Cheng, Uwe Aßmann
Traditionally, research on model-driven engineering (MDE) has mainly focused on the use of models at the design, implementation, and verification stages of development. This work has produced relative ...
NASA Formal Methods
Julia M. Badger, Kristin Yvonne Rozier
This book constitutes the refereed proceedings of the 6th International Symposium on NASA Formal Methods, NFM 2014, held in Houston, TX, USA, April 29 – May 1, 2014. The 20 revised regular papers pres ...