VDM as a specification method for telecommunications software

Abstract

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.