Preview
Unable to display preview. Download preview PDF.
References
J.A. Goguen, Luqi: “Formal Methods and Social Context in Software Development,” (invited talk) 6th Int. Conf. on Theory and Practice of Software Development (TAP-SOFT'95), Aarhus (Denmark), May 1995, LNCS N.915, pp.62–81.
C. Floyd: “Theory and Practice of Software Development — Stages in a Debate”, (invited talk) 6th Int. Conf. on. Theory and Practice of Software Development (TAP-SOFT'95), Aarhus (Denmark), May 1995, LNCS N.915, pp.25–41.
J.K. Ousterhout: “Tcl and the Tk Toolkit,” Addison-Wesley, April 1994.
B. Steffen, T. Margaria, A. Claßen, V. Braun, M. Reitenspieß: “An Environment for the Creation of Intelligent Network Services”, inv. contrib. to the Annual Review of Communications, IEC, Chicago (USA), 1996 — also in The Advanced Intelligent Network: A Comprehensive Report“, IEC, Dec. 1995.
B. Steffen, T. Margaria, A. Claßen, V. Braun, M. Reitenspieß: “A Constraint-Oriented Service Creation Environment” Proc. PACT'96, Int. Conf on Practical Applications of Constraint Technology, 24–26 Apr.1996, London (UK).
B. Steffen, A. Claßen, T. Margaria: “The MetaFrame : An Environment for Flexible Tool Management,” Proc. TAPSOFT'95, Aarhus (DK), May 1995, LNCS N.915, pp.791–792.
B. Steffen, T. Margaria, A. Claßen: Heterogeneous Analysis and Verification for Distributed Systems, To appear in the Journal “SOFTWARE: Concepts and Tools”, Springer Verlag, 1996.
B. Steffen, T. Margaria, B. Freitag: “Module Configuration by Minimal Model Construction,” Techn. Rep. MIP 93-13, Fak. für Mathematik und Informatik, Universität Passau (Germany), December 1993.
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). Incremental formalization. In: Wirsing, M., Nivat, M. (eds) Algebraic Methodology and Software Technology. AMAST 1996. Lecture Notes in Computer Science, vol 1101. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0014354
Download citation
DOI: https://doi.org/10.1007/BFb0014354
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61463-0
Online ISBN: 978-3-540-68595-1
eBook Packages: Springer Book Archive