Chapter PDF
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
J.A. Goguen, Luqi: “Formal Methods and Social Context in Software Development,” (inv. talk) TAPSOFT'95, Aarhus (DK), May 1995, LNCS N.915, pp. 62–81.
M. Klein, J. Knoop, D. Koschützki, B. Steffen: “DFA&OPT-METAFrame: A Tool Kit for Program Analysis and Optimization” (Tool description) — Proc. TACAS'96, Int. Workshop on Tools and Algorithms for the Construction and Analysis of Systems, Passau, March 1996, LNCS 1055, Springer Verlag, pp. 422–26.
J. Knoop, O. Rüthing, B. Steffen: ‘The power of assignment motion,” Proc. PLDF95, ACM SIGPLAN, La Jolla, CA, June'95, SIGPLAN Notices 30, 6 (1995), pp. 233–245.
T. Margaria, A. Claßen, B. Steffen: “Computer Aided Tool Synthesis in the META-Frame”, 3. GI/ITG Workshop on “Anwendung formaler Methoden beim Entwurf von Hardwaresystemen”, Passau (D), March 1995, pp. 11–20, Shaker Verlag.
John K. Ousterhout: “Tcl and the Tk Toolkit,” Addison-Wesley, April 1994.
B. Steffen, T. Margaria, A. Claßen, V. Braun: “Incremental Formalization: a Key to Industrial Success ”, to appear in “SOFTWARE: Concepts and Tools”, Springer Verlag, 1996.
B. Steffen, T. Margaria, A. Claßen, V. Braun, M. Reitenspieß: “An Environment for the Creation of Intelligent Network Services”, invited contribution to the book “Intelligent Networks: IN/AIN Technologies, Operations, Services, and Applications — A Comprehensive Report” Int. Engineering Consortium, Chicago IL, 1996, pp. 287–300 — also invited to the Annual Review of Communications, IEC, 1996.
B. Steffen, T. Margaria, A. Claßen, V. Braun, V. Kriete, M. Reitenspieß: “A Constraint-Oriented Service Creation Environment” (Tool description) — Proc. TACAS'96, Int. Workshop on Tools and Algorithms for the Construction and Analysis of Systems, Passau, March 1996, LNCS 1055, Springer Verlag, pp. 418–421.
B. Steffen: “Generating Data Flow Analysis Algorithms from Modal Specifications,” Science of Computer Programming N.21, 1993, pp. 115–139.
B. Steffen, T. Margaria, A. Claßen: “Heterogeneous Analysis and Verification for Distributed Systems,” “SOFTWARE: Concepts and Tools” N. 17, pp. 13–25, March 1996, Springer Verlag.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Steffen, B., Margaria, T., Claßen, A., Braun, V. (1996). The METAFrame'95 environment. In: Alur, R., Henzinger, T.A. (eds) Computer Aided Verification. CAV 1996. Lecture Notes in Computer Science, vol 1102. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61474-5_100
Download citation
DOI: https://doi.org/10.1007/3-540-61474-5_100
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61474-6
Online ISBN: 978-3-540-68599-9
eBook Packages: Springer Book Archive