Book Title:
|
Program Construction: Calculating Implementation from Specifications
|
Citation:
|
Backhouse (2004)
|
Author:
|
Roland Backhouse
|
Edition:
|
1st Edition
|
ISBN:
|
978-0470848821
|
Publisher:
|
Wiley
|
|
Book Title:
|
Design by contract, by example
|
Citation:
|
Mitchell and McKim (2002)
|
Author:
|
Richard Mitchell and Jim McKim
|
Edition:
|
1st Edition
|
ISBN:
|
978-0201634600
|
Publisher:
|
Addison-Wesley
|
|
Book Title:
|
The Object Constraint Language, precise modeling with UML
|
Citation:
|
Warmer and Kleppe (2001)
|
Author:
|
Jos Warmer and Anneke Kleppe
|
Edition:
|
1st Edition
|
ISBN:
|
978-0201379402
|
Publisher:
|
Addison-Wesley
|
|
|