Skip to content

Software Abstractions Logic, Language, and Analysis

Spend $50 to get a free DVD!

ISBN-10: 0262101149

ISBN-13: 9780262101141

Edition: 2006

Authors: Daniel Jackson

List price: $45.00
Blue ribbon 30 day, 100% satisfaction guarantee!
what's this?
Rush Rewards U
Members Receive:
Carrot Coin icon
XP icon
You have reached 400 XP and carrot coins. That is the daily max!

Description:

'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'.
Customers also bought

Book details

List price: $45.00
Copyright year: 2006
Publisher: MIT Press
Publication date: 3/24/2006
Binding: Hardcover
Pages: 366
Size: 6.25" wide x 9.25" long x 1.00" tall
Weight: 1.320
Language: English

Daniel Jackson is Professor in the Department of Electrical Engineering and Computer Science and leads the Software Design Group at the Computer Science and Artificial Intelligence Lab at MIT.

Preface
Acknowledgments
Introduction
A Whirlwind Tour
Statics: Exploring States
Dynamics: Adding Operations
Classification Hierarchy
Execution Traces
Summary
Logic
Three Logics in One
Atoms and Relations
Snapshots
Operators
Constraints
Declarations and Multiplicity Constraints
Cardinality Constraints
Language
An Example: Self-Grandpas
Signatures and Fields
Model Diagrams
Types and Type Checking
Facts, Predicates, Functions, and Assertions
Commands and Scope
Modules and Polymorphism
Integers and Arithmetic
Analysis
Scope-Complete Analysis
Instances, Examples, and Counterexamples
Unbounded Universal Quantifiers
Scope Selection and Monotonicity
Examples
Leader Election in a Ring
Hotel Room Locking
Media Asset Management
Memory
Abstractions
Exercises
Logic Exercises
Extending Simple Models
Classic Puzzles
Metamodels
Small Case Studies
Open-Ended Case Studies
Alloy Language Reference
Lexical Issues
Namespaces
Grammar
Precedence and Associativity
Semantic Basis
Types and Overloading
Language Features
Kernel Semantics
Semantics of the Alloy Kernel
Semantics of Integer Expressions and Formulas
Diagrammatic Notation
Alternative Approaches
An Example
B
OCL
VDM
Z
References
Index