Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
Gandalf: software development environments
IEEE Transactions on Software Engineering
The PSG system: from formal language definitions to interactive programming environments
ACM Transactions on Programming Languages and Systems (TOPLAS)
A cookbook for using the model-view controller user interface paradigm in Smalltalk-80
Journal of Object-Oriented Programming
Extended programming in the large in a software development environment
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Separating application code from toolkits: eliminating the spaghetti of call-backs
UIST '91 Proceedings of the 4th annual ACM symposium on User interface software and technology
The Z notation: a reference manual
The Z notation: a reference manual
Report on the programming language Haskell: a non-strict, purely functional language version 1.2
ACM SIGPLAN Notices - Haskell special issue
Higher-order concurrency
Imperative functional programming
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Tcl and the Tk toolkit
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Communication and Concurrency
Language Prototyping: An Algebraic Specification Approach: Vol. V
Language Prototyping: An Algebraic Specification Approach: Vol. V
Program Development by Specification and Transformation: A Methodology Language Family System
Program Development by Specification and Transformation: A Methodology Language Family System
The Definition of Standard ML
Tool Integration in an Open Environment
ESEC '89 Proceedings of the 2nd European Software Engineering Conference
A Structure Preserving Encoding of Z in Isabelle/HOL
TPHOLs '96 Proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics
TAS and IsaWin: Generic Interfaces for Transformational Program Development and Theorem Proving
TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
The Design of a Functional GUI Library Using Constructor Classes
Proceedings of the Second International Andrei Ershov Memorial Conference on Perspectives of System Informatics
HOL-Z in the UniForM-Wokbench - A Case Study in Tool Integration for Z
ZUM '98 Proceedings of the 11th International Conference of Z Users on The Z Formal Specification Notation
UniForM Perspectives for Formal Methods
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Using Concurrent Haskell to Develop Views over an Active Repository
IFL '97 Selected Papers from the 9th International Workshop on Implementation of Functional Languages
Scripting COM Components in Haskell
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Generating language-based environments
Generating language-based environments
UniForM Perspectives for Formal Methods
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
The UniForM Workbench, a Universal Development Environment for Formal Methods
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Workflow-driven tool integration using model transformations
Graph transformations and model-driven engineering
Hi-index | 0.00 |
The UniForM Workbench is an open ended tool integration framework for developing (formed) 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 HciskeU 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 cis specification and proof tools for Z specifications.