Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bolognesi, T. and Brinksma, E. (1987) Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems 14 (1): 25–59
Cameron, J. R. (1989) JSP and JSD: The Jackson Approach to Software Development, Second Edition. IEEE Computer Society Press, Washington
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 233
Hoare, C. A. R. (1985) Communicating Sequential Processes. Prentice Hall, Englewood Cliffs, NJ
Jackson, M. (1983) System Development. Prentice Hall, Englewood Cliffs, NJ
Milner, R. (1989) Communication and Concurrency. Prentice Hall, Englewood Cliffs, NJ
Mills, H. D., Linger R. C., and Hevner, A. R. (1986) Principles of Information Systems Analysis and Design. Academic Press, Orlando, FL
Prowell, S. J., Trammell, C. J., Linger, R. C.; Poore, J. H. (1999) Cleanroom Software Engineering: Technology and Process. Addison-Wesley, Reading, MA
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag London Limited
About this chapter
Cite this chapter
Frappier, M., St-Denis, R. (2001). Specifying a Cleanroom Black Box Using JSD. In: Frappier, M., Habrias, H. (eds) Software Specification Methods. Formal Approaches to Computing and Information Technology FACIT. Springer, London. https://doi.org/10.1007/978-1-4471-0701-9_11
Download citation
DOI: https://doi.org/10.1007/978-1-4471-0701-9_11
Publisher Name: Springer, London
Print ISBN: 978-1-85233-353-9
Online ISBN: 978-1-4471-0701-9
eBook Packages: Springer Book Archive