Dynamic contract layers

Proceedings of the ACM Symposium on Applied Computing

Volumn , Issue , 2010, Pages 2169-2175

  Hirschfeld, Robert ^a   Perscheid, Michael ^a   Schubert, Christian ^a   Appeltauer, Malte ^a  

^a UNIVERSITY OF POTSDAM   (Germany)

Author keywords

context oriented programming; design by contract; dynamic contract layers; software composition

Indexed keywords

APPLICATION CODES; COMPILE TIME; CONTEXT-ORIENTED PROGRAMMING; CONTRACT MANAGEMENT; DESIGN BY CONTRACT; DESIGN BY CONTRACTS; MOIN-MOIN; PROGRAMMING DESIGN; PROGRAMMING TECHNIQUE; PROOF OF CONCEPT; PYTHON PROGRAMMING LANGUAGE; RUNTIMES; SEARCH SPACES; SOFTWARE COMPOSITION; SOFTWARE FAILURE; START-UPS;

COMPUTER SOFTWARE; DESIGN;

COMPUTER PROGRAMMING;

EID: 77954724865     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1774088.1774546     Document Type: Conference Paper

References (32)

1. M. Appeltauer, R. Hirschfeld, M. Haupt, J. Lincke, and M. Perscheid. A Comparison of Context-Oriented Programming Languages. In International Workshop on Context-Oriented Programming, pages 1-6, 2009.
2. M. Appeltauer, R. Hirschfeld, and H. Masuhara. Improving the Development of Context-dependent Java Applications with ContextJ. In International Workshop on Context-Oriented Programming, pages 1-5, 2009.
3. I. Aracic, V. Gasiunas, M. Mezini, and K. Ostermann. Overview of CaesarJ. In Transactions on Aspect-Oriented Software Development, pages 135-173, 2006.
4. D. Arbuckle. PyDBC - Contracts for Python 2.2+. Version 0.2. http://savannah.nongnu.org/projects/pydbc/.
5. P. Costanza and R. Hirschfeld. Language Constructs for Context-oriented Programming: An Overview of ContextL. In Dynamic Languages Symposium, pages 1-10, 2005.
6. A. Duncan and U. Hoelzle. Adding Contracts to Java with Handshake. Technical Report TRCS98-32, University of California, Santa Barbara, USA, 1998.
7. T. Eisenbarth, R. Koschke, and D. Simon. Locating Features in Source Code. In Transactions on Software Engineering, volume 29, pages 210-224, 2003.
8. R. W. Floyd. Assigning Means To Programs. In Mathematical Aspects of Computer Science, volume 19, pages 19-31, 1967.
9. O. Greevy. Enriching Reverse Engineering with Feature Analysis. PhD thesis, University of Bern, 2007.
10. P. Guerreiro. Simple Support for Design by Contract in C++. In Technology of Object-Oriented Languages and Systems, page 24, 2001.
11. J. Hermann. The MoinMoin Wiki Engine - Easy to Use, Full-Featured and Extensible Wiki Software. Version 1.8.4. http://moinmo.in/.
12. R. Hirschfeld. AspectS - Aspect-Oriented Programming with Squeak. In International Conference NetObjectDays on Objects, Components, Architectures, Services, and Applications for a Networked World, pages 216-232, 2003.
13. R. Hirschfeld, P. Costanza, and M. Haupt. An Introduction to Context-Oriented Programming with ContextS. In Generative and Transformational Techniques in Software Engineering II, pages 396-407, 2008.
14. R. Hirschfeld, P. Costanza, and O. Nierstrasz. Context-Oriented Programming. In Journal of Object Technology, volume 7, pages 125-151, 2008.
15. C. A. R. Hoare. An Axiomatic Basis for Computer Programming. In Communications of the ACM, volume 26, pages 53-56, 1983.
16. J.-M. Jézéquel and B. Meyer. Design by Contract: The Lessons of Ariane. In Computer, volume 30, pages 129-130, 1997.
17. M. Karaorman, U. Hölzle, and J. Bruno. jContractor: A Reflective Java Library to Support Design By Contract. Technical Report TRCS98-31, University of California, Santa Barbara, USA, 1998.
18. G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. G. Griswold. An Overview of AspectJ. In European Conference on Object-Oriented Programming, pages 327-354, 2001.
19. G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-oriented Programming. In European Conference on Object-Oriented Programming, pages 220-242, 1997.
20. R. Kramer. iContract - The Java Design by Contract Tool. In Technology of Object-Oriented Languages and Systems, page 295, 1998.
21. B. Meyer. Applying "Design by Contract". In Computer, volume 25, pages 40-51, 1992.
22. B. Meyer. Eiffel: The Language. Prentice-Hall, 1992.
23. B. Meyer. Object-Oriented Software Construction. Prentice-Hall, 1997.
24. D. L. Parnas. A Technique for Software Module Specification with Examples. In Communications of the ACM, volume 15, pages 330-336, 1972.
25. R. Plösch. Design By Contract for Python. Asia Pacific and International Software Engineering Conference., pages 213-219, 1997.
26. G. Schmidt. ContextR & ContextWiki-Modularisierung von Webanwendungen mit kontextorientierter Programmierung. Master's thesis, Hasso-Plattner- Institut an der Universität Potsdam, 2008.
27. J. Tantivongsathaporn and D. Stearns. An Experience With Design by Contract. In Asia Pacific Software Engineering Conference, pages 335-341, 2006.
28. G. Van Rossum. The Python Language Reference Manual. Network Theory Ltd., 2003.
29. M. von Löwis, M. Denker, and O. Nierstrasz. Context-Oriented Programming: Beyond Layers. In International Conference on Dynamic Languages, pages 143-156, 2007.
30. D. Wampler. Contract4J for Design by Contract in Java: Design Pattern-Like Protocols and Aspect Interfaces. In Workshop on Aspects, Components, and Patterns for Infrastructure Software, pages 27-30, 2006.
31. T. Way. ContractPy - Programming by Contract for Python. Version 1.4. http://www.wayforward.net/pycontract/.
32. A. Zeller. Why Programs Fail: A Guide to Systematic Debugging. Morgan Kaufmann, 2005.