Software requirements validation via task analysis
نویسندگان
چکیده
منابع مشابه
Knowledge-Based Techniques for Software Requirements Validation
This document explains a knowledge based model intended to help in Software Requirements Validation. We rst construct automatically a speci cation model from a set of correct speci cations using machine learning techniques; and then this model is used to validate new speci cations. The machine learning techniques that are used, combine ideas from terminological reasoning, analogical reasoning a...
متن کاملSoftware Validation via Model Animation
This paper explores a new approach to validating software implementations that have been produced from formally-verified algorithms. Although visual inspection gives some confidence that the implementations faithfully reflect the formal models, it does not provide complete assurance that the software is correct. The proposed approach, which is based on animation of formal specifications, compar...
متن کاملRequirements validation via automated natural language parsing
object Oriented Analysis (OOA) has become a popular method for analyzing system requirements. Unformnately however, none of the current versions of OOA have included a validation technique tailorad to the object oriented approach. Most, instead, merely recommend document reviews without specifying what kinds of pro&xns to look for. This paper explores the question by applying a natural language...
متن کاملSoftware Systems Engineering-From Domain Analysis Via Requirements Capture to Software Architectures
Based on an Air Trufic example we illustrate issues of Domain Analysis (of: air space, time tables, and traffic), and of Requirements Capture (of: scheduling systems, and of air trafic control). We relate also to the issue of Software Architecture. 1 An overview of an example method We explore a method for developing software for an air traffic system in which a Software Architecture is develop...
متن کاملDialogue Validation from Task Analysis
Up today, formal methods have mainly been used to allow designers to verify that software conforms to its specification. In this article, we propose a validation method and a tool to analyse whether the design actually fulfils the original requirements for the system. The principle of our validation method is to generate the complete set of possible user interaction sequences from the task anal...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Systems and Software
سال: 2002
ISSN: 0164-1212
DOI: 10.1016/s0164-1212(01)00109-1