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 a new 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 expressi...  more »
ISBN-13: 9780262101141
ISBN-10: 0262101149
Publication Date: 4/7/2006
Pages: 366
Rating:
  ?

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


Genres: