An aspect-oriented approach to modular behavioral specification of java components

Proceedings of the IASTED International Conference on Software Engineering: part of the 23rd IASTED International Multi-Conference on Applied Informatics, SE 2005

Volumn , Issue , 2005, Pages 360-365

  Yamada, Kiyoshi ^a   Watanabe, Takuo ^b  

^a JAPAN ADVANCED INSTITUTE OF SCIENCE AND TECHNOLOGY   (Japan)

^b TOKYO INSTITUTE OF TECHNOLOGY   (Japan)

Author keywords

Aspect oriented programming; AspectJ; Assertion; Design by contract; Java modeling language; Programming tools and languages

Indexed keywords

ASPECT-J; ASSERTION; DESIGN BY CONTRACTS; JAVA MODELING LANGUAGE; PROGRAMMING TOOLS;

APPLICATION PROGRAMS; ASPECT ORIENTED PROGRAMMING; INFORMATION SCIENCE; MODULAR CONSTRUCTION; SPECIFICATION LANGUAGES; SPECIFICATIONS;

SOFTWARE ENGINEERING;

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

References (10)

1. Meyer. B. Applying "Design by contract". IEEE Computer, 25(10):40-51, Oct., 1992.
2. Shibayama, E., S. Hagihara, N. Kobayashi, S. Nishizaki, K. Taura and T. Watanabe. AnZenMail: A secure and certified e-mail system. In Software Security: Theories and Systems, LNCS 2609 pp. 201-216, Springer, 2003.
3. Leavens, G. T., A. L. Baker and C. Ruby. JML: A notation for detailed design. In Behavioral Specifications for Businesses and Systems, 12, pp. 175-188. Kluwer, 1999.
4. Kiczales, G., E. Hilsdale, J. Hugunin, M. Kersten, J. Palm and W. G. Griswold. An overview of AspectJ. In ECOOP 2001, LNCS 2072, pp. 327-355, 2001.
5. Sun Microsystems JavaMail API. http://java.sun.com/products/javamail.
6. Bernstein, D. J. qmail http://www.qmail.org.
7. Liskov, B. and J. Wing. A behavioral notion of subtyping. ACM TOPLAS, 16(6):1811-1841, Nov., 1994.
8. Ishio, T., T. Kamiya, S. Kusumoto and K. Inoue. Assertion with aspect. In Intl. Workshop on Software Engineering Properties for Aspect Technologies (SPLAT2004), Mar., 2004.
9. Diotalevi, F. Contract enforcement with AOP: Apply design by contract to Java software development with AspectJ. IBM developerWorks, Jul., 2004. http://www-106.ibm.com/developerworks/library/jceaop.
10. Zhao, J. and M. Rinard. Pipa: A behavioral interface specification language for AspectJ. In Fundamental Approach to Software Engineering (FASE 2003), LNCS 2621, pp. 150-165, Apr., 2003.