Click on a search word OR use the drop-down choices to search for a paper.
2015
Implementability of Requirements in the Four-Variable Model Journal Article
In: Science of Computer Programming, vol. 111, no. 2, pp. 339–362, 2015.
Click on a search word OR use the drop-down choices to search for a paper.
Patcas, Lucian M; Lawford, Mark; Maibaum, Tom
Implementability of Requirements in the Four-Variable Model Journal Article
In: Science of Computer Programming, vol. 111, no. 2, pp. 339–362, 2015.
BibTeX | Tags: demonic calculus of relations, four-variable model, implentability of requirements, safety-critical, tolerances on requirements
@article{patcas2015implementability,
title = {Implementability of Requirements in the Four-Variable Model},
author = {Patcas, Lucian M and Lawford, Mark and Maibaum, Tom},
year = {2015},
date = {2015-01-01},
journal = {Science of Computer Programming},
volume = {111},
number = {2},
pages = {339--362},
publisher = {Elsevier},
keywords = {demonic calculus of relations, four-variable model, implentability of requirements, safety-critical, tolerances on requirements},
pubstate = {published},
tppubtype = {article}
}