{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T07:40:55Z","timestamp":1725608455540},"publisher-location":"Vienna","reference-count":25,"publisher":"Springer Vienna","isbn-type":[{"type":"print","value":"9783211832820"},{"type":"electronic","value":"9783709163559"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-7091-6355-9_12","type":"book-chapter","created":{"date-parts":[[2011,9,15]],"date-time":"2011-09-15T07:42:02Z","timestamp":1316072522000},"page":"160-173","source":"Crossref","is-referenced-by-count":2,"title":["Tool Integration in the UniForM-Workbench"],"prefix":"10.1007","author":[{"given":"C.","family":"L\u00fcth","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E. W.","family":"Karlsen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Kolyang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Westmeier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B.","family":"Wolff","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","volume-title":"ACM Transactions on Programming Languages and Systems","author":"R Bahlke","year":"1986","unstructured":"Bahlke, R. and Snelting, G. (1986). The PSG System: From Formal Language Definitions to Interactive Programming Environments. ACM Transactions on Programming Languages and Systems."},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"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).","DOI":"10.1142\/S0218194095000290"},{"key":"12_CR3","unstructured":"ECMA (1994). Portable Common Tool Environment (PCTE)-Abstract Specification. European Computer Manufacturers Association, 3rd edition. Standard ECMA-149."},{"key":"12_CR4","unstructured":"Fr\u00f6hlich, M. and Werner, M. (1997). daVinci V2.0.3 Online Documentation. Univer-sit\u00e4t Bremen, http:\/\/www.informatik.uni -bremen.de\/~davinci.com"},{"key":"12_CR5","volume-title":"IEEE Transactions on Software Engineering","author":"A Habermann","year":"1985","unstructured":"Habermann, A. and Notkin, D. (1985). Gandalf: Software Development Environments. IEEE Transactions on Software Engineering."},{"issue":"5","key":"12_CR6","first-page":"1","volume":"27","author":"P Hudak","year":"1992","unstructured":"Hudak, P., Peyton Jones, S. L., and Wadler, P. (1992). Report on the Programming Language Haskell\u2013a non strict purely functional language, version 1.2. ACM SIGPLAN notices, 27 (5): 1\u2013162.","journal-title":"ACM SIGPLAN notices"},{"key":"12_CR7","unstructured":"Karlsen, E. W. (1997a). Integrating Interactive Tools using Concurrent Haskell and Synchronous Events. In CLaPF\u201997: 2nd Latin-American Conference on Functional Programming."},{"key":"12_CR8","unstructured":"Karlsen, E. W. (1997b). The UniForM Concurrency Toolkit and its Extensions to Concurrent Haskell. In G WFP\u201997: Glasgow Workshop on Functional Programming."},{"key":"12_CR9","volume-title":"Tool Integration in a Functional Setting","author":"Karlsen, E. W","year":"1998","unstructured":"Karlsen, E. W. (1998a). Tool Integration in a Functional Setting. PhD thesis, Univer-sit\u00e4t Bremen. Forthcoming."},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Karlsen, E. W. (1998b). The UniForM-workbench \u2014 a higher order tool integration framework. In International Workshop on Current Trends in Applied Formal Methods,Boppard, Germany.","DOI":"10.1007\/3-540-48257-1_17"},{"key":"12_CR11","unstructured":"Kolyang, L\u00fcth, 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\u2019: Theory and Practice of Software Development,number 1214 in LNCS, pages 855\u2013859. Springer Verlag."},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"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 \u2014 9th International Conference,number 1125 in Lecture Notes in Computer Science, pages 283\u2013298. Springer Verlag.","DOI":"10.1007\/BFb0105411"},{"key":"12_CR13","unstructured":"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\u00fcr Luft-und Raumfahrt, Berlin. Available at http:\/\/www.informatik.uni -bremen.de\/~uniform.com"},{"key":"12_CR14","unstructured":"Libes, D. (1991). expect: Scripts for Controlling Interactive Processes. In Computing Systems, Vol 4, No. 2."},{"key":"12_CR15","first-page":"116","volume-title":"11th International Conference of Z Users ZUM\u201998, number 1493 in Lecture Notes in Computer Science","author":"C Luth","year":"1998","unstructured":"Luth, C., Karlsen, E. W., Kolyang, Westmeier, S., and Wolff, B. (1998). HOL-Z in the UniForM-workbench \u2014 a case study in tool integration for Z. In Bowen, J., editor, 11th International Conference of Z Users ZUM\u201998, number 1493 in Lecture Notes in Computer Science, pages 116\u2013134, Berlin, Germany."},{"key":"12_CR16","unstructured":"Nagl, M., editor (1996). Building Tightly Integrated Software Development Environments: The IPSEN Approach,volume 1170 of Lecture Notes in Computer Science. Springer Verlag."},{"key":"12_CR17","unstructured":"Ousterhout, J. K. (1994). Tcl and the Tk Toolkit. Addison Wesley."},{"key":"12_CR18","unstructured":"Paulson, L. C. (1994). Isabelle - A Generic Theorem Prover. Number 828 in Lecture Notes in Computer Science. Springer Verlag."},{"key":"12_CR19","doi-asserted-by":"crossref","unstructured":"Peyton Jones, S., Gordon, A., and Finne, S. (1996). Concurrent Haskell. In Principles of Programming Languages \u201886 (POPL\u201996), Florida.","DOI":"10.1145\/237721.237794"},{"key":"12_CR20","volume-title":"Schellhorn","author":"W Reif","year":"1997","unstructured":"Reif, W., Schellhorn, G., and Stenzel, K. (1997). Proving system correctness with"},{"key":"12_CR21","unstructured":"KIV. In Bidoit, M. and Dauchet, M., editors, TAPSOFT 97\u2019: Theory and Practice of Software Development,number 1214 in LNCS, pages 859\u2013862. Springer Verlag."},{"key":"12_CR22","volume-title":"Generating Language Based Environments","author":"Reps, T","year":"1983","unstructured":"Reps, T. (1983). Generating Language Based Environments. PhD Thesis, Cornell University. MIT Press."},{"key":"12_CR23","unstructured":"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."},{"key":"12_CR24","unstructured":"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 \u201887 \u2014 Industrial Applications and Strengthened Foundations of Formal Methods,number 1313 in LNCS, pages 318\u2013337. Springer Verlag."},{"key":"12_CR25","volume-title":"Universit\u00e4t Bremen","author":"S Westmeier","year":"1998","unstructured":"Westmeier, S. (1998). Verwaltung versionierter persistenter Objekte in der UniForM WorkBench (UniForM OMS Toolkit).Master thesis, FB 3, Universit\u00e4t Bremen."}],"container-title":["Tool Support for System Specification, Development and Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-7091-6355-9_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T09:36:04Z","timestamp":1606124164000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-7091-6355-9_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783211832820","9783709163559"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-7091-6355-9_12","relation":{},"subject":[],"published":{"date-parts":[[1999]]}}}