DESCRIPTION AND DEVELOPMENT SOFTWARE SYSTEMS BY USING TIL SCRIPT AND VDM

In the contribution we deal with description of Vienna Development Method (VDM), which is a formal method for description and development software systems. It is a collection of techniques and methods for modelling, specification and design of software systems. Specification of VDM is established on mathematics and can be written very abstractly and formally. Transparent Intesional Logic was used for specification of problem description. Advantage of this tool is general description and easy transformation to other specification languages. The method of process development implementation consists from series of steps, in which VDM specification is transformed to software implementation. Every step generates new specification, which is less abstract and more implementable like previous steps. Process between steps of development is known as refinent. The most important element of VDM is his specification language Vienna Development Specification Method Specification Language VDM - SL). VDM - SL supports modelling and analyzing of software systems with various levels of abstraction. This method was used to develop software for control and coordination of traffic lights. This software uses real data.