Combining JSD and cleanroom for object-oriented scenario specification

Authors
Frappier, M St-Denis, R
Citation
M. Frappier et R. St-denis, Combining JSD and cleanroom for object-oriented scenario specification, KLUW ENGN C, 523, 1999, pp. 61-74
Categorie Soggetti
Current Book Contents
Journal title
BEHAVIORAL SPECIFICATIONS OF BUSINESSES AND SYSTEMS → ACNP
Volume
523
Year of publication
1999
Pages
61 - 74
Database
ISI
SICI code