共 50 条
- [25] Interpretable program specification language Programming and Computer Software, 2010, 36 : 48 - 57
- [27] Reflections on the design of a specification language FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, 1998, 1382 : 154 - 170
- [30] Language for Use Case Specification 2011 34TH IEEE SOFTWARE ENGINEERING WORKSHOP (SEW 2011), 2011, : 19 - 26