Jackson, Daniel
Software abstractions : logic, language and analysis
- Cambridge: MIT Press, 2006
- xvi, 350 p.; ill.: 23 cm.
0262101149 (hbk)
Computer software Development
Model diagrams
Unifief modeling language
Vienna development method
005.1 / JAC