Extending a method of devising software contracts

"Technology of Object-Oriented Languages and Systems

Volumn , Issue TOOL 32, 1999, Pages 234-251

  Mitchell, Richard ^a   McKim, James ^a  

^a UNIVERSITY OF BRIGHTON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SIMULATION; DATA STRUCTURES; DIGITAL LIBRARIES;

LOGICAL CONSTRAINTS;

OBJECT ORIENTED PROGRAMMING;

EID: 0033487799     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/TOOLS.1999.809429     Document Type: Conference Paper

References (18)

1. Arnold K. and Gosling (1997). The Java Programming Language. Addison Wesley.
2. Booch G., Jacobson I. and Rumbaugh R. (1998). The Unified Modeling Language User Guide. Addison Wesley.
3. Borgida A., Mylopoulos J. and Reiter R. (1995). On the frame problem in procedure specifications. IEEE Transactions on Software Engineering, Vol 21, No 10, pp 785-798.
4. D'Souza D. and Wills A. (1999). Objects, components and frameworks with UML. The Catalysis approach. Addison-Wesley.
5. Gamma E., Helm R., Johnson R. and Vlissides J. (1994). Design patterns. Elements of reusable object-oriented software. Addison-Wesley.
6. Le Traon Y., Deveaux D. and Jézéquel J.-M. (1999). Self-testable components: From pragmatic tests to design-for-testability methodology. In Proceedings of TOOLS29, IEEE, pp96-107.
7. McKim J. (1995). Class Interface Design and Programming by Contract. In Proceedings of TOOLS 18, Prentice Hall, pp 433-470.
8. McKim J. (1996). Programming By Contract: Designing for Correctness. Journal of Object Oriented Programming, May 1996.
9. nd edition).
10. Meyer B. (1992a). Eiffel: The language. Prentice-Hall.
11. Meyer B. (1992b). Applying "Design by Contract". IEEE Computer, 25(10), pp 40-51.
12. Meyer B. (1994). Reusable software: The base object-oriented libraries. Prentice-Hall.
13. Mikkonen T. (1998). Formalizing Design Patterns. Proceedings of ICSE'98. IEEE, pp 115-124.
14. Mitchell R., Howse J. and Hamie A. (1998a). A contract-oriented specification for a SET class. University of Brighton Technical Report CMS-98-01.
15. Mitchell R., Howse J. and Hamie A. (1998b). Contract-oriented specifications. In Chen J, Li M, Mingins C and Meyer B (editors). Proceedings of TOOLS 24. IEEE, pp 131-140.
16. Rösch M. (1999). Building a software components industry. Component Strategies 1(9) pp29-33.
17. Rumbaugh, J., Blaha M., Premerlani W., Eddy F., and Lorensen W. (1991). Object-oriented modeling and design. Prentice-Hall.
18. Warmer J. and Kleppe A. (1999). The object constraint language. Precise modeling with UML. Addison-Wesley.