Layered virtual machine/object-oriented design

Layered Virtual Machine/Object-Oriented Design (LVM/OOD) is an Ada-oriented software design method that stresses a balance between data abstraction and functional decomposition. Data abstraction is the guiding principle for the determination of modules that establish the overall architecture of the system. Functional decomposition is the guiding principle for the determination of the step-by-step processing of the program that satisfies a software requirements specification. Graphics are used to portray both the architecture and the step-by-step processing.

[1]  Edsger W. Dijkstra,et al.  The structure of the “THE”-multiprogramming system , 1968, CACM.

[2]  Edsger W. Dijkstra,et al.  Notes on structured programming , 1970 .

[3]  D. L. Parnas,et al.  On the criteria to be used in decomposing systems into modules , 1972, Software Pioneers.

[4]  Niklaus Wirth,et al.  Program development by stepwise refinement , 1971, CACM.

[5]  Grady Booch,et al.  Software engineering with Ada , 1983 .

[6]  Václav Rajlich.  Paradigms for design and implementation in ADA , 1985, CACM.

[7]  Barbara Liskov,et al.  Abstraction and Specification in Program Development , 1986 .

[8]  Ken Shumate,et al.  Designing large real-time systems with Ada , 1988, CACM.

[9]  Miguel A. Carrio,et al.  Proceedings of the Joint Ada conference Fifth National Conference on Ada Technology and Fourth Washington Ada Symposium, WADAS 1987, Arlington, Virginia, USA, 1987 , 1987, WADAS.

[10]  Grady Booch,et al.  Software Component with ADA , 1987 .

[11]  Ed Seidewitz,et al.  Towards a general object-oriented Ada lifecycle , 1987, WADAS '87.

[12]  Ed Seidewitz,et al.  Toward a general object-oriented software development methodology , 1987, ALET.

[13]  Victor R. Basili,et al.  Lessons learned in use of Ada-oriented design methods , 1987, WADAS '87.

[14]  Frederick P. Brooks,et al.  No Silver Bullet: Essence and Accidents of Software Engineering , 1987 .

[15]  Kjell Nielsen,et al.  A taxonomy of Ada packages , 1988, ALET.

[16]  Iain D. Craig.  Software Components With Ada by Grady Booch Benjamin/Cummings, Menlo Park, CA, 1987, 635 pages (incl. index) (£19.95) , 1989, Robotica.

[17]  Iain D. Craig,et al.  Software Engineering With Ada (Second Edition) by Grady Booch Benjamin Cummings, Menlo Park, CA, USA, 1987, 580 pages (including index) (£21.95) , 1989, Robotica.

[18]  Ken Shumate.  Understanding Concurrency in Ada , 1990 .