共 50 条
- [1] Integrating semi-formal and formal requirements [J]. ADVANCED INFORMATION SYSTEMS ENGINEERING, 1997, 1250 : 19 - 32
- [3] A validation framework for formal models in adaptive work-integrated learning [J]. ADAPTIVE HYPERMEDIA AND ADAPTIVE WEB-BASED SYSTEMS, 2008, 5149 : 416 - 420
- [6] Linking paradigms, semi-formal and formal notations [J]. TEACHING FORMAL METHODS, PROCEEDINGS, 2004, 3294 : 166 - 184
- [7] Can semi-formal be made more formal? [J]. NEXT GENERATION DESIGN AND VERIFICATION METHODOLOGIES FOR DISTRIBUTED EMBEDDED CONTROL SYSTEMS, 2007, : 193 - +
- [8] STEM Applications: Integrating Informal Learning with the Formal Learning Environment [J]. 2013 ASEE ANNUAL CONFERENCE, 2013,
- [9] On combining semi-formal and formal object specification techniques [J]. RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, 1998, 1376 : 238 - 252
- [10] Crossing the borderline - From formal to semi-formal specifications [J]. SOFTWARE ENGINEERING TECHNIQUES: DESIGN FOR QUALITY, 2006, 227 : 73 - 84