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.

Publication Date


Publication Title

Proceedings of the Hawaii International Conference on System Sciences

Number of Pages


Document Type

Article; Proceedings Paper

Personal Identifier


Socpus ID

0033901586 (Scopus)

Source API URL


This document is currently not available here.