All Software Engineering Titles
Object-Oriented Analysis and Design
Sarnath Ramnath, Brahma Dathan
OOAD has become a vast field, encompassing such diverse topics as design process and principles, documentation tools, refactoring, and design and architectural patterns. This new textbook provides a comprehensive introduction to OOAD implementation.
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 ...
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 ...
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 ...