Gary T. Leavens
Gary T. Leavens
Email verificata su cs.ucf.edu - Home page
Titolo
Citata da
Citata da
Anno
Preliminary design of JML: A behavioral interface specification language for Java
GT Leavens, AL Baker, C Ruby
ACM SIGSOFT Software Engineering Notes 31 (3), 1-38, 2006
10532006
An overview of JML tools and applications
L Burdy, Y Cheon, DR Cok, MD Ernst, JR Kiniry, GT Leavens, KRM Leino, ...
International Journal on Software Tools for Technology Transfer (STTT) 7 (3 …, 2005
8212005
JML: A notation for detailed design
G Leavens, A Baker, C Ruby
KLUWER INTERNATIONAL SERIES IN ENGINEERING AND COMPUTER SCIENCE, 175-188, 1999
5611999
MultiJava: Modular open classes and symmetric multiple dispatch for Java
C Clifton, GT Leavens, C Chambers, T Millstein
Proceedings of the 15th ACM SIGPLAN conference on Object-oriented …, 2000
4212000
A simple and practical approach to unit testing: The JML and JUnit way
Y Cheon, GT Leavens
European Conference on Object-Oriented Programming, 231-255, 2002
4002002
An overview of JML tools and applications
L Burdy, Y Cheon, D Cok, MD Ernst, J Kiniry, GT Leavens, KRM Leino, ...
Electronic Notes in Theoretical Computer Science 80, 1-17, 2003
3292003
Beyond assertions: Advanced specification and verification with JML and ESC/Java2
P Chalin, J Kiniry, G Leavens, E Poll
Formal Methods for Components and Objects, 342-363, 2006
2922006
Forcing behavioral subtyping through specification inheritance
KK Dhara, GT Leavens
Proceedings of IEEE 18th International Conference on Software Engineering …, 1996
2711996
JML reference manual
GT Leavens, E Poll, C Clifton, Y Cheon, C Ruby, D Cok, P Müller, J Kiniry, ...
2532008
How the design of JML accommodates both runtime assertion checking and formal verification
G Leavens, Y Cheon, C Clifton, C Ruby, D Cok
Formal Methods for Components and Objects, 262-284, 2003
2442003
JML (poster session) notations and tools supporting detailed design in Java
GT Leavens, C Ruby, KRM Leino, E Poll, B Jacobs
Addendum to the 2000 proceedings of the conference on Object-oriented …, 2000
2332000
A runtime assertion checker for the Java Modeling Language (JML)
Y Cheon, GT Leavens
2212002
Design by Contract with JML
GT Leavens, Y Cheon
2202006
Foundations of component-based systems
GT Leavens, M Sitaraman
Cambridge University Press, 2000
2192000
On binary methods
K Bruce, L Cardelli, G Castagna, Hopkins Objects Group, GT Leavens, ...
Theory and Practice of Object Systems 1 (3), 221-242, 1995
2041995
Behavioral interface specification languages
J Hatcliff, GT Leavens, KRM Leino, P Müller, M Parkinson
A survey paper CS-TR-09-01, University of Central Florida, School of EECS, Draft, 2009
1822009
Specification and verification challenges for sequential object-oriented programs
GT Leavens, KRM Leino, P Müller
Formal Aspects of Computing 19 (2), 159-189, 2007
1822007
Modular invariants for layered object structures
P Müller, A Poetzsch-Heffter, GT Leavens
Science of Computer Programming 62 (3), 253-286, 2006
1812006
Ptolemy: A language with quantified, typed events
H Rajan, GT Leavens
European Conference on Object-Oriented Programming, 155-179, 2008
1572008
Observers and assistants: A proposal for modular aspect-oriented reasoning
C Clifton, GT Leavens
1532002
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20