An Automated Approach for Verification of Software Requirements

In this paper, we present an automated approach for the verification of software requirements. This approach is based on the representation of software requirements in XML and the usage of the XSLT language to automatically verify some desired quality properties. These ideas have been implemented in REM, an experimental requirements management tool that is also described in this paper.Comisión Interministerial de Ciencia y Tecnología (CICYT) GEOZOCO TIC 2000–1106–C02–0

Using Constraint Programming for the Automatic Detection of Conflicts in Quality Requirements

Requirements negotiation is quite an interesting, ongoing research area. Current requirements engineering models usually propose a negotiation process with similar methods and goals. Unfortunately, only a few have partial automatic support. in this paper, we revisit one of the most mature models, Boehm’s Win–Win model. Win–Win is a qualitative, process–oriented model so that it is specially suited to be used at the early stages of requirements engineering, when knowledge about requirements is still vague, but not for quantitative, product–oriented contexts where a more precise, exact knowledge about the requirements is needed. in this paper, we present a proposal to extend and refine Win–Win in order it can be used in product–oriented contexts. The main benefit of our approach is that the same conceptual model for requirements negotiation can be used during all software development process, instead of using different models in different phasesComisión Interministerial de Ciencia y Tecnología TIC 2000–1106–C02–0

Supporting Requirements Verification Using XSLT

In this paper we present a light-weight approach for the automatic verification of requirements. This approach is not based on natural language parsing techniques but on the representation of requirements in XML. In our approach, XSLT stylesheets are used not only to automatically generate requirements documents, but also to provide verification–oriented heuristics as well as to measure the quality of requirements using some verification–oriented metrics. These ideas have been implemented in REM, an experimentalXML– based requirements management tool also described in this paper.Comisión Interministerial de Ciencia y Tecnología TIC 2000–1106–C02–0

Identificación de Patrones de Reutilización de Requisitos de Sistemas De Información

Comisión Interministerial de Ciencia y Tecnología TIC 97–0593–C05–0

Automated Support for Quality Requirements in Web–Service–Based Systems

The automatic checking of quality requirements will play a fundamental role in the future market of web services. The reason is that it will allow to build economically–optimal systems whose quality level can be guaranteed. In this paper, we identify some of the main problems with which this kind of futures systems are going to be faced, and also propose a realistic proposal to solve them. The key point is to view quality requirements from a twofold perspective: a natural language sentence and a constraint on a quality attribute. Thanks to this principle, some of the classical disadvantages of formal methods may be overcome.CICYT TIC2000–1106–C02–0

An XML-Based Approach for the Automatic Verification of Software Requirements Specifications

In this paper, we present an approach for the automatic verification of software requirements specifications. This approach is based on the representation of software requirements in XML and the usage of the XSLT language not only to automatically generate requirements documents, but also to verify some desired quality properties and to automatically compute some metrics. These ideas have been implemented in REM, an experimental requirements management tool that is also described in this paper.Comisión Interministerial de Ciencia y Tecnología TIC 2000–1106–C02–0

Verifying Software Requirements with XSLT

In this article, we present an approach for the automatic verification of software requirements documents. This approach is based on the representation of software requirements in XML and the usage of the XSLT language not only to automatically generate requirements documents, but also to verify some desired quality properties and to compute some metrics. These ideas have been implemented in REM, an experimental requirements management tool that is also described in this paper.Comisión Interministerial de Ciencia y Tecnología TIC 2000–1106–C02–0

Applying System Families Concepts to Requirements Engineering Process Definition

In this paper, some experiences gained during the definition of a unified, common software development process for several companies in Telvent are presented. Last year, Telvent made the decision of developing a unique software development process which was flexible enough to be adapted to specific practices and needs of the different companies. In this paper we focus mainly on the experiences gained during the definition of the requirements engineering process, al-though many of them are also applicable to other software development processes. One of the most interesting experiences from our point of view is that, al-though the definition process was started using a top-down approach and well-know techniques like data flow diagrams, we eventually end up applying requirements engineering techniques like glossaries, scenarios or conflict resolu-tion for the definition of the requirements engineering process itself. On the other hand, the need of having adaptable processes for the different companies in Tel-vent made us adopt a process family approach, i.e. adopting an approach similar to the system families development, thus defining a core process that could be adapted to specific needs of specific companies in a predefined, controlled man-ner. The experiences gained in the definition of the process family were applied to the definition of requirements engineering process for product line development, which is briefly presented in this paper.Comisión Interministerial de Ciencia y Tecnología TIC 2000–1106–C02–01Ministerio de Energía, Turismo y Agenda Digital ITEA ip00004Ministerio de Economía y Competitividad Eureka Σ! 202

A Controlled Experiment for Evaluating a Metric–Based Reading Technique for Requirements Inspection

Natural language requirements documents are often verified by means of some reading technique. Some recommendations for defining a good reading technique point out that a concrete technique must not only be suitable for specific classes of defects, but also for a concrete notation in which requirements are written. Following this suggestion, we have proposed a metric–based reading (MBR) technique used for requirements inspections, whose main goal is to identify specific types of defects in use cases. The systematic approach of MBR is basically based on a set of rules as ”if the metric value is too low (or high) the presence of defects of type must be checked”. We hypothesised that if the reviewers know these rules, the inspection process is more effective and efficient, which means that the defects detection rate is higher and the number of defects identified per unit of time increases. But this hypotheses lacks validity if it is not empirically validated. For that reason the main goal of this paper is to describe a controlled experiment we carried out to ascertain if the usage of MBR really helps in the detection of defects in comparison with a simple Checklist technique. The experiment result revealed that MBR reviewers were more effective at detecting defects than Checklist reviewers, but they were not more efficient, because MBR reviewers took longer than Checklist reviewers on average.Ministerio de Ciencia y Tecnología TIC 2003-02737-C02-01Ministerio de Ciencia y Tecnología TIC2003-07804-C05-0