共 50 条
- [41] Trustable Formal Specification for Software Certification LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT II, 2010, 6416 : 312 - 326
- [44] FORMAL SPECIFICATION AND THE PRODUCTION OF CORRECT SOFTWARE MATHEMATICAL INTELLIGENCER, 1984, 6 (02): : 28 - 31
- [45] Formal specification of evolutionary software agents FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2495 : 249 - 261
- [46] Software Testing Based on Formal Specification TESTING TECHNIQUES IN SOFTWARE ENGINEERING, 2010, 6153 : 215 - 242
- [48] Formal verification of functional properties of an SCR-style software requirements specification using PVS TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANAYLSIS OF SYSTEMS, PROCEEDINGS, 2002, 2280 : 205 - 220
- [49] Security Requirements Specification: A Formal Method Perspective PROCEEDINGS OF THE 7TH INTERNATIONAL CONFERENCE ON COMPUTING FOR SUSTAINABLE GLOBAL DEVELOPMENT (INDIACOM-2020), 2019, : 113 - 117