DBPapers
DOI:10.5593/SGEM2013/BB2.V1/S07.012

DESCRIPTION AND DEVELOPMENT SOFTWARE SYSTEMS BY USING TIL SCRIPT AND VDM

L. Chupac, I. Mudron, M. Mensik
Monday 5 August 2013 by Libadmin2013

References: 13th SGEM GeoConference on Informatics, Geoinformatics And Remote Sensing, www.sgem.org, SGEM2013 Conference Proceedings, ISBN 978-954-91818-9-0 / ISSN 1314-2704, June 16-22, 2013, Vol. 1, 93 - 100 pp

ABSTRACT

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.

Keywords: VDM-SL, TIL, Hyperintesional Logic, requirements, refinement

Home | Contact | Site Map | Site statistics | Visitors : 133 / 353063

Follow site activity en  Follow site activity INFORMATICS  Follow site activity Papers SGEM2013   ?

CrossRef Member    Indexed in ISI Web Of Knowledge   Indexed in ISI Web Of Knowledge
   

© Copyright 2001 International Multidisciplinary Scientific GeoConference & EXPO SGEM. All Rights Reserved.

Creative Commons License