Ten Years of Historical Development "Bootstrapping" VDMTools

Простая страница элемента
dc.creatorLarsen,Peter
dc.date2001
dc.date.accessioned2024-02-06T12:51:21Z
dc.date.available2024-02-06T12:51:21Z
dc.descriptionThis article provides a historical overview of a decade of the development of the IFAD VDM Toolboxes commonly referred to as VDMTools. All along, the existing tools have been used in the development of new major components. This kind of "bootstrapping " approach where a CASE tool is developed by taking ""its own medicine" is seldom used. However, we believe that this approach is important to be able to better understand what the most important improvements are for the users in practice. This article also describes how the different components have been maintained by a changing development team. We feel that the decisions we have made regarding the parts of the tool which have been formally specified and the parts which have been developed conventionally may provide valuable input for others considering the use of formal specification. The overall organisation of the development environment may also be interesting for other developers.
dc.formattext/html
dc.identifierhttps://doi.org/10.3217/jucs-007-08-0692
dc.identifierhttps://lib.jucs.org/article/27813/
dc.identifier.urihttps://openrepository.mephi.ru/handle/123456789/8002
dc.languageen
dc.publisherJournal of Universal Computer Science
dc.relationinfo:eu-repo/semantics/altIdentifier/eissn/0948-6968
dc.relationinfo:eu-repo/semantics/altIdentifier/pissn/0948-695X
dc.rightsinfo:eu-repo/semantics/openAccess
dc.rightsJ.UCS License
dc.sourceJUCS - Journal of Universal Computer Science 7(8): 692-709
dc.subjectformal methods
dc.subjectsoftware engineering
dc.subjectVDM
dc.subjecttool support
dc.titleTen Years of Historical Development "Bootstrapping" VDMTools
dc.typeResearch Article
Файлы
Коллекции