Skip to main content
SpringerLink
Log in

Software development in LDM

  • Conference paper
  • First Online:
Book cover Specification and Design of Software Systems (OS 1982)

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

Included in the following conference series:

  • 117 Accesses

Abstract

LDM (Logic based Development Method) is a method, a language, and a support system for designing software objects on different levels of abstraction. It is based on the ideas of logic programming (PROLOG) and the Vienna Development Method (VDM). The paper gives an overview of the method, the language, the first experimental support system, and the experiences from its usage. It gives an example of the development process in LDM, and further plans are summarised.

On leave from Central Research Institute for Physics, Hungarian Academy of Sciences, Budapest, Hungary.

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

References

  1. Bauer, F.L. et al.: Report on a Wide Spectrum Language for Program Specification and Development (Tentative version). Technische Universität München, TUM-18104, May 1981.

    Google Scholar 

  2. Bjørner, D., Jones, C.B. (eds.): The Vienna Development Method: The Meta-Language. Lecture Notes in Computer Science (Eds. by G. Goos and J. Hartmanis) 61. Springer-Verlag, Berlin-Heidelberg-New York, 1978.

    Google Scholar 

  3. Burstall, R.M., Goguen, J.A.: Putting theories together to make specifications. Proc. of 5th Int. Joint Conf. on Artificial Intelligence, Cambridge, Mass., pp. 1045–1058, 1977.

    Google Scholar 

  4. Liskov, B., Zilles, S.: Specification Techniques for Data Abstractions. IEEE Tr. on Software Engineering 4, pp. 7–19, 1975.

    Google Scholar 

  5. Wulf, W., London, R., Shaw, M.: An Introduction to the Construction and Verification of Alphard Programs. IEEE Tr. on Software Engineering 2, pp. 253–364, 1976.

    Google Scholar 

  6. Nakajima, R., Honda, M., Nakahara, H.: Describing and verifying programs with abstract data types. Formal Description of Programming Concepts. Ed.: E.J. Neuhold. Nort-Holland Publishing Company, pp. 527–556, 1978.

    Google Scholar 

  7. Koster, C.H.A.: CDL — a compiler implementation language. In Proceedings of a Conference on Methods of Algorithmic Language Implementation. Lecture Notes in Computer Science 47. Springer-Verlag, Berlin-Heidelberg-New York, 1977.

    Google Scholar 

  8. Kowalski, R.A.: Predicate Logic as Programming Language. Proc. of IFIP'74. North-Holland Publishing Co., Amsterdam, pp. 569–574, 1974.

    Google Scholar 

  9. Warren, D.H.D., Pereira, L.M., Pereira, F.C.N.: PROLOG, the language and its implementation compared with LISP. ACM Symposium on Artificial Intelligence and Programming Languages. Sigart Newsletter No. 64. and SIGPLAN NOTICES 12, No.8, August 1977.

    Google Scholar 

  10. Bendl, J., Köves, P., Szeredi, P.: The MPROLOG system. Preprints of the Logic Programming Workshop, Debrecen, Hungary, pp. 201–209, 1980. /Ed.: S-A.Tarnlund/

    Google Scholar 

  11. MPROLOG User's Manual SZKI Report, 1982.

    Google Scholar 

  12. Szeredi, P., Balogh, K., Sántáné-Tóth E., Farkas, Zs.: LDM — a Logic Based Software Development Method. Preprints of the Logic Programming Workshop, Debrecen, Hungary, pp. 160–171, 1980. /Ed.: S-A. Tärnlund/

    Google Scholar 

  13. Farkas, Zs., Szeredi, P., Sántáné-Tóth E.: LDM — a Program Specification Support System. Proc. of the First International Logic Programming Conference, Marseille, France, 1982.

    Google Scholar 

The following reports describe (in Hungarian) the development of LDM and its application

  1. Application of the language PROLOG to designing software and hardware objects. Vol.I–VI. Series Softech, Vol. D21–D27. SZÁMKI, Budapest, 1978.

    Google Scholar 

  2. Software design in LDM — case studies. Series Softech, Vol.D37, SZÁMKI, Budapest, 1979.

    Google Scholar 

  3. The LDM design language and method. Vol.I–III. Series Softech, Vol. D47–D49, SZÁMKI, Budapest, 1979–1980.

    Google Scholar 

  4. The LDM-system — a design outline. Series Softech, Vol.D46, SZÁMKI, Budapest, 1979.

    Google Scholar 

  5. User's Manual of the LDM system. SZKI report, Budapest, 1981.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute for Coordination of Computer Techniques, Budapest, Hungary

    K. Balogh, Zs. Farkas, E. Sántáné-Tóth & P. Szeredy

Authors
  1. K. Balogh
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Zs. Farkas
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. E. Sántáné-Tóth
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. P. Szeredy
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Elöd Knuth Erich J. Neuhold

Rights and permissions

Reprints and permissions

Copyright information

© 1985 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Balogh, K., Farkas, Z., Sántáné-Tóth, E., Szeredy, P. (1985). Software development in LDM. In: Knuth, E., Neuhold, E.J. (eds) Specification and Design of Software Systems. OS 1982. Lecture Notes in Computer Science, vol 152. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0051560

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-12284-5

  • Online ISBN: 978-3-540-39605-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation