Making Components Contract Aware
暂无分享,去创建一个
[1] R. Kramer. iContract - The Java(tm) Design by Contract(tm) Tool , 1998 .
[2] Damien Watkins,et al. Using interface definition languages to support path expressions and programming by contract , 1998, Proceedings. Technology of Object-Oriented Languages. TOOLS 26 (Cat. No.98EX176).
[3] Antoine Beugnard,et al. Real-Time Object-Oriented Distributed Processing with COREMO , 1997, ECOOP Workshops.
[4] Jean-Marc Jézéquel,et al. A framework managing quality of service contracts in distributed applications , 1998, Proceedings. Technology of Object-Oriented Languages. TOOLS 26 (Cat. No.98EX176).
[5] Jean-Marc Jézéquel,et al. Design by Contract: The Lessons of Ariane , 1997, Computer.
[6] Bertrand Meyer,et al. Object-oriented software construction (2nd ed.) , 1997 .
[7] Jean-Marc Jézéquel,et al. Reifying quality of service contracts for distributed software , 1998 .
[8] Douglas C. Schmidt,et al. The design of the TAO real-time object request broker , 1998, Comput. Commun..
[9] Roy H. Campbell,et al. The specification of process synchronization by path expressions , 1974, Symposium on Operating Systems.
[10] 簡聰富,et al. 物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .
[11] Anneke Kleppe,et al. The object constraint language: precise modeling with UML , 1998 .
[12] Bertrand Meyer,et al. Applying 'design by contract' , 1992, Computer.
[13] Elaine J. Weyuker. Testing Component-Based Software: A Cautionary Tale , 1998, IEEE Softw..