Requirements Capture and Evaluation in Nimbus: The Light-Control Case Study

Простая страница элемента
dc.creatorThompson,Jeffrey
dc.creatorWhalen,Michael
dc.creatorHeimdahl,Mats P. E.
dc.date2000
dc.date.accessioned2024-02-06T12:50:44Z
dc.date.available2024-02-06T12:50:44Z
dc.descriptionEvaluations of methods and tools applied to a reference problem are useful when comparing various techniques. In this paper, we present a solution to the challenge of capturing the requirements for the Light Control System case study, which was proposed before the Dagstuhl Seminar on Requirements Capture, Documentation, and Validation in June of 1999. The paper focuses primarily on how the requirements were specified: what techniques were used, and what the results were. The language used to capture the requirements is RSML-e; a state-based specification language with a fully specified formal denotational semantics. In addition, the Nimbus environment - a toolset supporting RSML-e - is used to visualize and execute the high-level requirements.
dc.formattext/html
dc.identifierhttps://doi.org/10.3217/jucs-006-07-0731
dc.identifierhttps://lib.jucs.org/article/27699/
dc.identifier.urihttps://openrepository.mephi.ru/handle/123456789/7790
dc.languageen
dc.publisherJournal of Universal Computer Science
dc.relationinfo:eu-repo/semantics/altIdentifier/eissn/0948-6968
dc.relationinfo:eu-repo/semantics/altIdentifier/pissn/0948-695X
dc.rightsinfo:eu-repo/semantics/openAccess
dc.rightsJ.UCS License
dc.sourceJUCS - Journal of Universal Computer Science 6(7): 731-757
dc.subjectlight control system
dc.subjectspecification-based prototyping
dc.subjectformal requirements modeling
dc.subjectstate-based specification languages
dc.subjectrequirements execution and simulation
dc.titleRequirements Capture and Evaluation in Nimbus: The Light-Control Case Study
dc.typeResearch Article
Файлы
Коллекции