Implementing JSD designs in Ada: a tutorial

Authors:
W. L. Yeung;G. Topping
Affiliations:
Department of Computing, Staffordshire Polytechnic, Blackheath Lane, Stafford ST18 OAD, United Kingdom;Department of Computing, Staffordshire Polytechnic, Blackheath Lane, Stafford ST18 OAD, United Kingdom
Venue:
ACM SIGSOFT Software Engineering Notes
Year:
1990

Citing 12
Cited 1

Communicating sequential processes

Communicating sequential processes
An overview of JSD

IEEE Transactions on Software Engineering
The Mascot method

Software Engineering Journal - Special issue on Mascot 3
Programming in Occam

Programming in Occam
Concurrent program structures

Concurrent program structures
Object-oriented design, jackson system development (JSD) specifications and concurrency

Software Engineering Journal
A software design method for real-time systems

Communications of the ACM
Communicating sequential processes

Communications of the ACM
Reference Manual for the ADA Programming Language

Reference Manual for the ADA Programming Language
Operating system principles

Operating system principles
Efficient initialisation routines for multiprocessor systems programmed in Ada

ACM SIGAda Ada Letters
System development (Prentice-Hall International series in computer science)

System development (Prentice-Hall International series in computer science)

A framework for understanding the integration of design methodologies

ACM SIGSOFT Software Engineering Notes

Quantified Score

Hi-index	0.00

Visualization

Abstract

The Jackson System Development (JSD) method is widely recognized as viable for the design of real-time embedded systems. This paper discusses the implementation of JSD designs in Ada through a simulated lift control example.