A DEVELOPMENT ENVIRONMENT FOR AN OBJECT SPECIFICATION LANGUAGE

doi:10.1109/69.390254

Return

A DEVELOPMENT ENVIRONMENT FOR AN OBJECT SPECIFICATION LANGUAGE

1995-06-01

PRE

Martin Gogolla *

Stefan Conrad

Grit Denker

DOI：10.1109/69.390254

Original

Original request for help

Save

Abstract

En 中文

Techniques for the development of reliable information systems on the basis of their formal specification are the main concern in our project. Our work focuses on the specification language TROLL light which allows to describe the part of the world to be modeled as a community of concurrently existing and communicating objects. Our specification language comes along with an integrated, open development environment. The task of this environment is to give support for the creation of correct information systems. Two important ingredients of the environment to be described here in more detail are the animator and the proof support system.

Keywords:

INFORMATION SYSTEM DESIGN

SEMANTIC DATA MODEL

OBJECT SPECIFICATION

CERTIFICATION

VALIDATION

VERIFICATION

AI Summary

Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.