タイトル | Experiences Using Formal Methods for Requirements Modeling |
本文(外部サイト) | http://hdl.handle.net/2060/19970005632 |
著者(英) | Hamilton, David; Kelly, John; Lutz, Robyn; Covington, Rick; Ampo, Yoko; Easterbrook, Steve |
著者所属(英) | West Virginia Univ. |
発行日 | 1996-01-01 1996 |
言語 | eng |
内容記述 | This paper describes three cases studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems. The case studies differ from previously reported applications of formal methods in that formal methods were applied very early in the requirements engineering process, to validate the evolving requirements. The results were fed back into the projects, to improve the informal specifications. For each case study, we describe what methods were applied, how they were applied, how much effort was involved, and what the findings were. In all three cases, the formal modeling provided a cost effective enhancement of the existing verification and validation processes. We conclude that the benefits gained from early modeling of unstable requirements more than outweigh the effort needed to maintain multiple representations. |
NASA分類 | Computer Programming and Software |
レポートNO | 97N13429 NASA-CR-203085 NAS 1.26:203085 NASA-IVV-96-018 WVU-SRL-96-018 WVU-SCS-TR-96-29 |
権利 | No Copyright |
|