Implementing JSD designs in Ada: a tutorial-Reference-Cited by-同舟云学术

Implementing JSD designs in Ada: a tutorial

Published:1990-07 Issue:3 Volume:15 Page:25-32
ISSN:0163-5948
Container-title:ACM SIGSOFT Software Engineering Notes
language:en
Short-container-title:SIGSOFT Softw. Eng. Notes

Author:

Yeung W. L.¹,Topping G.¹

Affiliation:

1. Department of Computing, Staffordshire Polytechnic, Blackheath Lane, Stafford ST18 OAD, United Kingdom

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.

Publisher

Association for Computing Machinery (ACM)

Link

https://dl.acm.org/doi/pdf/10.1145/101114.101115

Reference17 articles.

1. 1 . Bustard D. et al: Concurrent Program Structures (Prentice-Hall International 1988). 1. Bustard D. et al: Concurrent Program Structures (Prentice-Hall International 1988).

2. 2 . Hoare C.A.R. "Towards a theory of parallel programming" in Operating Systems Techniques (Academic Press 1972). 2. Hoare C.A.R. "Towards a theory of parallel programming" in Operating Systems Techniques (Academic Press 1972).

3. 3 . Brinch Hansen P. Operating System Principles (Prentice-Hall 1974). 3. Brinch Hansen P. Operating System Principles (Prentice-Hall 1974).

4. 4 . Simpson H.R. 'The Mascot Method' IEE/BCS Software Engineering Journal May 1986 1 (3) pp. 103-120. 10.1049/sej.1986.0018 4. Simpson H.R. 'The Mascot Method' IEE/BCS Software Engineering Journal May 1986 1 (3) pp. 103-120. 10.1049/sej.1986.0018

5. 5 . Jackson M.A. 'System Development' (Prentice-Hall International 1983). 5. Jackson M.A. ' System Development ' (Prentice-Hall International 1983).

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Semantics-based support tools for high integrity Ada software;Reliable Software Technologies — Ada-Europe '97;1997

2. A framework for understanding the integration of design methodologies;ACM SIGSOFT Software Engineering Notes;1995-01

3. Theoretical basis for Jackson System Development;Information and Software Technology;1992-08