Software abstractions: logic, language, and analysis - Daniel Jackson

• O stea, bazat pe 1 voturi

• An approach to software design that introduces a fully automated analysis giving designers immediate feedback, now featuring the latest version of the Alloy language.
• In Software Abstractions Daniel Jackson introduces an approach to software design that draws on traditional formal methods but exploits automated tools to find flaws as early as possible.
• This approach--which Jackson calls lightweight formal methods or agile modeling--takes from formal specification the idea of a precise and expressive notation based on a tiny core of simple and robust concepts but replaces conventional analysis based on theorem proving with a fully automated analysis that gives designers immediate feedback.
• Jackson has developed Alloy, a language that captures the essence of software abstractions simply and succinctly, using a minimal toolkit of mathematical notions.
• This revised edition updates the text, examples, and appendixes to be fully compatible with Alloy 4.