The UniForM WorkBench - a Higher Order Tool Integration Framework (1998)
| Venue: | In International Workshop on Current Trends in Applied Formal Methods |
| Citations: | 5 - 2 self |
BibTeX
@INPROCEEDINGS{Karlsen98theuniform,
author = {Einar W. Karlsen},
title = {The UniForM WorkBench - a Higher Order Tool Integration Framework},
booktitle = {In International Workshop on Current Trends in Applied Formal Methods},
year = {1998},
pages = {117},
publisher = {Springer}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
. The UniForM Workbench is an open ended tool integration framework for developing (formal) Software Development Environments (SDE) from the basis of pre-fabricated off-the-shelf development tools. The integration framework provides support for data, control and presentation integration as well as utilities for wrapping Haskell interfaces around existing development tools. Entire SDE's are then glued together on the basis of these encapsulations using Concurrent Haskell as the integration language, thus allowing integration to be done at a level of abstraction that is very close to the one offered by constructive formal specifications. So far, the integration framework has successfully been used to integrate tools for Haskell program development as well as specification and proof tools for Z specifications. During the 80's there were several attempts to provide environments for synthesizing tightly integrated SDE's from the basis of abstract language specifications. The Sy...
