共 50 条
- [41] Analysis and verification of the interaction model in software design [J]. ICECCS 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2005, : 67 - 75
- [43] SPECIFICATION, DESIGN, PROTOTYPING AND VERIFICATION OF SOFTWARE SYSTEMS [J]. ELECTRICAL COMMUNICATION, 1988, 62 (3-4): : 259 - 264
- [44] The measurement of software design quality [J]. ANNALS OF SOFTWARE ENGINEERING, 1997, 4 : 235 - 255
- [45] Software design review framework based on software metrics [J]. NTT R and D, 1996, 45 (03): : 247 - 254
- [46] Automated Verification and Validation Methods for Transmission Control Software [J]. SAE INTERNATIONAL JOURNAL OF PASSENGER CARS-ELECTRONIC AND ELECTRICAL SYSTEMS, 2015, 8 (01): : 99 - 105
- [47] Methods of Formal Software Verification in the Context of Distributed Systems [J]. COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2019, PT II: 19TH INTERNATIONAL CONFERENCE, SAINT PETERSBURG, RUSSIA, JULY 1-4, 2019, PROCEEDINGS, PART II, 2019, 11620 : 546 - 555
- [48] Software Design and Software Product Verification From Security Point of View [J]. INNOVATION AND SUSTAINABLE COMPETITIVE ADVANTAGE: FROM REGIONAL DEVELOPMENT TO WORLD ECONOMIES, VOLS 1-5, 2012, : 2896 - 2905
- [49] APPLYING PROGRAM VERIFICATION METHODS IN SOFTWARE SPECIALISTS EDUCATION [J]. 7TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE (INTED2013), 2013, : 6260 - 6270
- [50] A Methodological Framework and Software Infrastructure for the Construction of Software Production Methods [J]. NEW MODELING CONCEPTS FOR TODAY'S SOFTWARE PROCESSES, 2010, 6195 : 112 - 125