Related Books
Language: en
Pages: 373
Pages: 373
Type: BOOK - Published: 2016-02-12 - Publisher: MIT Press
An approach to software design that introduces a fully automated analysis giving designers immediate feedback, now featuring the latest version of the Alloy lan
Language: en
Pages: 373
Pages: 373
Type: BOOK - Published: 2011-11-04 - Publisher: MIT Press
An approach to software design that introduces a fully automated analysis giving designers immediate feedback, now featuring the latest version of the Alloy lan
Language: en
Pages: 391
Pages: 391
Type: BOOK - Published: 2017-03-30 - Publisher: Morgan & Claypool Publishers
This book discusses how model-based approaches can improve the daily practice of software professionals. This is known as Model-Driven Software Engineering (MDS
Language: en
Pages: 416
Pages: 416
Type: BOOK - Published: 2020-11-17 - Publisher: Springer Nature
This book constitutes the proceedings papers of the 13th IFIP Working Conference on the Practice of Enterprise Modeling, held in Riga, Latvia, in November 2020.
Language: en
Pages: 526
Pages: 526
Type: BOOK - Published: 2008-10-08 - Publisher: Springer
The second instance of the international summer school on Generative and Transformational Techniques in Software Engineering (GTTSE 2007) was held in Braga, Por
