To show that lightweight approaches can facilitate the technological transfer of formal development methods, the authors report on their experience using ...
These so-called lightweight approaches to formal methods take advantage of a precise and unambiguous specification language to raise the quality of a system's ...
The authors report on their experience using VDM++ to specify a safety-critical air traffic control voice communication system.
Reference: J. Hörl and B. K. Aichernig. Validating voice communication requirements using lightweight formal methods. IEEE Software, 17(3):21-27, 2000.
Jun 8, 2020 · Bibliographic details on Validating Voice Communication Requirements Using Lightweight Formal Methods.
This paper reports our experience applying lightweight formal methods to validate the correctness of ShardStore, a new key-value storage node implementation ...
Missing: Voice | Show results with:Voice
May 7, 2021 · Presented is a lightweight approach to formal methods in order to perform requirements validation, where the formal specification is used to ...
This paper reports our experience applying lightweight for- mal methods to validate the correctness of ShardStore, a new key-value storage node implementation ...
Missing: Voice Communication
This paper reports our experience applying lightweight for- mal methods to validate the correctness of ShardStore, a new key-value storage node implementation ...
Missing: Voice Communication
The aim of this thesis is to introduce the idea of formal methods to the company FREQUENTIS. So-called light-weight formal methods have been used to allow a ...