共 50 条
- [24] A tool for writing and debugging algebraic specifications ICSE 2004: 26TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS, 2004, : 449 - 458
- [26] Measuring quality of writing of construction specifications JOURNAL OF CONSTRUCTION ENGINEERING AND MANAGEMENT-ASCE, 2005, 131 (08): : 859 - 865
- [27] PROBLEMS IN WRITING DESIGN SPECIFICATIONS FOR ARCH STRUCTURES CODE DIFFERENCES AROUND THE WORLD, 1989, : 235 - 241
- [28] A Language for Writing System Specifications in an Aeronautical Context 2015 IEEE 23RD INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE), 2015, : 406 - 411