Formal Methods for Specifying, Validating, and Verifying Requirements
| dc.creator | Heitmeyer,Constance | |
| dc.date | 2007 | |
| dc.date.accessioned | 2024-02-06T12:55:22Z | |
| dc.date.available | 2024-02-06T12:55:22Z | |
| dc.description | This paper describes the specification, validation and verification of system and soft-ware requirements using the SCR tabular method and tools. An example is presented to illustrate the SCR tabular notation, and an overview of each of the ten tools in the SCR toolset is presented. | |
| dc.format | text/html | |
| dc.identifier | https://doi.org/10.3217/jucs-013-05-0607 | |
| dc.identifier | https://lib.jucs.org/article/28782/ | |
| dc.identifier.uri | https://openrepository.mephi.ru/handle/123456789/9341 | |
| dc.language | en | |
| dc.publisher | Journal of Universal Computer Science | |
| dc.relation | info:eu-repo/semantics/altIdentifier/eissn/0948-6968 | |
| dc.relation | info:eu-repo/semantics/altIdentifier/pissn/0948-695X | |
| dc.rights | info:eu-repo/semantics/openAccess | |
| dc.rights | J.UCS License | |
| dc.source | JUCS - Journal of Universal Computer Science 13(5): 607-618 | |
| dc.subject | formal methods | |
| dc.subject | requirements | |
| dc.subject | SCR toolset | |
| dc.title | Formal Methods for Specifying, Validating, and Verifying Requirements | |
| dc.type | Research Article |