Object-oriented design, Jackson system development (JSD) specifications and concurrency

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.

This publication has 1 reference indexed in Scilit: