Supporting Tools for Designing-By-Contract in Component-Based Applications

1. Heineman, G.T., Councill, W.T.: Component-Based Softwar Engineering. Addison-Wesley publishing, Reading (2001)

   Google Scholar 

2. Ross, R.G.: Business Rule Solutions. In: The Business Rule Book, 2nd edn. (1997)

   Google Scholar 

3. Warmer, J., Kleppe, A.: The Object Constraint Language: Precise Modeling with UML. Addison-Wesley publishing, Reading (1999)

   Google Scholar 

4. Eriksson, H.-E., Penker, M.: UML toolkit. Wiley publishing, Chichester

   Google Scholar 

5. Meyer, B.: Object Oriented Construction. Prentice-Hall, Englewood Cliffs (1988)

   Google Scholar 

6. Cheesman, J., Daniels, J.: UML Components – A Simple Process for Specifying Component-Based Software. Addison-Wesley, Reading (2003)

   Google Scholar 

7. D’Souza, D.F., Wills, A.C.: Objects, Components, and Frameworks with UML: The Catalysis Approach. Addison-Wesley, Reading (1999)

   Google Scholar 

8. Sun Microsystems, CORBA Technology and the Java2 Platform, Standard Edition, available at http://java.sun.com/j2se/1.4.2/docs/guide/corba/index.html

9. http://www.cs.wustl.edu/~schmidt/TAO.html

10. ORBIX 2000 Tutorial, available at http://www.iona.com/docs

11. ISO/IEC 14750 standard

    Google Scholar 

12. Medidovic, N., Rosenblum, D.S., Redmiles, D.F., Robbins, J.E.: Modeling Software Architectures in the Unified Modeling Language. ACM Transactions on Software Engineering and Methodology 1(1), 2–57 (2002)

    Article  Google Scholar 

13. Meyer, B.: Applying Design by contract, pp. 40–51. IEEE Computer, Los Alamitos (1992)

    Google Scholar 

14. Rosenblum, D.S.: A Practical Approach to Programming with Assertion. IEEE transactions on Software Engineering 21(1), 19–31 (1995)

    Article  Google Scholar 

15. Jézéquel, J.M., Meyer, B.: Design by contract: The Lessons of Ariane. IEEE Computer (January 1997)

    Google Scholar 

16. Holt, R.C., Cordy, J.R.: The Turing Programming Language. Communication of ACM 31(12) (December 1988)

    Google Scholar 

17. Coronato, A., Cinquegrani, M., De Pietro, G.: Adding Business Rules and Constraints in Component Based Applications. In: Meersman, R., Tari, Z., et al. (eds.) CoopIS 2002, DOA 2002, and ODBASE 2002. LNCS, vol. 2519. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

18. Briand, L.C., Labiche, Y., Sun, H.: Investigating the use of analysis contracts to support fault isolation in object oriented code. In: Proceedings of the international symposium on Software testing and analysis, ACM SIGSOFT Software Engineering Notes, vol. 27(4)

    Google Scholar 

19. Cariu, E., Beugnard, A., Jezequel, J.M.: An Architecture and a Process for Implementing Distributed Collaborations. In: the proc. of the 6th Int. Enterprise Distributed Object Computing conference (EDOC 2002). IEEE Computer Society Press, Los Alamitos (2002)

    Google Scholar 

20. Kramer, R.: iContract – the Java Design by Contract tool. In: proc. of International Conference of Object Oriented Language and Systems (TOOLS 26, USA 1998). IEEE Computer Society Press, Los Alamitos (1998)

    Google Scholar 

21. OMG, Response to the UML 2.0 OCL RfP (ad/2000-09-03), Revised Submission, Version 1.6, January 6 (2003)

    Google Scholar 

Download references