The Transition from VDL to VDM
Дата
Авторы
Jones,Cliff
Journal Title
Journal ISSN
Volume Title
Издатель
Journal of Universal Computer Science
Аннотация
Описание
This 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.
Ключевые слова
formal methods , language definition , VDL , VDM , operational semantics , denotational semantics