VDM as a specification method for telecommunications software

  • Thomas Letschert
Development Methods
Part of the Lecture Notes in Computer Science book series (LNCS, volume 252)


Improved software development techniques can be introduced only if their advantage can be demonstrated even without major investments. We suggested to start by changeing low level specifications while still keeping them close to the implementation language and to a smoothly extended environment.

So use and adaption to a given context of "the Method" have been of interest here. Our message was: create libraries of specified programs close to the area of application and the implementation language.

Things reported on here are still in their infancy and the author would like to thank all those who have and will answer his bothering questions about telephones.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Thomas Letschert
    • 1
  1. 1.Philips Kommunikations Industrie AGNürnbergWest Germany

Personalised recommendations