共 50 条
- [21] On desirable qualities of information system specifications CONCURRENT ENGINEERING: ADVANCED DESIGN, PRODUCTION AND MANAGEMENT SYSTEMS, 2003, : 1279 - 1286
- [23] CONJURE: Automatic Generation of Constraint Models from Problem Specifications PROCEEDINGS OF THE THIRTY-SECOND INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2023, 2023, : 6833 - 6838
- [25] Automatic test pattern generation from high level specifications PROCEEDINGS OF THE 46TH IEEE INTERNATIONAL MIDWEST SYMPOSIUM ON CIRCUITS & SYSTEMS, VOLS 1-3, 2003, : 1506 - 1509
- [27] Automatic generation of test vectors for SCR-style specifications COMPASS '97 - ARE WE MAKING PROGRESS TOWARDS COMPUTER ASSURANCE?, 1997, : 54 - 67
- [28] Automatic Generation of Natural Language Parsers from Declarative Specifications STAIRS 2006, 2006, 142 : 259 - +
- [29] Automatic Generation of Optimized Process Models from Declarative Specifications ADVANCED INFORMATION SYSTEMS ENGINEERING, CAISE 2015, 2015, 9097 : 382 - 397
- [30] AUTOMATIC PROTOCOL GENERATION BASED ON X.409 SPECIFICATIONS MICROPROCESSING AND MICROPROGRAMMING, 1988, 24 (1-5): : 111 - 119