Integrated-Specifications Analysis

  • Pablo Straub
  • Yadran Eterovic
  • Hugo Espinoza
  • Cecilia Bastarrica


Formal specifications of software hold the promise to eliminate ambiguity from requirements and enable formal analysis of specifications, by introducing mathematical formalism from the outset of the lifecycle. However, these formalisms are geared towards functional specifications ignoring the user interface.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Martín Abadi and Leslie Lamport. Composing specifications. ACM Trans. on Programming Languages and Systems, 15(1):73–132, January 1993.CrossRefGoogle Scholar
  2. [2]
    Bergstra, Heering and Klint, eds. Algebraic Specification, Addison-Wesley Publishing Company, New York, 1989.MATHGoogle Scholar
  3. [3]
    Roger Duke, Paul King, Gordon Rose, and Graeme Smith. The Object-Z Specification Language, Version 1. Technical Report No. 91-1, Software Verification Research Centre, The University of Queensland, Queensland 4072, Australia.Google Scholar
  4. [4]
    Hartmut Ehrig. Martin Große-Rhode and Andreas Heise. Specification techniques for concurrent and distributed systems. Technical Report, Bericht-Nr. 92/5, Technische Universität Berlin, Fachbereich 20, Informatik, Franklinstaße 28/29, D-1000 Berlin 10, Germany, 1992.Google Scholar
  5. [5]
    Gerald Estrin et al. SARA (system architects apprentice): Modeling, analysis, and simulation support for design of concurrent systems. IEEE Transactions on Software Engineering, SE-(12)2, February, 1986.Google Scholar
  6. [6]
    Yadran Eterovic. Executable Specifications of Multi-application Multi-user Interlaces. Ph.D. Thesis. University of California, Los Angeles, Computer Science Department, July, 1992.Google Scholar
  7. [7]
    John V. Guttag, James J. Horning, and Jeanette M. Wing. The Larch family of specification languages. IEEE Software, pp. 24-36, September, 1985.Google Scholar
  8. [8]
    David Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231–274, 1987.MathSciNetMATHCrossRefGoogle Scholar
  9. [9]
    I.J. Hayes and C.B. Jones. Specifications are not (necessarily) executable. Software Engineering Journal, pages 330-338, November 1989.Google Scholar
  10. [10]
    C.A.R,. Hoare. Communicating sequential processes. Communications of the ACM, 21(8):666–677, 1978.MathSciNetMATHCrossRefGoogle Scholar
  11. [11]
    Cliff B. Jones. Systematic Software Development using VDM. Series in Computer Science. Prentice-Hall International, London, 1990.MATHGoogle Scholar
  12. [12]
    Lynn S. Marshall. Formally describing interactive systems. In Cliff B. Jones and R.C. Shaw, Eds., Case Studies in Systematic Software Development. Series in Computer Science. Prentice-Hall International, London, 1990.Google Scholar
  13. [13]
    H.D Mills, R.C. Linger and A.R. Ilevner. Principles of Information systems Analysis and Design. Academic Press, San Diego, 1986.Google Scholar
  14. [14]
    H.D Mills, R.C. Linger and A.R. Hevner. Box structured information systems. IBM Systems Journal, (26)4, 1987.Google Scholar
  15. [15]
    J.E. Odom. Using box structures for definition of requirements specifications. IBM Systems Journal, (29)1, 1990.Google Scholar
  16. [16]
    James L. Peterson. Petri Net Theory and the Modeling of Systems. Prentice-Hall, Englewood Cliffs, N.J., 1981.Google Scholar
  17. [17]
    J.M. Spivey. The Z Notation: A Reference Manual. Second Edition. Series in Computer Science. Prentice-Hall International, New York, 1992.Google Scholar
  18. [18]
    Pablo A. Straub and Hugo A. Espinoza. Integrating the Graph Model of Behavior and Z. Technical Report, Department of Computer Science, Catholic University of Chile, P.O. Box, Santiago 22, Chile, September 1993.Google Scholar
  19. [19]
    Mary Katharine Vernon. Performance-Oriented Design of Distributed Systems Technical Report, Computer Science Department, Los Angeles, University of California, August, 1983.Google Scholar

Copyright information

© Springer Science+Business Media New York 1994

Authors and Affiliations

  • Pablo Straub
    • 1
  • Yadran Eterovic
    • 1
  • Hugo Espinoza
    • 1
  • Cecilia Bastarrica
    • 1
  1. 1.Departamento de Ciencia de la ComputaciónPontificia Universidad Católica de ChileChile

Personalised recommendations