Application of the FOREST Approach to the Light Control Case Study
| dc.creator | Kronenburg,Martin | |
| dc.creator | Peper,Christian | |
| dc.date | 2000 | |
| dc.date.accessioned | 2024-02-06T12:50:44Z | |
| dc.date.available | 2024-02-06T12:50:44Z | |
| dc.description | Forest is a requirements engineering approach designed to support the creation of precise and intelligible problem specifications of reactive systems. It integrates a product model, a process model, and an editing tool. In this paper, we present the results of applying the Forest approach to the Light Control Case Study. This includes the presentation of excerpts of the resulting problem specification, as well as the discussion of the strengths and shortcomings of the Forest approach. | |
| dc.format | text/html | |
| dc.identifier | https://doi.org/10.3217/jucs-006-07-0679 | |
| dc.identifier | https://lib.jucs.org/article/27695/ | |
| dc.identifier.uri | https://openrepository.mephi.ru/handle/123456789/7788 | |
| 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): 679-703 | |
| dc.subject | formal requirements specification | |
| dc.subject | problem specification | |
| dc.subject | real-time temporal logic | |
| dc.subject | object-orientation | |
| dc.title | Application of the FOREST Approach to the Light Control Case Study | |
| dc.type | Research Article |