What is he best known for?
The fields of study he is best known for:
- Programming language
- Object-oriented programming
- Operating system
His primary scientific interests are in Programming language, Java, Java Modeling Language, Formal specification and Design by contract.
As part of his studies on Programming language, Gary T. Leavens often connects relevant areas like Theoretical computer science.
His studies deal with areas such as Random testing, Multiple dispatch, Double dispatch, Predicate dispatch and Visitor pattern as well as Java.
Gary T. Leavens combines subjects such as Correctness, Programmer, Unit testing, Documentation and Extreme programming with his study of Java Modeling Language.
As a part of the same scientific study, Gary T. Leavens usually deals with the Design by contract, concentrating on Postcondition and frequently concerns with Test case, Software verification, Verification and Class invariant.
Gary T. Leavens interconnects Debugging, Static analysis and Interface in the investigation of issues within Specification language.
His most cited work include:
- Preliminary design of JML: a behavioral interface specification language for java (757 citations)
- An overview of JML tools and applications (657 citations)
- JML: A Notation for Detailed Design (380 citations)
What are the main themes of his work throughout his whole career to date?
Programming language, Java, Software engineering, Java Modeling Language and Formal specification are his primary areas of study.
His study ties his expertise on Theoretical computer science together with the subject of Programming language.
His study looks at the relationship between Java and fields such as Class, as well as how they intersect with chemical problems.
The various areas that he examines in his Software engineering study include Software system and Software.
The study incorporates disciplines such as Abstraction, Correctness, Assertion and Design by contract in addition to Java Modeling Language.
His Specification language research includes themes of Programming language specification and Interface.
He most often published in these fields:
- Programming language (75.53%)
- Java (22.36%)
- Software engineering (18.14%)
What were the highlights of his more recent work (between 2012-2019)?
- Programming language (75.53%)
- Software engineering (18.14%)
- Java (22.36%)
In recent papers he was focusing on the following fields of study:
His main research concerns Programming language, Software engineering, Java, Modularity and Aspect-oriented programming.
His study on Programming language is mostly dedicated to connecting different topics, such as Code.
The Software engineering study combines topics in areas such as Modularity, Correctness, Software requirements specification and Aspect-oriented software development.
His Java research is multidisciplinary, incorporating perspectives in Standardization, Mathematical proof and Postcondition.
His studies examine the connections between Design by contract and genetics, as well as such issues in Specification language, with regards to Engineering drawing, Mechanism and Formal methods.
His Assertion research is multidisciplinary, incorporating elements of Java Modeling Language and Semantics.
Between 2012 and 2019, his most popular works were:
- Behavioral Subtyping, Specification Inheritance, and Modular Reasoning (46 citations)
- AspectJML: modular specification and runtime checking for crosscutting contracts (16 citations)
- Modular aspect-oriented design rule enforcement with XPIDRs (9 citations)
In his most recent research, the most cited papers focused on:
- Programming language
- Object-oriented programming
- Operating system
Gary T. Leavens mainly investigates Programming language, Aspect-oriented programming, AspectJ, Design by contract and Compiler.
His work carried out in the field of Programming language brings together such families of science as Iterative and incremental development and Theoretical computer science.
Gary T. Leavens interconnects Inductive programming, Reactive programming, Functional logic programming, Class and Modular design in the investigation of issues within Aspect-oriented programming.
His Design by contract research is multidisciplinary, incorporating perspectives in Correctness and Specification language.
Gary T. Leavens has researched Correctness in several fields, including Java, Formal methods, Java Modeling Language and Vienna Development Method.
His Compiler study integrates concerns from other disciplines, such as Program transformation, Functional verification and Bytecode, Code.
This overview was generated by a machine learning system which analysed the scientist’s
body of work. If you have any feedback, you can
contact us
here.
