DocumentCode
1071103
Title
Object-oriented design, Jackson system development (JSD) specifications and concurrency
Author
Hull, M. Elizabeth C ; Zarea-Aliabadi, Adib ; Guthrie, David A.
Volume
4
Issue
2
fYear
1989
fDate
3/1/1989 12:00:00 AM
Firstpage
79
Lastpage
86
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;
fLanguage
English
Journal_Title
Software Engineering Journal
Publisher
iet
ISSN
0268-6961
Type
jour
Filename
28095
Link To Document