共 50 条
- [1] Contract-Based Slicing [J]. LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT I, 2010, 6415 : 106 - 120
- [2] Contract-based testing [J]. FORMAL METHODS AT THE CROSSROADS: FROM PANACEA TO FOUNDATIONAL SUPPORT, 2003, 2757 : 34 - 48
- [3] Contract-Based Revenue Recognition [J]. JOURNAL OF CORPORATE ACCOUNTING AND FINANCE, 2009, 20 (05): : 77 - 81
- [4] Primitives for Contract-based Synchronization [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2010, (38): : 67 - 82
- [6] A contract-based approach to adaptivity [J]. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2011, 80 (3-5): : 180 - 193
- [8] A Contract-based Accountability Service Model [J]. 2009 IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, VOLS 1 AND 2, 2009, : 639 - 646
- [10] CONDEnSe: Contract-Based Design Synthesis [J]. 2019 ACM/IEEE 22ND INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS (MODELS 2019), 2019, : 250 - 260