Marc Frappier, Richard St.-Denis. Combining JSD and Cleanroom for Object-Oriented Scenario Specification. In Haim Kilov, Bernhard Rumpe, Ian Simmonds, editors, Behavioral Specifications of Businesses and Systems. Volume 523 of The Kluwer International Series in Engineering and Computer Science, pages 61-74, Springer, 1999. [doi]
@incollection{FrappierS99,
title = {Combining JSD and Cleanroom for Object-Oriented Scenario Specification},
author = {Marc Frappier and Richard St.-Denis},
year = {1999},
doi = {10.1007/978-1-4615-5229-1_5},
url = {http://dx.doi.org/10.1007/978-1-4615-5229-1_5},
researchr = {https://researchr.org/publication/FrappierS99},
cites = {0},
citedby = {0},
pages = {61-74},
booktitle = {Behavioral Specifications of Businesses and Systems},
editor = {Haim Kilov and Bernhard Rumpe and Ian Simmonds},
volume = {523},
series = {The Kluwer International Series in Engineering and Computer Science},
publisher = {Springer},
isbn = {978-1-4615-5229-1},
}