| Home : Testing : Requirements Engineering |
| Click "Subscribe" if you want to be notified of new or updated links in this category. | Subscribe |
|
|
Requirements Engineering Listings
|
|
Total:
17 | Displaying: 1 - 10 | Pages: 1 2 >> |
|
|
|
This paper presents a formal requirements engineering method capturing specification, synthesis, and verification. Being multi-paradigm, the approach integrates individual established formal methods: temporal logics are used to express abstract specifications in the form of loose global constraints, like ordering requirements, or abstract safety and liveness properties, whereas state-charts are used to support the development of a detailed, hierarchical specification at the concrete level. Author(s) : Michael von der Beeck, Tiziana Margaria and Bernhard Steffen
Updated: 10/08/2005
|
|
|
Requirements engineering processes often result in goals, requirements and assumptions about agent behavior that are too ideal; some of them are likely to be not satisfied from time to time in the running system due to unexpected agent behavior. As a consequence, the software developed from those requirements will not be robust enough and will inevitably result in poor performance or failures, sometimes with critical consequences on the environment. The paper presents formal techniques for reasoning about obstacles to the satisfaction of goals, requirements, and assumptions elaborated in the requirements engineering process. Author(s) : Axel van Lamsweerde and Emmanuel Letier
Updated: 10/08/2005
|
|
|
This paper discusses the author's experiences with a goal-driven analysis of a requirements specification for an electronic commerce application for a large international company. They describe scenario management within the context of this goal-driven requirements analysis effort. The paper concludes by discussing the impact of the lessons learned for requirements engineering in the context of building quality systems during goal and scenario analysis. Author(s) : Annie I. Antón, John H. Dempster and Devon F. Siege
Updated: 10/08/2005
|
|
|
This slide presentation's topics include: engineering, the process, the phases, key points, requirements definition, difficulties, specification, quality function deployment, analysis and specification tasks and software requirements. Author(s) : Author Unknown
Updated: 10/08/2005
|
|
|
This document contains questionnaires for business requirements engineering, process requirements engineering, and product requirements engineering. Author(s) : Stuart Anderson and Massimo Felici
Updated: 10/08/2005
|
|
|
Fundamental to the Survivable Network Analysis (SNA) method, developed at the SEI, is the use of intrusion scenarios to improve the survivability of system designs. This position statement describes some relevant insights gained from applying SNA to several significant real-world systems. These insights help understand what is needed to use intrusion scenarios for security requirements engineering in a spiral-type, intrusion-aware development process. Author(s) : Andrew P. Moore
Updated: 10/08/2005
|
|
|
This report includes the motivation for using software prototyping in general and specifically in the context of requirements engineering. An overview of software prototyping covers life cycle models, approaches, pitfalls, and opportunities. The summary analyses of software requirements and specification techniques and tools for prototyping address twenty techniques across a variety of language models. Author(s) : Joseph E. Urban
Updated: 10/08/2005
|
|
|
Scenarios have been advocated as a means of improving requirements engineering yet few methods or tools exist to support scenario based RE. The paper reports a method and software assistant tool for scenario-based RE that integrates with use case approaches to object oriented development. The method and operation of the tool are illustrated with a financial system case study. Author(s) : Alistair G. Sutcliffe, Neil A.M. Maiden, Shailey Minocha, Darrel Manuel
Updated: 10/08/2005
|
|
|
Requirements engineering (RE) is perceived as an area of growing importance. The purpose of this paper is to identify the main goals to be reached during the requirements engineering process in order to develop a framework for RE. This framework consists of the three dimensions: the specification dimension, the representation dimension, the agreement dimension. Looking at the RE research using this framework, the different approaches can be classified and therefore their interrelationships become much clearer. Additionally the framework offers a first step towards a common understanding of RE. Author(s) : Klaus Pohl
Updated: 10/08/2005
|
|
|
This paper presents a model called the Multi-Criteria Preference Analysis Requirements Negotiation (MPARN). This model will assist stakeholders to evaluate, negotiate and agree upon alternatives using multi-criteria preference analysis techniques. Author(s) : Hoh In, David Olson and Tom Rodgers
Updated: 10/08/2005
|
|
|
Requirements Engineering Listings
|
|
Total:
17 | Displaying: 1 - 10 | Pages: 1 2 >> |
|
|
