|
Barnes & Noble @ Boston University - SPRING ON CAMPUS '11 | ||
Section A1 | ||
Software Abstractions: Logic, Language, and Analysis (6th Edition) by Daniel Jackson Hardcover, 366 Pages, Published 2006 ISBN-10: 0-262-10114-9 / 0262101149 ISBN-13: 978-0-262-10114-1 / 9780262101141 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 method |