𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Use of executable formal specifications in user validation

✍ Scribed by Mehmet Bülent Özcan

Publisher
John Wiley and Sons
Year
1998
Tongue
English
Weight
318 KB
Volume
28
Category
Article
ISSN
0038-0644

No coin nor oath required. For personal study only.

✦ Synopsis

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 concise specification of a system, but it also enables developers to execute the specification to receive feedback at an early stage. Executable formal specification languages have traditionally been used as an effective prototyping tool to facilitate developer validation, that is the developer can, via specification execution either individually or in a peer review format, explore the consequences of the specification. However, their use in requirements validation is often not user orientated, which may in turn reduce the effectiveness of the approach.

This paper reports on work to facilitate the user validation process based on executable formal specifications. A user orientated process with a systematic framework can maximise the effectiveness of the user validation process. Dialogue management based on scenarios enables an effective communication between a system and its users. Our approach also enables the intertwining of equational specifications in a modular algebraic specification language and conventional implementations in a modular programming language. This introduces a judicious choice of rigour, techniques and tools to support the user dialogue with a prototype system to effectively and explicitly address the user validation process.

📜 SIMILAR VOLUMES

The (In)Validity of sensitivity and spec
The (In)Validity of sensitivity and specificity
✍ Irene Guggenmoos-Holzmann; Hans C. van Houwelingen 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 112 KB 👁 2 views

This paper is a legacy of the "rst author, and after her untimely death reconstructed by the second author as a tribute to Irene Guggenmoos's contribution to biostatistics. It discusses two di!erent views on diagnostic testing: the classical view in which sensitivity and speci"city of a diagnostic t

Formal specification of beliefs in multi
Formal specification of beliefs in multi-agent systems
✍ Massimo Benerecetti; Enrico Giunchiglia; Luciano Serafini; Adolfo Villafiorita 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 254 KB 👁 1 views

The goal of this paper is to present a logical framework for the formalization of agents' mutual beliefs in a Multi Agent system. The approach is based on a combination of Ž . extensional specifications of beliefs and context-based finite presentation of the specifications by employing a particular

A study of the use of variables in infor
A study of the use of variables in information retrieval user studies
✍ Yuan, Weijing ;Meadow, Charles T. 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 295 KB 👁 2 views

This article reports on an exploratory study of the measurement of commonality in the use of variables or measures by authors and groups of authors who have reported on studies of information retrieval system users. There is some similarity to co-citation analysis in that, when two individual papers

Validity of retrospective time-use repor
Validity of retrospective time-use reports in old age
✍ Petra L. Klumb; Margret M. Baltes 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 124 KB 👁 1 views

In a sample of N 83 participants aged between 72 and 97, we assessed the accuracy of time budgets originating from the Yesterday Interview (YI; by means of comparison with in-situ assessments based on the Experience-Sampling Method (ESM; e.g. . We examined convergent and discriminant correlation pa

Substrate specificity of lipases in alko
Substrate specificity of lipases in alkoxycarbonylation reaction: QSAR model development and experimental validation
✍ Sangeetha M. Chandrasekaran; Sharad Bhartiya; Pramod P. Wangikar 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 244 KB 👁 1 views

## Abstract Although lipases are known to catalyze alkoxycarbonylation reactions in organic solvents, the existing knowledge base on their substrate specificity in alkoxycarbonylation reaction is sparse. Moreover, models to predict substrate specificity have not been reported. Here, we report the e