Title :
Object-oriented design, Jackson system development (JSD) specifications and concurrency
Author :
Hull, M. Elizabeth C ; Zarea-Aliabadi, Adib ; Guthrie, David A.
fDate :
3/1/1989 12:00:00 AM
Abstract :
Object-oriented design facilitates the implementation of large systems, and is suitable for constructing concurrent systems. This paper shows that the Jackson system development (JSD) method caters for object-oriented specification of systems which can be suitably transformed for concurrent implementation using Ada and similar languages
Keywords :
formal specification; object-oriented programming; parallel programming; structured programming; Ada; JSD; Jackson system development; concurrency; concurrent systems; object-oriented specification;
Journal_Title :
Software Engineering Journal
