Enforcing system-wide properties

Proceedings of the Australian Software Engineering Conference, ASWEC

Volumn 2004, Issue , 2004, Pages 158-167

  Eichberg, Michael ^a   Mezini, Mira ^a   Schäfer, Thorsten ^a   Beringer, Claus ^a   Hamel, Karl Matthias ^a  

^a DARMSTADT UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

IMPLEMENTATION RESTRICTION CHECKER (IRC); JAVA BYTECODE; VIRTUAL MACHINE PERFORMANCE;

COMPUTER SIMULATION; JAVA PROGRAMMING LANGUAGE; MATHEMATICAL MODELS; PASSIVATION; PROGRAM DOCUMENTATION; SEMANTICS; SYNCHRONIZATION;

OBJECT ORIENTED PROGRAMMING;

EID: 2942588590     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASWEC.2004.1290468     Document Type: Conference Paper

References (24)

1. BEA. WebLogic 8.1. http://www.bea.com.
2. J. Bloch. Effective Java Programming Language Guide. Addison-Wesley, 2001.
3. J. Bloch. A Metadata Facility for the Java Programming Language. Java Specification Request 175, SUN Microsystems, 2002.
4. C. Bockisch and M. Eichberg. BAT. http:// www.st.informatik.tu-darmstadt. de/BAT.
5. Borland. Together, http://www.borland.com/together/.
6. D. Clarke, M. Richmond, and J. Noble. Saving the world from bad beans: deployment-time confinement checking. In Proc. of OOPSLA 2003, pages 374-387. ACM Press.
7. L. G. DeMichiel. Enterprise JavaBeans Specification, Version 2.1. SUN Microsystems, 2003.
8. Eclipse, http://www.eclipse.org.
9. J. Gosling, B. Joy, G. Steele, and G. Bracha. The Java™ Language Specification. Addison-Wesley, second edition, 2000.
10. IBM. J2EE Code Validation Preview for WebSphere Studio, http://www7b.boulder.ibm.com/wsdd/downloads/j2ee_code_validation.html.
11. IBM. WebSphere 5.0.2. http://www.ibm.com/software/websphere.
12. IEEE. IEEE Standard Glossary of Software Engineering Terminology, 2003.
13. JBoss Group. JBoss Application Server, http:// www.jboss.org.
14. G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. G. Griswold. An Overview of Aspect J. In Proc. of ECOOP 2001, pages 327-355. Springer.
15. G. Kiczales, J. Lamping, A. Menhdhekar, C. Maeda, G. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-Oriented Programming. In Proc. of ECOOP 1997, pages 220-242. Springer.
16. R. Laddad. AspectJ in Action. Manning, 2003.
17. H. Masuhara and G. Kiczales. Modeling Crosscutting in Aspect-Oriented Mechanisms. In Proc. of ECOOP 2003, pages 2-28. Springer.
18. B. Meyer. Object-Oriented Software Construction. Prentice Hall, 2nd edition, 1997.
19. H. Muller and K. Walrath. Threads and Swing. http://java.sun.com/ products/jfc/tsc/articles/threads /threads1.html, April 1998.
20. Pattern Testing Project. http://patterntesting. sourceforge.net/.
21. PMD. http://pmd.sourceforge.net.
22. T. Schäfer and M. Eichberg. Implementation Restriction Checker (IRC), http://www.st.informatik.tudarmstadt.de/pages/projects/, 2003.
23. SUN Microsystems. J2EE Reference Implementation. http://java.sun.com/ j2ee/sdk_1.4. J2EE 1.4.
24. TATA Consultancy Services. Assent. http:// www.tcs.com/0_products/assent/ .