Advertisement

Software development in LDM

  • K. Balogh
  • Zs. Farkas
  • E. Sántáné-Tóth
  • P. Szeredy
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 152)

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.

Keywords

Abstraction Level Abstract Notion List Struct Language Prolog Type Read 
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.

References

References

  1. [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. [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. [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. [4]
    Liskov, B., Zilles, S.: Specification Techniques for Data Abstractions. IEEE Tr. on Software Engineering 4, pp. 7–19, 1975.Google Scholar
  5. [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. [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. [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. [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. [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. [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. [11]
    MPROLOG User's Manual SZKI Report, 1982.Google Scholar
  12. [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. [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. [14]
    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. [15]
    Software design in LDM — case studies. Series Softech, Vol.D37, SZÁMKI, Budapest, 1979.Google Scholar
  3. [16]
    The LDM design language and method. Vol.I–III. Series Softech, Vol. D47–D49, SZÁMKI, Budapest, 1979–1980.Google Scholar
  4. [17]
    The LDM-system — a design outline. Series Softech, Vol.D46, SZÁMKI, Budapest, 1979.Google Scholar
  5. [18]
    User's Manual of the LDM system. SZKI report, Budapest, 1981.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • K. Balogh
    • 1
  • Zs. Farkas
    • 1
  • E. Sántáné-Tóth
    • 1
  • P. Szeredy
    • 1
  1. 1.Institute for Coordination of Computer TechniquesBudapestHungary

Personalised recommendations