Developing And Verifying Rigorous Specifications With Viewpoints, Use Cases, And Sequence-Based Specification Methods
The effectiveness of rigorous specification methods such as sequence-based specification is often limited by the specification team's ability to understand the system requirements. Viewpoints and use-case methods address this issue by supporting requirements elicitation and informal description of system requirements and interfaces. However the system requirements developed using these methods are often expressed in (possibly structured) natural language. It can be difficult to reconcile multiple viewpoints and to translate the collection of graphical and text descriptions of use cases into rigorous specifications sufficient to support system development. This paper provides some process recommendations for integrating viewpoints, use-case, and sequence-based specification methods to yield a precise, readable tabular description of system behavior, validated for all known stakeholder viewpoints and uses.
Proceedings of the Hawaii International Conference on System Sciences
Number of Pages
Article; Proceedings Paper
Source API URL
Walton, Gwendolyn H., "Developing And Verifying Rigorous Specifications With Viewpoints, Use Cases, And Sequence-Based Specification Methods" (2000). Scopus Export 2000s. 1211.