Executable and Symbolic Conformance Tests for Implementation Models

Authors:
Thomas Baar
Affiliations:
-
Venue:
OOIS '02 Proceedings of the Workshops on Advances in Object-Oriented Information Systems
Year:
2002

Citing 6
Cited 0

JML (poster session): notations and tools supporting detailed design in Java

OOPSLA '00 Addendum to the 2000 proceedings of the conference on Object-oriented programming, systems, languages, and applications (Addendum)
The Java Language Specification

The Java Language Specification
Java Program Verification via a Hoare Logic with Abrupt Termination

FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
A Programming Logic for Sequential Java

ESOP '99 Proceedings of the 8th European Symposium on Programming Languages and Systems
Machine-Checking the Java Specification: Proving Type-Safety

Formal Syntax and Semantics of Java
A Dynamic Logic for the Formal Verification of Java Card Programs

JavaCard '00 Revised Papers from the First International Workshop on Java on Smart Cards: Programming and Security

Quantified Score

Hi-index	0.00

Visualization

Abstract

Following the Model-Driven Architecture (MDA), a system description consists of several models, i.e. views of the system. This paper is concerned with formal conformance tests between different models. It stresses the need for formal semantical foundations of all languages that are used to express models. In particular, we classify conformance tests for implementation models.