Programming and Interface Specification Language of JIVE : Specification and Design Rationale

Müller, Peter GND; Meyer, Jörg; Poetzsch-Heffter, Arnd

This report describes the programming and interface specification language of the Java Interactive Verification Environment JIVE. The JIVE system is a prototype implementation of a logic-based programming-environment for an object-oriented programming language. Logic-based programming-environments are language-dependent software development tools that support formal specification and verification. We summarize the properties of an ideal programming language for the prototype and argue that Java is a good candidate. The design of the supported Java subset is discussed and a formal definition of the abstract syntax is presented. Program specifications are denoted in an interface specification language. This report discusses the design of the JIVE interface specification language and presents its abstract syntax. An example program illustrates the application of the programming and the interface specification language.

Vorschau

Zitieren

Zitierform:

Müller, Peter / Meyer, Jörg / Poetzsch-Heffter, Arnd: Programming and Interface Specification Language of JIVE. Specification and Design Rationale. Hagen 1997. FernUniversität in Hagen.

Zugriffsstatistik

Gesamt

Volltextzugriffe:
Metadatenansicht:

12 Monate

Volltextzugriffe:
Metadatenansicht:

Rechte

Nutzung und Vervielfältigung:
Alle Rechte vorbehalten

Export

powered by MyCoRe