Specification as a design base

  • C. B. Jones
Software Engineering: Tools And Languages
First Online:
Part of the Lecture Notes in Computer Science book series (LNCS, volume 123)

Keywords

Formal Definition Data Refinement Partial Operation Proof Rule Language Concept 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in to check access.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bekic /74/.
    A Formal Definition of a PL/I Subset (2 parts). H. Bekic, D. Bjørner, W. Henhapl, C.B. Jones, P. Lucas. IBM Vienna TR25.139. Dec. 1974.Google Scholar
  2. Bjørner /78/.
    The Vienna Development Method: The Meta-Language. D. Bjørner, C.B. Jones (Eds). Springer-Verlag. Lecture Notes in Computer Science, No.61. 1978.Google Scholar
  3. Bjørner /80a/.
    Abstract Software Specifications. D. Bjørner (Ed.). Springer-Verlag. Lecture Notes in Computer Science, No.86. 1980.Google Scholar
  4. Bjørner /80b/.
    Formalization of Data Base Models. D. Bjørner in Bjørner /80a/.Google Scholar
  5. Bjørner /82/.
    Formal Specification and Software Development. D. Bjørner, C.B. Jones. Forthcoming book from Prentice-Hall International.Google Scholar
  6. Floyd /81/.
    Software Engineering — Entwurf und Spezifikation. C. Floyd, H. Kopetz (Eds). Teubner. 1981.Google Scholar
  7. Henhapl /78/.
    A Formal Definition of ALGOL 60 as described in the 1975 Modified Report. W. Henhapl, C.B. Jones. In Bjørner /78/.Google Scholar
  8. Jones /78/.
    The Meta-Language: A Reference Manual. C.B. Jones. In Bjørner /78/.Google Scholar
  9. Jones /80a/.
    Software Development: A Rigorous Approach. C.B. Jones. Prentice-Hall Int. 1980.Google Scholar
  10. Jones /80b/.
    Models of Programming Language Concepts. C.B. Jones. In Bjørner /80a/.Google Scholar
  11. Jones /81a/.
    Towards More Formal Specifications. C.B. Jones. In Floyd /81/.Google Scholar
  12. Jones /81b/.
    Development Methods for Computer Programs including a Notion of Interference. C.B. Jones. Oxford University, PRG Monograph. 1981.Google Scholar
  13. Stoy /81/.
    Data Types for State of the Art Program Development. J. Stoy. Infotech State-of-the-Art Report on Programming Languages. 1981.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1981

Authors and Affiliations

  • C. B. Jones
    • 1
  1. 1.Department of Computer ScienceManchester UniversityUK

Personalised recommendations