|
СТ |
Extending JML for Modular Specification and Verification of Multi-threaded Programs |
2005 |
Rodriguez E., Dwyer M., Flanagan C., Hatcliff J., Leavens G. T., Robby Fnu. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
13.09.2005 |
|
СТ |
FormalTechniques for Java-Like Programs |
2004 |
Eisenbach S., Leavens G. T., Mueller P., Poetzsch-Heffter A., Poll E. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
21.09.2004 |
|
СТ |
How the Design of JML Accomodates Both Runtime Assertion Checking and Formal Verification |
2003 |
Leavens G. T., Cheon Y., Clifton C., Ruby C., Cok D. R. |
|
|
|
Lecture Notes in Computer Science |
31.01.2004 |
|
СТ |
Formal Techniques for Java-like Programs |
2002 |
Drossopoulou S., Eisenbach S., Leavens G. T., Poetzsch-Heffter A., Poll E. |
|
|
|
Lecture Notes in Computer Science |
17.01.2003 |
|
СТ |
A Simple and Practical Approach to Unit Testing: The JML and JUnit Way |
2002 |
Cheon Y., Leavens G. T. |
|
|
|
Lecture Notes in Computer Science |
17.07.2002 |
|
СТ |
A Complete Algebraic Characterization of Behavioral Subtyping |
2000 |
Leavens G. T., Pigozzi D. |
|
|
|
Acta Informatica |
16.05.2000 |
|
СТ |
Formal Techniques for Java Programs |
1999 |
Jacobs B., Leavens G. T., Muller P., Poetzsch-Heffter A. |
|
|
|
Lecture Notes in Computer Science |
26.01.2000 |
|
СТ |
Enhancing the Pre- and Postcondition Technique for More Expressive Specifications |
1999 |
Leavens G. T., Baker A. L. |
|
|
|
Lecture Notes in Computer Science |
26.10.1999 |
|
СТ |
Multiple Dispatch as Dispatch on Tuples |
1998 |
Leavens G. T., Millstein T. D. |
|
|
|
SIGPLAN Notices |
23.04.1999 |
|
СТ |
Forcing Behavioral Subtyping through Specification Inheritance |
1996 |
Dhara K. K., Leavens G. T. |
|
|
|
Proc. of the 18th Intern. Conf. on Software Engineering. Berlin, Germany, March 25-29, 1996 |
19.06.1996 |
|
СТ |
Specification and Verification of Object-Oriented Programs using Supertype Abstraction |
1995 |
Leavens G. T., Weihl W. E. |
|
|
|
Acta Informatica |
10.04.1996 |
|
П |
Forcing Behavioral Subtyping Through Specification Inheritance |
1995 |
Dhara K. K., Leavens G. T. |
|
|
|
|
03.11.1995 |
|
СТ |
The Larch/Smalltalk Interface Specification Language |
1994 |
Cheon Y., Leavens G. T. |
|
|
|
ACM Trans. Software Engineering and Methodology |
09.02.1995 |
|
СТ |
Typechecking and Modules for Multi-Methods |
1994 |
Chambers C., Leavens G. T. |
|
|
|
SIGPLAN Notices |
22.12.1994 |
|
СТ |
Inheritance of Interface Specifications |
1994 |
Leavens G. T. |
|
|
|
SIGPLAN Notices |
30.08.1994 |
