Specifying a Cleanroom Black Box Using JSD

  • Marc Frappier
  • Richard St-Denis
Part of the Formal Approaches to Computing and Information Technology FACIT book series (FACIT)


The Cleanroom method [7,8] and the JSD (Jackson System Development) method [2,5] were proposed in the early eighties by Harlan Mills and Michael Jackson, respectively. Both methods cover all phases of the software development process. They propose, however, different notations and techniques for each phase. This chapter illustrates how these two methods can be combined at the specification phase for a more effective process.


Input Sequence Entity Type Type Order Structure Diagram Output Space 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Bolognesi, T. and Brinksma, E. (1987) Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems 14 (1): 25–59CrossRefGoogle Scholar
  2. 2.
    Cameron, J. R. (1989) JSP and JSD: The Jackson Approach to Software Development, Second Edition. IEEE Computer Society Press, WashingtonGoogle Scholar
  3. 3.
    Frappier, M., St-Denis, R. (1999) Specifying Information Systems through Structured Input-Output Traces, Université de Sherbrooke, Département de mathématiques et d’informatique, Technical Report 233Google Scholar
  4. 4.
    Hoare, C. A. R. (1985) Communicating Sequential Processes. Prentice Hall, Englewood Cliffs, NJMATHGoogle Scholar
  5. 5.
    Jackson, M. (1983) System Development. Prentice Hall, Englewood Cliffs, NJMATHGoogle Scholar
  6. 6.
    Milner, R. (1989) Communication and Concurrency. Prentice Hall, Englewood Cliffs, NJMATHGoogle Scholar
  7. 7.
    Mills, H. D., Linger R. C., and Hevner, A. R. (1986) Principles of Information Systems Analysis and Design. Academic Press, Orlando, FLGoogle Scholar
  8. 8.
    Prowell, S. J., Trammell, C. J., Linger, R. C.; Poore, J. H. (1999) Cleanroom Software Engineering: Technology and Process. Addison-Wesley, Reading, MAGoogle Scholar

Copyright information

© Springer-Verlag London Limited 2001

Authors and Affiliations

  • Marc Frappier
  • Richard St-Denis

There are no affiliations available

Personalised recommendations