sort by
approximate search
1shortlisttitle datasearch history  
results search [or] ISN:000000003244060X | 1 hits
Person
ISNI: 
0000 0000 3244 060X
Name: 
Leavens, Gary T.
Leavens, Gary Todd
Leavens T, Gary
Creation class: 
Computer file
Language material
Text
txt
Creation role: 
author
editor
redactor
Related names: 
Chiba, Shigeru
Iowa State University Affiliation (see also from)
Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science
O'Hearn, Peter W.
Ostermann, Klaus
Rajamani, Sriram K.
Rajan, Hridesh
Rajan, Krishna
Sitaraman, Murali
SpringerLink (Online service)
Taylor, Kristina Boysen
University of Central Florida Affiliation (see also from)
VSTTE 2010 (2010 : Edinburgh, Scotland)
Titles: 
1997 workshop on foundations of component-based systems
Aiding Self-Motivation with Readings in Introductory Computing.
Collaborative Research: Formal Methods for Behavioral Subclassing and Callbacks
complete algebraic characterization of behavioral subtyping, A
Concepts of Behavioral Subtyping and a Sketch of their Extension to Component-Based Systems
Contextual Interpretation of Undefinedness for Runtime Assertion Checking, A
Executing formal specifications with concurrent constraint programming
Extending JML for Modular Specification and Verification of Multi-Threaded Programs
Forcing Behavioral Subtyping Through Specification Inheritance
Formal semantics for SA style data flow diagram specification languages
Formal semantics of an algorithm for translating model-based specifications to concurrent constraint programs
Formal techniques for OO software development
Foundations of component-based systems
Foundations of Object-Oriented Languages
How the design of JML accommodates both runtime assertion checking and formal verification
Information Hiding and Visibility in Interface Specifications
Inheritance of interface specifications (extended abstract)
Introduction to the literature on object-oriented design, programming, and languages
JML (poster session):notations and tools supporting detailed design in Java
Larch/Smalltalk interface specification language, The
Lessons from the JML Project
MiniMAO_1: Investigating the Semantics of Proceed
Model variables: cleanly supporting abstraction in design by contract.
Modular Invariants for Layered Object Structures
Modular Specification and Verification of Object-Oriented Programs
Modular specification of frame properties in JML [Java Modeling Language].
Modular verification of higher-order methods with mandatory calls specified by model programs
More Modular Reasoning for Aspect-Oriented Programs
MultiJava: Design Rationale, Compiler Implementation, and Applications
MultiJava:modular open classes and symmetric multiple dispatch for Java
Multiple concerns in aspect-oriented language design:a language engineering approach to balancing benefits, with examples
Multiple dispatch as dispatch on Tuples
On Binary Methods
overview of JML tools and applications, An
Protective Interface Specifications
Reasoning about Object-Oriented Programs that use Subtypes (extended abstract)
Safely creating correct subclasses without seeing superclass code
Simple and Practical Approach to Unit Testing: The JML and JUnit Way, A
Specification and verification challenges for sequential object-oriented programs
Specification and Verification of Object-Oriented Programs Using Supertype Abstraction
specification language design for the Java Modeling Language (JML) using Java 5 annotations, A
Transactions on aspect-oriented software development IX
Typechecking and modules for multi-methods
Typechecking and modules for multimethods
Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings
Verifying object-oriented programs that use subtypes
VSTTE 2010
Notes: 
Supervised by William E. Weihl
Vita
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1989
Sources: 
VIAF DNB LC NUKAT SUDOC
BOWKER
NTA