Title

Developing And Verifying Rigorous Specifications With Viewpoints, Use Cases, And Sequence-Based Specification Methods

Abstract

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

1-1-2000

Publication Title

Proceedings of the Hawaii International Conference on System Sciences

Number of Pages

87-

Document Type

Article; Proceedings Paper

Personal Identifier

scopus

Socpus ID

0033901586 (Scopus)

Source API URL

https://api.elsevier.com/content/abstract/scopus_id/0033901586

This document is currently not available here.

Share

COinS