The Transition from VDL to VDM

Простая страница элемента
dc.creatorJones,Cliff
dc.date2001
dc.date.accessioned2024-02-06T12:51:20Z
dc.date.available2024-02-06T12:51:20Z
dc.descriptionThis paper describes (one person's view of) how the Vienna Development Method grew out of the earlier work on the Vienna Definition Language. Both of these activities were undertaken at the IBM Laboratory Vienna during the 1960s and 70s.
dc.formattext/html
dc.identifierhttps://doi.org/10.3217/jucs-007-08-0631
dc.identifierhttps://lib.jucs.org/article/27810/
dc.identifier.urihttps://openrepository.mephi.ru/handle/123456789/7999
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): 631-640
dc.subjectformal methods
dc.subjectlanguage definition
dc.subjectVDL
dc.subjectVDM
dc.subjectoperational semantics
dc.subjectdenotational semantics
dc.titleThe Transition from VDL to VDM
dc.typeResearch Article
Файлы
Коллекции