共 50 条
- [32] ABSTRACTION, IDEALIZATION AND MODELING IN THE SPECIFICATION, CONSTRUCTION AND VERIFICATION OF SOFTWARE SYSTEMS [J]. ANGEWANDTE INFORMATIK, 1983, (12): : 541 - 548
- [33] Specification for visual requirements of work-centered software systems [J]. FOURTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH, MANAGEMENT AND APPLICATIONS, PROCEEDINGS, 2006, : 378 - +
- [34] Software Metrics for Similarity Determination of Complex Software Systems [J]. ENGINEERING SOFTWARE SYSTEMS: RESEARCH AND PRAXIS, 2019, 830 : 175 - 191
- [35] Languages for the specification of software [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 1996, 32 (03) : 269 - 308
- [37] RETROSPECTIVE SOFTWARE SPECIFICATION [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 1989, 31 (06) : 324 - 332
- [38] Software Visual Specification for Requirement Specification Validation [J]. PROCEEDINGS OF 2018 7TH INTERNATIONAL CONFERENCE ON SOFTWARE AND COMPUTER APPLICATIONS (ICSCA 2018), 2018, : 66 - 71
- [39] Predicting the Software Reliability of Complex Systems [J]. 2015 IEEE CONFERENCE ON PROGNOSTICS AND HEALTH MANAGEMENT (PHM), 2015,
- [40] Modeling and Architecting of Complex Software Systems [J]. IEEE SOFTWARE, 2024, 41 (03) : 76 - 79