共 50 条
- [21] Contract-Based Verification of Hierarchical Systems of Components SEFM 2008: SIXTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2008, : 377 - 381
- [22] A Contract-Based Formalism for the Specification of Heterogeneous Systems 2008 FORUM ON SPECIFICATION, VERIFICATION AND DESIGN LANGUAGES, 2008, : 166 - +
- [23] Managing Reputation in Contract-Based Distributed Systems ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2009, PT 1, 2009, 5870 : 760 - 772
- [24] Contract-based coordination of distributed object systems INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-V, PROCEEDINGS, 1999, : 25 - 31
- [25] Validating Industrial Requirements with a Contract-Based Approach 2019 ACM/IEEE 22ND INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS COMPANION (MODELS-C 2019), 2019, : 18 - 27
- [26] A Temporal Logics Approach to Contract-Based Design 2016 ARCHITECTURE-CENTRIC VIRTUAL INTEGRATION (ACVI), 2016, : 1 - 3
- [27] Contract-based approach to analyze software components ICECCS 2008: THIRTEENTH IEEE INTERNATIONAL CONFERENCE ON THE ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2008, : 237 - 242
- [28] A contract-based component model for embedded systems QSIC 2004: PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, 2004, : 232 - 239
- [30] Smart Contract-Based Secure Model for Miner Registration and Block Validation IEEE ACCESS, 2019, 7 : 132087 - 132094