An approach to software design that introduces a fully automated analysis giving designers immediate feedback, now featuring the latest version of the Alloy lan

An approach to software design that introduces a fully automated analysis giving designers immediate feedback, now featuring the latest version of the Alloy lan

This book discusses how model-based approaches can improve the daily practice of software professionals. This is known as Model-Driven Software Engineering (MDS

Praise for the first edition: "The well-written, comprehensive book...[is] aiming to become a de facto reference for the language and its features and capabilit

"This book addresses the topic of software design: how to decompose complex software systems into modules (such as classes and methods) that can be implemented