Parallel monitoring of design pattern contracts

18th International Conference on Software Engineering and Knowledge Engineering, SEKE 2006

Volumn , Issue , 2006, Pages 236-241

  Hallstrom, Jason O ^a   Dalton, Andrew R ^a   Soundarajan, Neelam ^b  

^a CLEMSON UNIVERSITY   (United States)

^b OHIO STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BEST PRACTICES; CONTRACT VIOLATION; DESIGN PATTERNS; MONITORING PATTERNS; MONITORING TOOLS; PATTERN DESCRIPTION; PERFORMANCE IMPACT; RUNTIME MONITORING;

KNOWLEDGE ENGINEERING;

SOFTWARE ENGINEERING;

EID: 84866097381     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (23)

1. L Burdy et al An overview of JML tools and applications Software Tools for Technology Transfer, 2005.
2. F Buschmann et al Pattern-Oriented Software Architecture: A System of Patterns John Wiley &Sons, 1996.
3. J Dong UML extensions for design pattern compositions Journal of Object Technology, 1(5):151-163, November-December 2002.
4. A.H Eden Precise Specification of Design Patterns and Tool Support in Their Application PhD thesis, Tel Aviv University, 2000.
5. S.H Edwards A framework for practical, automated black-box testing of component-based software Software Testing, Verification, and Reliability, 11(2):97-111, 2001.
6. S.H Edwards et al A framework for detecting interface violations in component-based software In The 5th International Conference on Software Reuse, pages 46-55, June 1998.
7. E Gamma et al Design Patterns: Elements of Reusable Object-Oriented Software Addison-Wesley, 1995.
8. T.H Gibbs and B.A Malloy Weaving aspects into C++ applications for validation of temporal invariants In The 7th European Conference on Software Maint and Reeng., pages 249-258, March 2003.
9. J.O Hallstrom et al Amplifying the bene ts of design patterns: From speci cation through implementation In Foundational Approaches to Software Engineering, pages 214-229, March 2006.
10. J Hannemann and G Kiczales Design pattern implementation in Java and AspectJ In The 17th ACM OOPSLA Conference, pages 161-173, November 2002.
11. R Hirschfeld et al Design patterns and aspects-modular designs with seamless run-time integration In The 3rd German GIWorkshop on Aspect-Oriented Software Development, March 2003.
12. G Kiczales et al An overview of AspectJ In The 15th ECOOP, pages 327-353, 2001.
13. M Lippert and C.V Lopes A study on exception detection and handling using aspect-oriented programming In The 22nd International Conference on Software Engineering, pages 418-427, June 2000.
14. B Meyer OO Software Construction Prentice Hall, 1988.
15. T Mikkonen Formalizing design patterns In The 20thth International Conference on Software Engineering, pages 115-124, 1998.
16. N Noda and T Kishi Implementing design patterns using advanced separation of concerns In The OOPSLA Workshop on Advanced Separation of Concerns in Object-Oriented Systems, October 2001.
17. D.S Rosenblum A practical approach to programming with assertions IEEE Trans on Software Engineering, 21(1):19-31, 1995.
18. D.C Schmidt et al Pattern-Oriented Software Architecture: Patterns for Concurrent and Networked Objects John Wiley &Sons, 2000.
19. N Soundarajan and J.O Hallstrom Responsibilities and rewards: Specifying design patterns In The 26th International Conference on Software Engineering, pages 666-675, May 2004.
20. Sun Microsystems, Inc Java 2 platform SE 5.0 API speci cation http://java.sun.com/j2se/1.5.0/docs/api/index.html, 2004.
21. T Taibi and D.C.L Ngo Formal speci cation of design patterns-A balanced approach Journal of Object Tech., 2(4):127-140, 2003.
22. B Tyler et al Automated generation of monitors for pattern contracts In The 21st ACM SAC Conference, April 2006 (to appear).
23. J Vlissides Notation, notation, notation C++ Report, April 1998.