Software Abstractions

Software Abstractions

Logic, Language and Analysis

eBook - 2006
Rate this:
'Software Abstraction' introduces an approach to software design that draws on traditional formal methods but exploits automated tools to find flaws as early as possible. This text introduces the key elements of the approach - which Jackson calls 'lightweight formal methods' or 'agile modelling'.
Publisher: Cambridge, Mass. : MIT Press, c2006 (Norwood, Mass. : Books24x7.com [generator])
ISBN: 0262101149
Additional Contributors: Books24x7, Inc

Opinion

From the critics


Community Activity

Comment

Add a Comment

There are no comments for this title yet.

Age Suitability

Add Age Suitability

There are no age suitabilities for this title yet.

Summary

Add a Summary

There are no summaries for this title yet.

Notices

Add Notices

There are no notices for this title yet.

Quotes

Add a Quote

There are no quotes for this title yet.

Explore Further

Subject Headings

  Loading...

Find it at VPL

  Loading...
[]
[]
To Top