Tool Integration in the UniForM-Workbench

The need for tool support is widely acknowledged, in particular in the context of formal methods. Yet, there exist many different tools serving different formal methods, and no single formal method (let alone tool) covers all aspects of software development. In order to combine the advantages of various tools and methods, they are combined into one integrated Software Development Environment (SDE).

[1]  Edmund Kazmierczak,et al.  Cogito: a Methodology and System for Formal Software Development , 1995, Int. J. Softw. Eng. Knowl. Eng..

[2]  Andrew William Roscoe,et al.  The Theory and Practice of Concurrency , 1997 .

[3]  Lawrence Charles Paulson,et al.  Isabelle: A Generic Theorem Prover , 1994 .

[4]  Simon L. Peyton Jones,et al.  Report on the programming language Haskell: a non-strict, purely functional language version 1.2 , 1992, SIGP.

[5]  Don Libes.  expect: Scripts for Controlling Interactive Processes , 1991, Comput. Syst..

[6]  Burkhart Wolff,et al.  TAS and IsaWin: Generic Interfaces for Transformational Program Development and Theorem Proving , 1997, TAPSOFT.

[7]  John K. Ousterhout,et al.  Tcl and the Tk Toolkit , 1994 .

[8]  Burkhart Wolff,et al.  HOL-Z in the UniForM-Wokbench - A Case Study in Tool Integration for Z , 1998, ZUM.

[9]  Burkhart Wolff,et al.  A Structure Preserving Encoding of Z in Isabelle/HOL , 1996, TPHOLs.

[10]  David Notkin,et al.  Gandalf: Software development environments , 1986, IEEE Transactions on Software Engineering.

[11]  Gregor Snelting,et al.  The PSG system: from formal language definitions to interactive programming environments , 1986, TOPL.

[12]  J. Michael Spivey,et al.  The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.

[13]  Einar W. Karlsen.  The UniForM Concurrency Toolkit and its Extensions to Concurrent Haskell , 1997 .

[14]  Thomas W. Reps,et al.  Generating Language-Based Environments , 1982 .

[15]  Simon L. Peyton Jones,et al.  Concurrent Haskell , 1996, POPL '96.

[16]  Paul Hudak,et al.  A gentle introduction to Haskell , 1992, SIGP.

[17]  Einar W. Karlsen.  Integrating Interactive Tools using Concurrent Haskell and Synchronous Events , 1997 .

[18]  Kurt Stenzel,et al.  Proving System Correctness with KIV , 1997, TAPSOFT.

[19]  Burkhart Wolff,et al.  A Corrected Failure Divergence Model for CSP in Isabelle/HOL , 1997, FME.

[20]  Einar W. Karlsen.  The UniForM WorkBench - A Higher Order Tool Integration Framework , 1998, FM-Trends.

[21]  Manfred Nagl,et al.  Building Tightly Integrated Software Development Environments: The IPSEN Approach , 1996, Lecture Notes in Computer Science.