共 50 条
- [32] SPECIFICATIONS CLINIC - FORMULATING MASTER OUTLINE SPECIFICATIONS PROGRESSIVE ARCHITECTURE, 1980, 61 (03): : 109 - 109
- [33] Specifications for organized breast cancer screening - Specifications for radiologists JOURNAL DE RADIOLOGIE, 2006, 87 (12): : S27 - S46
- [37] A specification translation from behavioral specifications to rewrite specifications IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2008, E91D (05): : 1492 - 1503
- [38] Formal Automated Transformation of SDL Specifications to Lotos Specifications 2008 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS, VOLS 1-3, 2008, : 1117 - +
- [40] Formal automated transformation of lotos specifications to SDL specifications 8TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL XIII, PROCEEDINGS: INDUSTRIAL SYSTEMS, 2004, : 237 - 241