OBSERV - object-oriented based specification, execution and rapid validation system

Shmuel Tyszberowicz, Amiram Yehudai

Research output: Contribution to conferencePaperpeer-review

Abstract

An innovative methodology for software development is described. The main objectives of the methodology are to allow rapid construction of an executable specification (or prototype) of a system, to support testing the prototype by means of simulation, to facilitate a smooth transition to a target system, and to provide the means for reusing specification, design, and code of subsystems. This is achieved by incorporating several known paradigms in a novel form. The basis is the object-oriented approach. The authors use an architectural language for describing the high-level structure of a system and a state machine notation for describing individual object behavior. These two are separated to enhance reusability, which is achieved with the helop of a knowledge base that holds existing designs. The methodology is supported by a collection of automated tools.

Original languageEnglish
Pages96-106
Number of pages11
StatePublished - 1988
EventThird Israel Conference on Computer Systems and Software Engineering - Tel-Aviv, Israel
Duration: 6 Jun 19887 Jun 1988

Conference

ConferenceThird Israel Conference on Computer Systems and Software Engineering
CityTel-Aviv, Israel
Period6/06/887/06/88

Fingerprint

Dive into the research topics of 'OBSERV - object-oriented based specification, execution and rapid validation system'. Together they form a unique fingerprint.

Cite this