Proceedings of IEEE International Conference on Requirements Engineering

The intent of the research is to cast the prototyping method in a formal setting and to demonstrate the feasibility of such a formalization. As such, a formal basis for developing and analyzing prototyping methods and prototyping environments is formulated. Concurrently, an objective definition of prototyping is provided. To grasp the nature of prototyping, as opposed to traditional methods, conce... View full abstract»

Shows how an understanding of a dynamic system from the point of view of the tasks that it supports and an understanding of human error can guide a process of deriving human error tolerance requirements. Our aim is to provide a means whereby, rather than relying on training as a means of improving operator performance, designers may develop interactive systems with human error tolerance in mind. W... View full abstract»

As requirements engineering becomes more widespread, practitioners have learned what works and what does not work, as well as how to communicate among themselves and with other specialists, leading to standards development efforts and an increasing number of standards. This is to be welcomed, because it reflects the maturity of the technology and the realization of the importance of the specialty.... View full abstract»

Provides an understanding of the issues related to the transfer of requirements engineering technology from research (early state of the art) to practice (real people performing real projects). Applications include: industrial education; the university laboratory; and Rome laboratory View full abstract»

Describes the first attempt to use the Z formal specification language for a deliverable Bellcore product. That first attempt involved using Z to write detailed requirements for an enhancement to an existing planning and engineering system. It is recommended that the use of formal methods at Bellcore be expanded, since the preliminary results of this trial show that existing projects can thereby o... View full abstract»

Rapid prototyping techniques have been recognized as an important technology for requirements engineering. By developing and exercising executable prototypes as part of the requirements specification process, it is possible to address the well known problems of ambiguity, incompleteness, and inconsistency in capturing requirements for complex software systems. The Requirements Engineering Environm... View full abstract»

Requirements specification methods and techniques have hitherto mainly been concerned with promoting various representation formalisms for formally describing information systems and discussing their expressive power. However, this approach concentrates only partially on the problem. A major issue is how to bridge the gap between ill-defined problem and application situations, and specification of... View full abstract»

One problem in requirements transformation from informal prose requirements to formal specifications is natural language processing. Although natural language understanding is still not practical for general requirements processing, syntactical information is useful for concept extraction. This paper discusses the correspondence between requirements sentence structure patterns and the events/trans... View full abstract»

Descriptive software specification techniques are based on mathematical formalism and produce precise, rigorous specifications which are in general to be preferred for the design of reactive systems with respect to operational techniques. Recently, dual languages which tend to integrate these aspects have been investigated. An object-oriented specification dual language, named TROL is presented, i... View full abstract»

Demonstrates the utility of formal methods in the development of requirements for standards. We describe the results of an exercise to generate a formal specification of the forthcoming POSIX P1003.21 standard on real-time distributed systems communications. This exercise was conducted by a relative novice in formal methods who did not have significant POSIX domain knowledge. With the assistance o... View full abstract»

Investigates and discusses the underlying nature of the requirements traceability problem. Our work is based on empirical studies, involving over 100 practitioners, and an evaluation of current support. We introduce the distinction between pre-requirements specification (pre-RS) traceability and post-requirements specification (post-RS) traceability to demonstrate why an all-encompassing solution ... View full abstract»

Current processes and support systems for software requirements determination and analysis often neglect the critical needs of important classes of stakeholders, and limit themselves to the concerns of the developers, users and customers. These stakeholders can include maintainers, interfacers, testers, product line managers, and sometimes members of the general public. This paper describes the re... View full abstract»

Formal descriptions, while difficult for most human readers to understand, are convenient for specifying large software systems, where completeness and consistency are important issues. Informal specifications can offer advantages in conciseness and readability, but ambiguities and contradictions are an unavoidable side-effect. Since a specification often acts as a formal contract between the soft... View full abstract»

We describe a model of the requirements determination process based on four concurrent subprocesses which we term scoping, modelling, requirements and options. The main features of each of these subprocesses are described and we propose that the concept of responsibility is a boundary object which links them all. We also argue that analysing an organisation in terms of responsibilities leads to re... View full abstract»

Reusing domain abstractions representing key domain features has been shown to aid requirement specification, however their role in requirements engineering has not been investigated thoroughly. This paper proposes domain abstractions to aid requirements critiquing as well as specification, thus maximising the payoff from retrieving domain abstractions. The requirements critic is part of a prototy... View full abstract»

A new OOA model and methodology are proposed. The proposed OOA model is composed of an object model, which specifies objects and the relationships between them, and a function model, which specifies system functions and their operation logic. The proposed OOA methodology develops the specifications of objects and system functions in parallel by following a functional refinement process. Since syst... View full abstract»

The role of software architecture (which reflects high-level implementation constraints) in requirements engineering is clarified by providing perspectives on relevant issues, including the following: is requirements engineering merely a front end to the software development process that is concerned only with problem definition? Is software architecture an application-specific, high-level design ... View full abstract»

Requirements methods proven practical on large embedded computer systems (ECS) are formalized, synthesized, and improved. A cross-section of methods are evaluated for robust semantics, mathematical foundation, capability for analysis and verification, and support for model construction, comprehension, reuse and modification View full abstract»

The Advanced Multimedia Organizer for Requirements Elicitation (AMORE) embodies a synthesis of technologies adapted specifically for application to requirements elicitation processes and models. Elicitors will use AMORE as a platform for storing requirements in as close to their natural forms as possible to maximize traceability and to promote understanding of original intentions and motivations. ... View full abstract»

Describes a project run at St Thomas' Hospital whose goal was to design an information system that would support the business of a `clinical directorate'. We argue that the analysis for an information system in an area as complex as this needs to be preceded by detailed domain analysis, and that conventional techniques are inadequate. The method used is described this supports the construction of ... View full abstract»

Techniques that are claimed to be applicable to analysing requirements for software intensive systems have been available for many years, but the extent to which they address this problem for large, complex systems is open to question. The techniques tend to focus on aspects of the system that are understood by specialist system designers, rather than on the issues that concern its prospective own... View full abstract»

As systems become more complex, the task of defining requirements must evolve to deal with this complexity. The use of the concepts of “separation of concerns” provides a successful approach for cutting problem complexity down to the level where it can be handled. Such concepts can be added to any notation or “methodology,” but are more effective if the underlying requireme... View full abstract»

In order to help solve the problems of requirements elicitation, this paper motivates and describes a new approach, based on traditional signal processing methods, for finding abstractions in natural language text. The design of AbstFinder, an implementation of the approach, and the evaluation of its effectiveness on an industrial-strength example are described View full abstract»

The particular requirements engineering (RE) process modeling approach presented, advocates the capture of the history RE artifacts. An artifact is viewed as an evolutionary object which evolves as the RE process proceeds. The author proposes a classification of the various kinds of evolution of artifacts and presents a generic model, the evolutionary object model, to structure the RE history kept... View full abstract»