Techniques for embedding executable specifications in software component interfaces

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2580, Issue , 2003, Pages 143-156

  McKegney, Ross ^a   Shepard, Terry ^b  

^a QUEEN S UNIVERSITY   (Canada)

^b ROYAL MILITARY COLLEGE OF CANADA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

EMBEDDED SYSTEMS; OBJECT ORIENTED PROGRAMMING; SEMANTICS; SOFTWARE ENGINEERING; SPECIFICATIONS;

COMPONENT BASED SYSTEMS; EXECUTABLE SPECIFICATIONS; INTERFACE SPECIFICATION; OBJECT-ORIENTED SYSTEM; POSSIBLE MECHANISMS; SCALED-UP; SEMANTIC INTEGRITY; SOFTWARE COMPONENT;

FORMAL SPECIFICATION;

EID: 35248868715     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36465-x_14     Document Type: Article

References (33)

1. Barnett, M., and Schulte, W.: Spying on Components: A Runtime Verification Technique. In: Workshop on Specification and Verification of Component-based Systems, OOPSLA 2001, Technical Report #01-09a, Iowa State, October (2001) 7-13
2. Bastide, R., Sy, O., Palanque, P., and Navarre, D.: Formal Specification of CORBA Services: Experience and Lessons Learned. In: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (2000)
3. Blom, M.: Semantic Integrity in Programming Industry. Master's Thesis, Computer Science, Karlstad University (1997)
4. Booch, G., Rumbaugh, J., and Jacobson, I.: The Unified Modeling Language User Guide. Addison Wesley (1999)
5. Carillo-Castellon, M., Garcia-Molina, J., Pimentel, E., and Repiso, I.: Design by Contract in Smalltalk. In: Journal of Object Oriented Programming, November/December (1996) 23-28
6. Cicalese, C. D. T., and Rotenstreich, S.: Behavioral Specification of Distributed Software Component Interfaces. In: IEEE Computer, July (1999) 46-53
7. Clarke, E. M., and Wing, J. M.: Formal Methods: State of the Art and Future Directions. ACM Computing Surveys 28(4) (1996) 626-643
8. Cline, M. P., and Lea, D.: Using Annotated C++. In: C++ At Work 1990, September (1990)
9. Cline, M. P., and Lea, D.: The Behavior of C++ Classes. In: Proceedings of the Symposium on Object-Oriented Programming Emphasizing Practical Applications, September (1990)
10. D'Souza, D. F., and Wills, A. C.: OOA/D and Corba/IDL: A Common Base. ICON Computing (1995) Available at: http://www.iconcomp.com.
11. D'Souza, D. F., and Wills, A. C.: Objects, Components, and Frameworks with UML: The Catalysis Approach. Addison-Wesley, USA (1999)
12. Guttag, J. V., Horning, J. J., and Wing, J. M.: The Larch Family of Specification Languages. In: IEEE Software 2(5), September (1985) 24-36
13. Finney, K.: Mathematical Notation in Formal Specification: Too Difficult for the Masses? In: IEEE Transactions on Software Engineering 22(2), February (1996) 158-159
14. Gamma, E., Helm, R., Johnson, R., and Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley (1995)
15. Hoare, C. A. R.: An Axiomatic Basis for Computer Programming. In: Communications of the ACM 12(10), October (1969)
16. Hölzl, M.: Design by Contract for Lisp. Available at: http://www.pst.informatik.unimuenchen.de/personen/hoelzl/ tools/dbc/dbc-intro.html
17. Jones, C. B.: Systematic Software Development Using VDM. In: International Series in Computer Science. Prentice Hall, Englewood Cliffs, N.J. (1990)
18. Karaorman, M., Hölzle, U., and Bruno, J.: jContractor: Reflective Java Library to Support Design-by-Contract. Technical Report TRCS98-31, University of California, Santa Barbara (1998)
19. Kramer, R.: iContract-the Java Design by Contract Tool. In: Proceedings of TOOLS 98 (1998)
20. Leavens, G. T.: Larch FAQ. Available at: http://www.cs.iastate.edu/~leavens/larch-faq.html
21. Leavens, G. T.: The Java Modeling Language Home Page. Available at: http://www.cs.iastate.edu/∼leavens/JML.html
22. Leavens, G. T., Baker, A. L., and Ruby, C.: JML: A Notation for Detailed Design. In: Behavioral Specifications for Businesses and Systems, Kluwer (1999) 175-188
23. Luckham, D. C., von Henke, F. W., Krieg-Brueckner, B., and Owe, O.: Anna, a Language for Annotating Ada Programs: Preliminary Reference Manual. Technical Report CSL-TR-84-261, Stanford University, July (1984)
24. McIlroy, M. D.: Mass-Produced Software Components. In: Proceedings of the 1968 NATO Conference on Software Engineering, Garmisch, Germany (1969) 138-155
25. Meyer, B.: An Eiffel Tutorial. Available at: http://citeseer.nj.nec.com/meyer01eiffel.html
26. Meyer, B.: Object-Oriented Software Construction, 1st Edition, Prentice-Hall (1988)
27. Meyer, B.: Eiffel: the Language. Prentice-Hall (1992)
28. Plösch, R.: Design by Contract for Python. In: Proceedings of the Asia Pacific Software Engineering Conference (1997)
29. Schmidt, D. , and Kuhns, F.: An Overview of the Real-time Corba Specification. IEEE Computer, June (2000)
30. Sivaprasad, G. S.: Larch/CORBA: Specifying the Behavior of CORBA-IDL Interfaces. TR #95-27a, Department of Computer Science, Iowa State University, November (1995)
31. Spivey, J. M.: The Z Notation: a Reference Manual. Prentice Hall International Series in Computer Science, 2nd Edition (1992)
32. Warmer, J., and Kleppe, A.: The Object Constraint Language. Addison-Wesley (1999)
33. Wing, J. M.: Writing Larch Interface Language Specifications. ACM Transactions on Programming Languages and Systems 9(1), January (1987) 1-24