A Unified Systems Development Paradigm Which Synthesises Object-Oriented Methodologies and VDM
PhD Thesis
Charatan, Quentin (1996). A Unified Systems Development Paradigm Which Synthesises Object-Oriented Methodologies and VDM . PhD Thesis South Bank University School of Electrical, Electronic and Information Engineering https://doi.org/10.18744/lsbu.96698
Authors | Charatan, Quentin |
---|---|
Type | PhD Thesis |
Abstract | This work describes a methodology for systems development whereby the techniques of object-oriented analysis and design are synthesised with those of VDM, a formal development method. The methodology involves the use of Object-Oriented Analysis to derive an Object-Oriented/VDM specification; this specification is then used as the basis for a design technique which synthesises object methods with the formal development techniques of VDM, namely Data Reification and Operation Decomposition. |
Year | 1996 |
Publisher | London South Bank University |
Digital Object Identifier (DOI) | https://doi.org/10.18744/lsbu.96698 |
File | License File Access Level Open |
Publication dates | |
1996 | |
Publication process dates | |
Deposited | 01 Mar 2024 |
https://openresearch.lsbu.ac.uk/item/96698
Download files
19
total views40
total downloads0
views this month0
downloads this month