Trace- und Zeit- Zusicherungen beim Programmieren mit Vertrag

[1]  William G. Griswold,et al.  An Overview of AspectJ , 2001, ECOOP.

[2]  John L. Bruno,et al.  jContractor: A Reflective Java Library to Support Design by Contract , 1999, Reflection.

[3]  Insup Lee,et al.  Information extraction for run-time formal analysis , 2001 .

[4]  C. A. R. Hoare,et al.  Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.

[5]  Raimondas Lencevicius,et al.  On-the-fly query-based debugging with examples , 2000, AADEBUG.

[6]  Guy L. Steele,et al.  The Java Language Specification , 1996 .

[7]  Andrew Duncan,et al.  Adding Contracts to Java with Handshake , 1998 .

[8]  Gary T. Leavens,et al.  JML: notations and tools supporting detailed design in Java , 2000 .

[9]  Heike Wehrheim,et al.  Jass - Java with Assertions , 2001, RV@CAV.

[10]  Andrew William Roscoe,et al.  The Theory and Practice of Concurrency , 1997 .

[11]  Bill Venners,et al.  Inside the Java Virtual Machine , 1997 .

[12]  Frank Yellin,et al.  The Java Virtual Machine Specification , 1996 .

[13]  Ambuj K. Singh,et al.  Query-based debugging of object-oriented programs , 1997, OOPSLA '97.

[14]  Steve A. Schneider,et al.  Concurrent and Real-time Systems: The CSP Approach , 1999 .

[15]  Mahesh Viswanathan,et al.  Java-MaC: a Run-time Assurance Tool for Java Programs , 2001, RV@CAV.

[16]  Dale E. Parson,et al.  Automated Debugging in Java Using OCL and JDI , 2000, AADEBUG.

[17]  Edmund M. Clarke,et al.  Formal Methods: State of the Art and Future Directions Working Group Members , 1996 .

[18]  簡聰富,et al.  物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .