Skip to main content
SpringerLink
Log in

SPECWARE: An advanced environment for the formal development of complex software systems

Demonstration abstract

  • Conference
  • Conference paper
  • First Online:
Algebraic Methodology and Software Technology (AMAST 1996)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1101))

Abstract

SPECWARE supports the systematic construction of formal specifications and their stepwise refinement into programs. The fundamental operations in SPECWARE are that of composing specifications (via colimits), the corresponding refinement by composing refinements (via sheaves), and the generation of programs by composing code modules (via colimits). We believe that this formal basis will enable the scaling to system-level software construction.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Li-Mei Gilham and Allen Goldberg and T. C. Wang: Toward Reliable Reactive Systems, in Proceedings of the 5th International Workshop on Software Design. 1989, Pittsburgh,.

    Google Scholar 

  2. Lee Blaine and Allen Goldberg: DTRE — A Semi-Automatic Transformation System, in Constructing Programs from Specifications (editor B. Moeller), North-Holland, 1991.

    Google Scholar 

  3. Smith, D.R. KIDS — a semi-automatic program development system. IEEE Transactions on Software Engineering 16, 9 (September 1990), 1024–1043.

    Google Scholar 

  4. ,Y. V. Srinivas and Richard Juellig: SPECWARE™: Formal Support for Composing Software, in Proc. of the Conf. on Mathematics of Program Construction, Germany, July 1995.

    Google Scholar 

  5. Meseguer, J. General logics. Logic Colloquium'87. H.-D. Ebbinghaus et. al., Eds. North-Holland, 1989, pp.-275–329.

    Google Scholar 

  6. Wirsing, M. Structured algebraic specifications: A kernel language. Theoretical Comput. Sci. 42 (1986), 123–249.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Kestrel Institute, 3260 Hillview Ave., 94304, Palo Alto, CA

    R. Juellig, Y. Srinivas & J. Liu

Authors
  1. R. Juellig
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Y. Srinivas
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. J. Liu
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Martin Wirsing Maurice Nivat

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Juellig, R., Srinivas, Y., Liu, J. (1996). SPECWARE: An advanced environment for the formal development of complex software systems. 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/BFb0014339

Download citation

  • DOI: https://doi.org/10.1007/BFb0014339

  • 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

Publish with us

Policies and ethics

Search

Navigation