共 50 条
- [32] Class specification implementation graphs and their application in regression testing 26TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, PROCEEDINGS, 2002, : 835 - 840
- [34] FORMAL SPECIFICATION, VALIDATION AND IMPLEMENTATION OF AN APPLICATION PROTOCOL WITH ESTELLE IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1992, 2 : 361 - 376
- [36] An application (Layer 7) routing switch with Ada95 software RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE' 99, 1999, 1622 : 250 - 262
- [38] The Implementation of the Ariel FGS Application Software SOFTWARE AND CYBERINFRASTRUCTURE FOR ASTRONOMY VIII, 2024, 13101
- [40] Practical application of formal methods for specification and analysis of software architecture 2005 Australian Software Engineering Conference, Proceedings, 2005, : 302 - 311