Object-oriented design, Jackson system development (JSD) specifications and concurrency
M.E.C. Hull, Adib Zarea‐Aliabadi, D. Guthrie · Software Engineering Journal · 1989
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.