共 50 条
- [1] Validating Industrial Requirements with a Contract-Based Approach [J]. 2019 ACM/IEEE 22ND INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS COMPANION (MODELS-C 2019), 2019, : 18 - 27
- [2] Handling of Operating Modes in Contract-Based Timing Specifications [J]. VERIFICATION AND EVALUATION OF COMPUTER AND COMMUNICATION SYSTEMS (VECOS 2021), 2022, 13187 : 59 - 74
- [3] A contract-based approach to adaptivity [J]. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2011, 80 (3-5): : 180 - 193
- [4] ARCHITECTURAL MALPRACTICE - CONTRACT-BASED APPROACH [J]. HARVARD LAW REVIEW, 1979, 92 (05) : 1075 - 1102
- [6] A Temporal Logics Approach to Contract-Based Design [J]. 2016 ARCHITECTURE-CENTRIC VIRTUAL INTEGRATION (ACVI), 2016, : 1 - 3
- [7] Contract-based approach to analyze software components [J]. ICECCS 2008: THIRTEENTH IEEE INTERNATIONAL CONFERENCE ON THE ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2008, : 237 - 242
- [8] Using Contract-based Component Specifications for Virtual Integration Testing and Architecture Design [J]. 2011 DESIGN, AUTOMATION & TEST IN EUROPE (DATE), 2011, : 1023 - 1028
- [9] Constructing Product-Line Safety Cases from Contract-Based Specifications [J]. SAC '19: PROCEEDINGS OF THE 34TH ACM/SIGAPP SYMPOSIUM ON APPLIED COMPUTING, 2019, : 2022 - 2031
- [10] Union Discourse and Perceived Violation of Contract A Social Contract-Based Approach [J]. RELATIONS INDUSTRIELLES-INDUSTRIAL RELATIONS, 2008, 63 (03): : 479 - 501