Tool integration in the UniForM-Workbench

MaRDI QIDQ4934539zbMATH OpenFDO

Authors Christoph Lüth, Einar W. Karlsen, S. Westmeier, Burkhart Wolff, D. T. Kolyang

Publication date 17 February 2002

zbMATH Keywords

UniForM-Workbench

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• scientific article; zbMATH DE number 1629955
• The ASM workbench. A tool environment for computer-aided analysis and validation of abstract state machine models
• The \textsc{Comm}\textsc{Unity} workbench
• A modular framework for the integration of heterogeneous notations and tools
• Semiotic approach to integration of formal design tools

Cited in

(7)

• Semiotic approach to integration of formal design tools
• The electronic tool integration platform: Concepts and design
• Integrating tools in the ETI platform
• UniForM
• The \textsc{Comm}\textsc{Unity} workbench
• scientific article; zbMATH DE number 1629955 (Why is no real title available?)
• scientific article; zbMATH DE number 1956598 (Why is no real title available?)

Describes a project that uses

Uses Software

• Isabelle

This page was built for publication: Tool integration in the UniForM-Workbench

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4934539)