Abstract
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).
This work has been supported by the German Ministry for Education and Research (BMBF) as part of the project UniForM (Krieg-Brückner et al. 1996) under grant No. FKZ 01 IS 521 B2.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bahlke, R. and Snelting, G. (1986). The PSG System: From Formal Language Definitions to Interactive Programming Environments. ACM Transactions on Programming Languages and Systems.
Bloesch, A., Kazmierczak, E., Kearney, P., and Traynor, O. (1995). Cogito: A Methodology and System for Formal Development. International Journal of Software Engineering, 4 (3).
ECMA (1994). Portable Common Tool Environment (PCTE)-Abstract Specification. European Computer Manufacturers Association, 3rd edition. Standard ECMA-149.
Fröhlich, M. and Werner, M. (1997). daVinci V2.0.3 Online Documentation. Univer-sität Bremen,http://www.informatik.uni-bremen.de/~davinci.com
Habermann, A. and Notkin, D. (1985). Gandalf: Software Development Environments. IEEE Transactions on Software Engineering.
Hudak, P., Peyton Jones, S. L., and Wadler, P. (1992). Report on the Programming Language Haskell–a non strict purely functional language, version 1.2. ACM SIGPLAN notices, 27 (5): 1–162.
Karlsen, E. W. (1997a). Integrating Interactive Tools using Concurrent Haskell and Synchronous Events. In CLaPF’97: 2nd Latin-American Conference on Functional Programming.
Karlsen, E. W. (1997b). The UniForM Concurrency Toolkit and its Extensions to Concurrent Haskell. In G WFP’97: Glasgow Workshop on Functional Programming.
Karlsen, E. W. (1998a). Tool Integration in a Functional Setting. PhD thesis, Univer-sität Bremen. Forthcoming.
Karlsen, E. W. (1998b). The UniForM-workbench — a higher order tool integration framework. In International Workshop on Current Trends in Applied Formal Methods,Boppard, Germany.
Kolyang, Lüth, C., Meier, T., and Wolff, B. (1997). TAS and IsaWin: Generic interfaces for transformational program development and theorem proving. In Bidoit, M. and Dauchet, M., editors, TAPSOFT 97’: Theory and Practice of Software Development,number 1214 in LNCS, pages 855–859. Springer Verlag.
Kolyang, Santen, T., and Wolff, B. (1996). A structure preserving encoding of Z in Isabelle/HOL. In von Wright, J., Grundy, J., and Harrison, J., editors, Theorem Proving in Higher Order Logics — 9th International Conference,number 1125 in Lecture Notes in Computer Science, pages 283–298. Springer Verlag.
Krieg-Bruckner, B., Peleska, J., Olderog, E. R., Balzer, D., and Baer, A. (1996). Universal Formal Methods Workbench. In Grote, U. and Wolf, G., editors, Statusseminar des BMBF: Softwaretechnologie. Deutsche Forschungsanstalt für Luft-und Raumfahrt, Berlin. Available at http://www.informatik.uni-bremen.de/~uniform.com
Libes, D. (1991). expect: Scripts for Controlling Interactive Processes. In Computing Systems, Vol 4, No. 2.
Luth, C., Karlsen, E. W., Kolyang, Westmeier, S., and Wolff, B. (1998). HOL-Z in the UniForM-workbench — a case study in tool integration for Z. In Bowen, J., editor, 11th International Conference of Z Users ZUM’98, number 1493 in Lecture Notes in Computer Science, pages 116–134, Berlin, Germany.
Nagl, M., editor (1996). Building Tightly Integrated Software Development Environments: The IPSEN Approach,volume 1170 of Lecture Notes in Computer Science. Springer Verlag.
Ousterhout, J. K. (1994). Tcl and the Tk Toolkit. Addison Wesley.
Paulson, L. C. (1994). Isabelle - A Generic Theorem Prover. Number 828 in Lecture Notes in Computer Science. Springer Verlag.
Peyton Jones, S., Gordon, A., and Finne, S. (1996). Concurrent Haskell. In Principles of Programming Languages ‘86 (POPL’96), Florida.
Reif, W., Schellhorn, G., and Stenzel, K. (1997). Proving system correctness with
KIV. In Bidoit, M. and Dauchet, M., editors, TAPSOFT 97’: Theory and Practice of Software Development,number 1214 in LNCS, pages 859–862. Springer Verlag.
Reps, T. (1983). Generating Language Based Environments. PhD Thesis, Cornell University. MIT Press.
Roscoe, A. W. (1998). The Theory and Practice of Concurrency. Prentice Hall. Spivey, M. (1992). The Z Notation: A Reference Manual. Prentice Hall. 2nd edition.
Tej, H. and Wolff, B. (1997). A corrected failure-divergence model for CSP in Isa-belle/HOL. In Fitzgerald, J., Jones, C. B., and Lucas, P., editors, Proceedings of the FME ‘87 — Industrial Applications and Strengthened Foundations of Formal Methods,number 1313 in LNCS, pages 318–337. Springer Verlag.
Westmeier, S. (1998). Verwaltung versionierter persistenter Objekte in der UniForM WorkBench (UniForM OMS Toolkit).Master thesis, FB 3, Universität Bremen.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Wien
About this paper
Cite this paper
Lüth, C., Karlsen, E.W., Kolyang, Westmeier, S., Wolff, B. (1999). Tool Integration in the UniForM-Workbench. In: Berghammer, R., Lakhnech, Y. (eds) Tool Support for System Specification, Development and Verification. Advances in Computing Science. Springer, Vienna. https://doi.org/10.1007/978-3-7091-6355-9_12
Download citation
DOI: https://doi.org/10.1007/978-3-7091-6355-9_12
Publisher Name: Springer, Vienna
Print ISBN: 978-3-211-83282-0
Online ISBN: 978-3-7091-6355-9
eBook Packages: Springer Book Archive