Skip to main content
SpringerLink
Log in

Proplane: A specification development environment

  • 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

PROPLANE is an environment supporting formal specification activity by providing methodological assistance during the development process. The central key of the system is the notion of operator: the development of a specification is defined as a sequence of steps in which each step maps a development state to the next one by application of some operator. Operators separate the design concepts from the technical details of how they are captured in the target specification language.

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. G. Bosch and J. Souquières. Prototype Assistant: its Function and its Design. Esprit Project 2537 ICARUS, Deliverable #48, January 1994.

    Google Scholar 

  2. S. Clerici, R. Jimenez, and F. Orejas. Semantic Constructions in the GLIDER Specification Language, volume Recent Trends in Data Type Specification of LNCS 785. Springer Verlag, 1994.

    Google Scholar 

  3. R. Darimont. Process support for requirements elaboration. Phd thesis, Université catholique de Louvain, Faculté des Sciences Appliquées, Département d'Ingénierie Informatique, June 1995.

    Google Scholar 

  4. [DFHs+94] E. Dubois, J.-P. Finance, J. Hagelstein, A. van Lamsweerde, F. Orejas, J. Souquières, and P. Wodon. Icarus: Overview of the project. Technical report, Esprit2 Project, EEC, December 1994.

    Google Scholar 

  5. R. Darimont and J. Souquières. A Development Model: Application to Z Specifications. In Proc. of the WG 8.1 Working Conference on Information System Development Process, Como, Italy, 1993. North Holland.

    Google Scholar 

  6. N. Lévy. Improving PROPLANE: a Specification Development Framework. In Proc. Second IFAC Int. Workshop on Safety and Reliability in Emerging Control Technologies, Daytona Beach, Florida, pages 229–240, November 1995.

    Google Scholar 

  7. N. Lévy and G. Smith. A language-independent approach to specification construction. In Proceedings SIGSOFT'94: Symposium on the Foundations of Software Engineering, New Orleans, USA., December 1994.

    Google Scholar 

  8. J. Souquières and R. Darimont. La description du développement de spécifications. Technique et Science Informatiques, 14(9), novembre 1995.

    Google Scholar 

  9. J. Souquières and N. Lévy. Description of Specification Developments. In Proceeding of RE'93, pages 216–223. I.E.E.E. Press, January 1993.

    Google Scholar 

  10. G. Smith. An Object-Oriented Development Framework for Z. In J.P. Bowen and J.A. Hall, editors, Proc. of the 8th Z User Meeting (ZUM'94), Cambridge. Springer-Verlag, Workshops in Computing, June 1994.

    Google Scholar 

  11. J. Souquières. Aides au développement de spécifications. Thèse d'état, CRIN/Université de Nancy 1, Janvier 1993.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. CRIN-CNRS, Bâtiment LORIA, B.P. 239, F-54506, Vandœuvre-lès-Nancy Cedex

    Jeanine Souquières & Nicole Lévy

Authors
  1. Jeanine Souquières
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Nicole Lévy
    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

Souquières, J., Lévy, N. (1996). Proplane: A specification development environment. 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/BFb0014355

Download citation

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

  • 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