Skip to main content
SpringerLink
Log in
Book cover

International Conference on Integrated Formal Methods

IFM 2000: Integrated Formal Methods pp 116–135Cite as

ISpec: Towards Practical and Sound Interface Specifications

  • Conference paper
  • First Online:

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

Abstract

This paper introduces the ISpec approach to interface specification. ISpec supports the development of interface specifications at various levels of formality and detail in a way compatible with object-oriented odelling techniques (UML). The incremental nature of the levels and the underlying formal framework of ISpec allow informal interface specifications to be made formal in steps. The body of the paper consists of a discussion of the main characteristics of ISpec, which reflect the important decisions taken in the design of ISpec. The idea of component-based specifications and specification plug-ins for constructing heterogeneous specifications is discussed and a small example showing the various levels of specification supported by ISpec is presented.

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Beizer, B., Black-Box Testing, Wiley & Sons (1995).

    Google Scholar 

  2. Box, D, Brown, K., Ewald, T., Sells, C., Effective COM, Addison-Wesley (1999).

    Google Scholar 

  3. Cook, S., Daniels, J., Designing Object Systems: Object-Oriented Modeling with Syntropy, Prentice Hall (1994).

    Google Scholar 

  4. Feijs, L.M.G., Jonkers, H.B.M., Middelburg, C.A., Notations for Software Design, Springer Verlag (1994).

    Google Scholar 

  5. Feijs, L.M.G., Jonkers, H.B.M., History, Principles and Application of the SPRINT Method, Journal of Systems and Software 41 (1998), 199–219.

    Article  Google Scholar 

  6. Fowler, M., UML Distilled, Addison-Wesley (1997).

    Google Scholar 

  7. Groote, J.F., Ponse, A., The syntax and semantics of μCRL. In: Ponse, A., Verhoef, C., van Vlijmen, S.F.M. (Eds.), Algebra of Communicating Processes, Workshops in Computing, Springer Verlag (1994), 26–62.

    Google Scholar 

  8. Guttag, J.V., Horning, J.J., Larch: Languages and Tools for Formal Specification, Texts and Monographs in Computer Science, Springer-Verlag (1993).

    Google Scholar 

  9. Jezequel, J., Train, M., Mingins, C., Design Patterns and Contracts, Addison-Wesley (1999).

    Google Scholar 

  10. Jones, C.B., Systematic Software Development using VDM, Second Edition, Prentice Hall (1989).

    Google Scholar 

  11. Jonkers, H.B.M., Upgrading the Pre-and Postcondition Technique, In: Prehn, S., Toetenel, W.J. (Eds.), VDM’91, Formal Software Development Methods Vol. 1, LNCS 551, Springer Verlag, (1991), 428–456.

    Google Scholar 

  12. Meyer, B., Object-Oriented Software Construction, Second Edition, Prentice Hall (1997).

    Google Scholar 

  13. Moonen, J.R., Romijn, J.M.T., Sies, O., Springintveld, J.G., Feijs, L.M.G., Koymans, R.L.C., A two-level approach to automated conformance testing of VHDL designs, In: Kim, M., Kang, S., Hong, K. (Eds.), IFIP TC6 International Workshop on Testing of Communicating Systems, Chapman & Hall (1997), 432–447.

    Google Scholar 

  14. Rose, G., Object-Z. In: Stepney, S., Barden, R., Cooper, D. (Eds.), Object Orientation in Z, Workshops in Computing, Springer-Verlag (1992), 59–77.

    Google Scholar 

  15. Software Engineeering Institute, Carnegie Mellon, SEI Open Systems Glossary, http://www.sei.cmu.edu/opensystems/glossary.html.

  16. Shankar, A.U., An Introduction to Assertional Reasoning for Concurrent Systems, ACM Computing Surveys, Vol. 25, No. 3. (1993), 225–262.

    Article  Google Scholar 

  17. D’Souza, D., Wills, A., Objects, Components, and Frameworks with UML, The Catalysis Approach, Addison-Wesley (1998).

    Google Scholar 

  18. Spivey, J.M., The Z Notation: A Reference Manual, Second Edition, Prentice Hall (1992).

    Google Scholar 

  19. Szyperski, C., Component Software, Addison-Wesley (1998).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Philips Research Laboratories Eindhoven, Prof. Holstlaan 4, 5656, AA Eindhoven, The Netherlands

    Hans B.M. Jonkers

Authors
  1. Hans B.M. Jonkers
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Sekr.FR 5-13 bzw.5-6, TU Berlin, Franklinstr.28-29, 10587, Berlin, Germany

    Wolfgang Grieskamp  & Thomas Santen  & 

  2. School of Computing and Mathematics, University of Teesside, Middlesbrough, TS1 3BA, UK

    Bill Stoddart

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Jonkers, H.B. (2000). ISpec: Towards Practical and Sound Interface Specifications. In: Grieskamp, W., Santen, T., Stoddart, B. (eds) Integrated Formal Methods. IFM 2000. Lecture Notes in Computer Science, vol 1945. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-40911-4_8

Download citation

  • DOI: https://doi.org/10.1007/3-540-40911-4_8

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-41196-3

  • Online ISBN: 978-3-540-40911-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation