Författare
Daniel (Massachusetts Institute of Technology) Jackson
Daniel (Massachusetts Institute of Technology) Jackson är en uppskattad författare inom Data och IT med totalt 1 bok tillgängliga på Bokkollen, utgivna hos MIT Press Ltd.
Bland verken finns Software Abstractions, som toppar listan över Daniel (Massachusetts Institute of Technology) Jacksons populäraste böcker. Verken spänner över data & it och tilltalar läsare som uppskattar genren.
På Bokkollen gör vi det enkelt att navigera i Daniel (Massachusetts Institute of Technology) Jacksons författarskap. Vår databas uppdateras ständigt med nya släpp och format, så oavsett om du söker efter en lättläst pocket för semestern, en lyxig inbunden presentutgåva eller en digital ljudbok för pendlingen, har vi rätt utgåva för dig.
Jämför snabbt och smidigt priser på alla böcker av Daniel (Massachusetts Institute of Technology) Jackson hos Sveriges ledande bokhandlare – som Adlibris, Bokus och Akademibokhandeln – och hitta alltid det bästa erbjudandet utan att betala för mycket.
Software Abstractions
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.
Hela bibliografin
Utforska alla Daniel (Massachusetts Institute of Technology) Jacksons publicerade verk sorterade efter popularitet.
Upptäck liknande författare
Om du gillar Daniel (Massachusetts Institute of Technology) Jackson kommer du förmodligen att uppskatta även dessa författare inom data & it.