Publication Details
Title: Supporting Formal Program Developments: the DEVA Environment
Author: S. Jahnichen, R. Gabriel, M. Weber, and M. Anlauff
Group: ICSI Technical Reports
Date: September 1989
PDF: http://www.icsi.berkeley.edu/pubs/techreports/tr-89-53.pdf
Overview:
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 Information:
ICSI Technical Report TR-89-053
Bibliographic Reference:
S. Jahnichen, R. Gabriel, M. Weber, and M. Anlauff. Supporting Formal Program Developments: the DEVA Environment. ICSI Technical Report TR-89-053, September 1989
Author: S. Jahnichen, R. Gabriel, M. Weber, and M. Anlauff
Group: ICSI Technical Reports
Date: September 1989
PDF: http://www.icsi.berkeley.edu/pubs/techreports/tr-89-53.pdf
Overview:
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 Information:
ICSI Technical Report TR-89-053
Bibliographic Reference:
S. Jahnichen, R. Gabriel, M. Weber, and M. Anlauff. Supporting Formal Program Developments: the DEVA Environment. ICSI Technical Report TR-89-053, September 1989