共 50 条
- [21] Recovering semantic traceability between requirements and design for change impact analysis Innovations in Systems and Software Engineering, 2019, 15 : 101 - 115
- [22] Linking hazard analysis to formal specification and design in B COMPUTER SAFETY, RELIABILITY AND SECURITY, 1998, 1516 : 60 - 74
- [24] Primitives for structured workflow design: A mathematical specification and analysis ICIT 2006: 9TH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY, PROCEEDINGS, 2006, : 299 - 300
- [26] Ontology-supported Design Parameter Management for Change Impact Analysis 44TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2018), 2018, : 9 - 16
- [27] Design by advanced analysis-2016 AISC specification STABILITY AND DUCTILITY OF STEEL STRUCTURES 2019, 2019, : 55 - 67
- [28] Component context specification and representation in system analysis and design INFORMATION TECHNOLOGY AND ORGANIZATIONS: TRENDS, ISSUES, CHALLENGES AND SOLUTIONS, VOLS 1 AND 2, 2003, : 712 - 715
- [29] Operads for complex system design specification, analysis and synthesis PROCEEDINGS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, 2021, 477 (2250):