Skip to main content
PBS logo
 
 

Search - Software Abstractions: Logic, Language, and Analysis

Software Abstractions: Logic, Language, and Analysis
Software Abstractions Logic Language and Analysis
Author: Daniel Jackson
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 ...  more »
ISBN-13: 9780262528900
ISBN-10: 0262528908
Publication Date: 2/12/2016
Pages: 376
Edition: revised edition
Rating:
  ?

0 stars, based on 0 rating
Publisher: The MIT Press
Book Type: Paperback
Other Versions: Hardcover
Members Wishing: 0
Reviews: Amazon | Write a Review


Genres: