共 50 条
- [21] Design Understanding: From Logic to Specification PROCEEDINGS OF THE 2018 26TH IFIP/IEEE INTERNATIONAL CONFERENCE ON VERY LARGE SCALE INTEGRATION (VLSI-SOC), 2018, : 172 - 175
- [22] THE ASIP DESIGN SPECIFICATION BASED ON ADL DCABES 2009: THE 8TH INTERNATIONAL SYMPOSIUM ON DISTRIBUTED COMPUTING AND APPLICATIONS TO BUSINESS, ENGINEERING AND SCIENCE, PROCEEDINGS, 2009, : 372 - 374
- [23] Software requirements specification: an overview from the theoretical background checking ENTRE CIENCIA E INGENIERIA, 2016, (19): : 108 - 113
- [24] Flexible model specification and application for service-oriented software SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, 2019, 95 (04): : 363 - 381
- [25] An Encapsulation Structure and Description Specification for Application Level Software Components 2009 INTERNATIONAL CONFERENCE ON COMPUTER ENGINEERING AND TECHNOLOGY, VOL I, PROCEEDINGS, 2009, : 195 - 199
- [26] An overview of software specification techniques for real-time imaging REAL-TIME IMAGING VI, 2002, 4666 : 57 - 64
- [27] Empirical Study on Specification Metrics to Predict Volatility and Software Defects PROCEEDINGS OF TENCON 2018 - 2018 IEEE REGION 10 CONFERENCE, 2018, : 2479 - 2484
- [28] Study on specification-based software component test technology ISTM/2007: 7TH INTERNATIONAL SYMPOSIUM ON TEST AND MEASUREMENT, VOLS 1-7, CONFERENCE PROCEEDINGS, 2007, : 6557 - 6559
- [30] End-to-End Formal Specification, Validation, and Verification Process: A Case Study of Space Flight Software IEEE SYSTEMS JOURNAL, 2013, 7 (04): : 632 - 641