Supporting Formal Program Developments: the DEVA Environment

TitleSupporting Formal Program Developments: the DEVA Environment
Publication TypeTechnical Report
Year of Publication1989
AuthorsJähnichen, S., Gabriel R., Weber M., & Anlauff M.
Other Numbers552

The project ToolUse aims at providing means for active assistance in the design, implementation and evolution of software. This is achieved and supported by a formal development language called Deva. As Deva uses two-dimensional notations to get better structured and surveyable representations of developments, and as different Deva implementations have been used within the project, both internal and external integration play crucial roles in the project ToolUse. The paper shortly introduces the language DEVA, sketches one of its implementations, and discusses both kinds of integration.

Bibliographic Notes

ICSI Technical Report TR-89-053

Abbreviated Authors

S. Jahnichen, R. Gabriel, M. Weber, and M. Anlauff

ICSI Publication Type

Technical Report