共 50 条
- [3] Dealing with contract violations: formalism and domain specific language Ninth IEEE International EDOC Enterprise Computing Conference, Proceedings, 2005, : 46 - 57
- [4] A Contract-Based Formalism for the Specification of Heterogeneous Systems 2008 FORUM ON SPECIFICATION, VERIFICATION AND DESIGN LANGUAGES, 2008, : 166 - +
- [6] Strong and Weak Contract Formalism for Third-Party Component Reuse 2013 IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW), 2013, : 359 - 364