Using annotations to check structural properties of classes

Lecture Notes in Computer Science

Volumn 3442, Issue , 2005, Pages 237-252

  Eichberg, Michael ^a   Schäfer, Thorsten ^a   Mezini, Mira ^a  

^a DARMSTADT UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); ERROR DETECTION; JAVA PROGRAMMING LANGUAGE; SEMANTICS; SPECIFICATIONS;

ANNOTATIONS; CODE CONFIGURATION; CODE GENERATION; COMPUTER PROGRAMMING SOFTWARE - .NET;

COMPUTER SOFTWARE;

EID: 24644501857     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-31984-9_18     Document Type: Conference Paper

References (32)

1. Team, X.: XDoclet: Attribute-Oriented Programming. (http://xdoclet. sourceforge.net/)
2. Foundation, A.S.: Commons attributes, jakarta.apache.org/commons/ attributes/ (2004)
3. Inc., J.: JBoss AOP 1.0 beta3. http://www.jboss.org (2004)
4. Beust, C.: SGen. http://www.beust.com/sgen/ (2004)
5. DeMichiel, L.G.: Enterprise JavaBeans Specification, Version 2.1. SUN Microsystems (2003)
6. Russell, C.: Java Data Objects, Version 1.0. SUN Microsystems (2002)
7. Sun Microsystems: Java management extensions. White paper, Palo Alto, California, USA (1999)
8. Archer, T.: Inside C#. Microsoft Press (2001)
9. Bloch, J.: A metadata facility for the java programming language. Java Specification Request 175, SUN Microsystems (2002)
10. DeMichiel, L.G.: Enterprise javabeans specification, version 3.0. Java Specification Request 220 (2003)
11. Russell, C.: Java data objects 2.0 - an extension to the jdo specification. Java Specification Request 243 (2004)
12. Zotter, B.: Web services metadata for the Java platform. Java Specification Request 181 (2004)
13. Bruce, J.: Jdbc 4.0 api specification. Java Specification Request 221 (2004)
14. Mordani, R.: Common annotations for the Java platform. Java Specification Request 250 (2004)
15. Eichberg, M., Mezini, M., Ostermann, K., Schäfer, T.: A kernel for cross-artifact information engineering in software development environments. In: Proceedings of 11th IEEE Working Conference on Reverse Engineering (WCRE), IEEE Computer Society (2004) to appear.
16. Eichberg, M.: Battoxml. http://www.st.informatik.tu-darmstadt.de/BAT (2004)
17. Boag, S., Chamberlin, D., Fernández, M.F., Florescu, D., Robie, J., Siméon, J.: Xquery 1.0: an xml query language. Working Draft 23 Juli 2004, (W3C)
18. Clark, J., DeRose, S.: XML Path Language (XPath) Version 1.0. (http://www.w3.org/TR/1999/REC-xpath-19991116)
19. Cepa, V., Mezini, M.: Declaring and enforcing dependencies between .net custom attributes. In: Proceedings of the Third International Conference on Generative Programming and Component Engineering. (2004)
20. Tchepannou, H., McSweeney, B., Cooley, J.: xPetstore. http://xpetstore.sourceforge.net (2003)
21. Hovemeyer, D., Pugh, W.: Finding bugs is easy. SIGPLAN Notices December (2004)
22. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns. Professional Computing Series. Addison-Wesley (1995)
23. Artho, C.: Finding faults in multi-threaded programs, http://artho.com/jlint/ (2001)
24. Sureshot: JiveLint vl.22. (http://www.sureshotsoftware.com/javalint/)
25. Eichberg, M., Mezini, M., Schäfer, T., Beringer, C., Hamel, K.M.: Enforcing system-wide properties. In: Proceedings of the 15th australian software engineering conference (ASWEC), IEEE Computer Society (2004)
26. Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., Griswold, W.G.: An overview of aspectj. In: Proceedings of the 15th european conference on object-oriented programming (ECOOP). Volume 2072 of Lecture Notes in Computer Science., Budapest, Hungary, Springer (2001) 327-355
27. Shomrat, M., Yehudai, A.: Obvious or not? regulating architectural decisions using aspect-oriented programming. In Kiczales, G., ed.: Proceedings of 1st international conference on aspect-oriented software development (AOSD), Enschede, The Netherlands", ACM Press (2002) 3-9
28. PMD. (http://pmd.sourceforge.net)
29. Kühne, L., Studman, M., Burn, O., Sukhodolsky, O., Giles, R.: Checkstyle. http://checkstyle.sourceforge.net/ (2004)
30. Evans, D., Larochelle, D.: Improving security using extensible lightweight static analysis. IEEE Software January / February (2002)
31. Cok, D., Kiniry, J.: Esc/java2. http://www.cs.kun.nl/sos/research/ escjava/ (2004)
32. Rutar, N., Almazan, C.B., Foster, J.S.: A comparison of bug finding tools for Java. In: 15th IEEE International Symposium on Software Reliability Engineering (ISSRE'04). (2004) to appear.