Applying the SCR Requirements Method to the Light Control Case Study
| dc.creator | Heitmeyer,Constance | |
| dc.creator | Bharadwaj,Ramesh | |
| dc.date | 2000 | |
| dc.date.accessioned | 2024-02-06T12:50:44Z | |
| dc.date.available | 2024-02-06T12:50:44Z | |
| dc.description | To date, the SCR (Software Cost Reduction) requirements method has been used in industrial environments to specify the requirements of many practical systems, including control systems for nuclear power plants and avionics systems. This paper describes the use of the SCR method to specify the requirements of the Light Control System (LCS), the subject of a case study at the Dagstuhl Seminar on Requirements Capture, Documentation, and Validation in June 1999. It introduces a systematic process for constructing the LCS requirements specification, presents the specification of the LCS in the SCR tabular notation, discusses the tools that we applied to the LCS specification, and concludes with a discussion of a number of issues that arose in developing the specification. | |
| dc.format | text/html | |
| dc.identifier | https://doi.org/10.3217/jucs-006-07-0650 | |
| dc.identifier | https://lib.jucs.org/article/27693/ | |
| dc.identifier.uri | https://openrepository.mephi.ru/handle/123456789/7787 | |
| 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 6(7): 650-678 | |
| dc.subject | software | |
| dc.subject | software engineering | |
| dc.subject | requirements | |
| dc.subject | specifications | |
| dc.subject | tools and techniques | |
| dc.subject | formal verification | |
| dc.title | Applying the SCR Requirements Method to the Light Control Case Study | |
| dc.type | Research Article |