𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Formal Specifications of User Requirements

✍ Scribed by Robert G. Clark; Ana M.D. Moreira

Book ID
110267191
Publisher
Springer US
Year
1999
Tongue
English
Weight
171 KB
Volume
6
Category
Article
ISSN
0928-8910

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Use of executable formal specifications
Use of executable formal specifications in user validation
✍ Mehmet BΓΌlent Γ–zcan πŸ“‚ Article πŸ“… 1998 πŸ› John Wiley and Sons 🌐 English βš– 318 KB πŸ‘ 2 views

Requirements validation through feedback with users is of paramount importance in producing a high quality requirements specification document. Use of an executable formal specification offers an effective combination of formalism and pragmatism. This allows not only the systematic development of a