共 50 条
- [1] Languages for the specification of software [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 1996, 32 (03) : 269 - 308
- [3] Software Visual Specification for Requirement Specification Validation [J]. PROCEEDINGS OF 2018 7TH INTERNATIONAL CONFERENCE ON SOFTWARE AND COMPUTER APPLICATIONS (ICSCA 2018), 2018, : 66 - 71
- [4] SOFTWARE SPECIFICATION AND PROTOTYPING TECHNOLOGIES [J]. AT&T TECHNICAL JOURNAL, 1988, 67 (04): : 33 - 45
- [5] Specification matching of software components [J]. ACM Transactions on Software Engineering and Methodology, 1997, 6 (04): : 333 - 369
- [7] On the specification of complex software systems [J]. SECOND IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS: HELD JOINTLY WITH 6TH CSESAW, 4TH IEEE RTAW, AND SES'96, 1996, : 134 - 138
- [8] SOFTWARE SPECIFICATION BY BEHAVIORAL CANONS [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1989, 394 : 117 - 135
- [10] Compositional specification of software architecture [J]. International Software Architecture Workshop, Proceedings, ISAW, 1998, : 113 - 116