Stem jsd$ (all stems)
2 papers:
- ICSE-1991-BassBR #automation #named
- PRESTIGE: A CASE Workbench for the JSD Implementor (AB, MB, BR), pp. 198–207.
- ICSE-1985-PottsBCM #design #simulation #specification #validation
- Discrete Event Simulation as a Means of Validating JSD Design Specifications (CP, AB, BHC, RM), pp. 119–127.