Proceedings Fourth International Conference on Requirements Engineering. ICRE 2000. (Cat. No.98TB100219)

19-23 June 2000

Filter Results

Displaying Results 1 - 25 of 35
  • Proceedings Fourth International Conference on Requirements Engineering. ICRE 2000. (Cat. No.98TB100219)

    Publication Year: 2000
    Request permission for commercial reuse | PDF file iconPDF (204 KB)
    Freely Available from IEEE
  • Requirements-related risks in critical systems

    Publication Year: 2000, Page(s): 3
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (65 KB)

    Summary form only given, as follows. This talk considers some of the roles that requirements engineering plays in computer system development, with particular emphasis on systems with critical requirements such as security, reliability, safety, and survivability. The RISKS archives are littered with cases attributable to requirements problems that propagate throughout development, from which many ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Process modeling for object oriented analysis using BORM Object Behavioral Analysis

    Publication Year: 2000, Page(s):7 - 16
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (214 KB)

    BORM Object Behavior Analysis (BOBA) is a first stage in a process of object modeling which has proved successful in a wide number of applications. This paper discusses this method and describes a simple application. One advantage of BOBA is the small number of concepts required combined with considerable expressiveness. In this way, BOBA is in the tradition established over the past few years by ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On the challenges of business modeling in large-scale reengineering projects

    Publication Year: 2000, Page(s):17 - 26
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (304 KB)

    Modeling existing and future business processes is crucial to the outcome of large-scale reengineering projects. The use of parameterized or standard components does not render business models redundant, but shifts the modeling focus even more from technical aspects to the real-world business processes. In current reengineering projects, however, there is often a lack of coordination of modeling a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A process framework for requirements analysis and specification

    Publication Year: 2000, Page(s):27 - 35
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (275 KB)

    This paper presents a new approach for linking requirements engineering activities into a process framework that can be used as a reference for driving concrete requirements engineering processes. Special emphasis is placed on constructing problem domain models in order to build a common understanding of the problem context, to situate user requirements with reference to it, and as a technique for... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A framework for multi-notation requirements specification and analysis

    Publication Year: 2000, Page(s):39 - 48
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (238 KB)

    Many organizations desire the convenience of using multiple notations within a requirements specification. Rather than using separate tools for each notation, we advocate combining the parts semantically for tool-based analysis. We describe a framework for integrating notations from four distinct categories, namely "models", "events", "actions, and "expressions". The categories allow us to view th... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A lightweight approach to consistency of scenarios and class models

    Publication Year: 2000, Page(s):49 - 58
    Cited by:  Papers (10)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (171 KB)

    Today, object-oriented requirements specifications typically combine a scenario (or use case) model and a class model for expressing functional requirements. With any such combination, the problem of consistency between these two models arises. We present a lightweight approach to consistency between a scenario model and a class model. We assume semi-formal, loosely coupled models that are complem... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Z specifications meet Mathematica for exploratory prototyping

    Publication Year: 2000
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (62 KB)

    In order for formal methods to achieve widespread acceptance, associated tools must become more accessible to the average user. This work describes ZEM (Z Embedded in Mathematica), a new tool supporting the major phases of the requirements analysis life cycle. ZEM is best described as an animator for Z specifications with a theorem proving component. The overall goal in its design has been twofold... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Patterns and aspects for use cases: reuse techniques for use case descriptions

    Publication Year: 2000
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (136 KB)

    We discuss two types of reusable components for use case descriptions; use case patterns (templates) and aspect patterns. We investigate which parts of use case descriptions can be catalogued as reusable patterns and templates for requirements analysis processes: 1) use case templates for describing use cases; 2) use case patterns for providing the reusable and changeable structures of use cases; ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The requirement set

    Publication Year: 2000
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (54 KB)

    Three tools are proposed to assist requirement engineers in improving the overall quality of the requirement set. The Requirement Allocation Activity (RAA) is the activity that delegates the responsibility of requirement development to the appropriate organization. The multi-dimensional Requirement Cube Model (RCM) is a tool that organizes and aligns all requirements to the corporate structure ens... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Why is it so difficult to introduce requirements engineering research results into mainstream requirements engineering practice?

    Publication Year: 2000, Page(s):67 - 68
    Request permission for commercial reuse | PDF file iconPDF (68 KB)
    Freely Available from IEEE
  • Why is it so easy to introduce requirements engineering technology transfer panels into mainstream practice?

    Publication Year: 2000, Page(s):69 - 70
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (165 KB)

    This position paper has summarized conclusions reached by prior panels and has suggested moving on. One suggested focus is attention to the network of research dependencies that must be in place for us to succeed. A second focus is the need for a close working relationship between business and systems concerns. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Transferring research results in requirements to practice: obstacles and incentives

    Publication Year: 2000, Page(s):71 - 72
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (48 KB)

    Described here are three obstacles to more widespread use of formal techniques in software development and three significant benefits that result from using formal techniques to describe and analyze requirements. Major obstacles to the adoption of formal techniques in practical software development are 1) the lack of standard languages for specifying systemand software requirements, 2) the lack of... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Is there a gap between RE research and RE practice ?

    Publication Year: 2000, Page(s):73 - 74
    Request permission for commercial reuse | PDF file iconPDF (70 KB)
    Freely Available from IEEE
  • Why is it so difficult to introduce requirements engineering research results into mainstream requirements engineering practice?

    Publication Year: 2000, Page(s):75 - 76
    Cited by:  Papers (1)
    Request permission for commercial reuse | PDF file iconPDF (72 KB)
    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Obstacles and incentives in introducing re research results into RE practice

    Publication Year: 2000, Page(s): 77
    Request permission for commercial reuse | PDF file iconPDF (57 KB)
    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Requirements documentation: why a formal basis is essential

    Publication Year: 2000, Page(s):81 - 82
    Cited by:  Papers (1)
    Request permission for commercial reuse | PDF file iconPDF (110 KB)
    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Prioritising scenario evolution

    Publication Year: 2000, Page(s):85 - 94
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (239 KB)

    Use cases are currently used in requirement elicitation and analysis. They describe in natural language the complete functionality of a proposed system. In most projects, the amount of detail put into eliciting and documenting a use case is usually dependent on the time and resources available. Seldom is there enough time to fully expand all the scenarios in the use cases. Thus, only a small numbe... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Scenario evolution: a closer view on relationships

    Publication Year: 2000, Page(s):95 - 105
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (259 KB)

    We show the results of an extensive research on scenario evolution. We investigated twelve case studies spanning over 200 scenarios that contained over 800 episodes. The research aimed at capturing data on scenario evolution in order to confirm previous results and to elicitate the requirements for a scenario evolution support environment. Our findings are organised in a three tier framework, that... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Enhancing requirements and change management through process modelling and measurement

    Publication Year: 2000, Page(s):106 - 115
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (370 KB)

    We present a methodology that aims at improving the effectiveness of requirements management in software development and maintenance. In particular, we address quantitative assessment of the impact of requirements changes, and quantitative estimation of costs of the development activities that must be carried out to accomplish those changes. Our approach is based on enhanced traceability and proce... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Scalable mechanisms for requirements interaction management

    Publication Year: 2000, Page(s):119 - 129
    Cited by:  Papers (18)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (545 KB)

    Capturing requirements, and managing tradeoffs among them, are critical yet complex activities. Well-designed computerized tools can effectively support these activities. A key challenge in construction of these support tools is how to scale them to handle a large volume of information. Particularly crucial are the ways in which large numbers of requirements and their interrelationships are presen... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Essential and incidental complexity in requirements models

    Publication Year: 2000, Page(s):130 - 139
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (371 KB)

    A deep understanding of the complexity of the requirements model and its dynamics is critical in improving requirements engineering process management. Findings from an action research study an insightful explanation of how the complexity of the requirements model evolves over time. We argue that there are two different types of complexity of the model: the essential and incidental complexities. T... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Lightweight validation of natural language requirements: a case study

    Publication Year: 2000, Page(s):140 - 148
    Cited by:  Papers (8)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (209 KB)

    The authors report on their experiences of using lightweight formal methods for the partial validation of natural language (NL) requirements documents. They describe a case study based on part of NASA's specification of the Node Control Software of the International Space Station, and apply to it their method of checking properties on models obtained by shallow parsing of natural language requirem... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • What do you mean I've been practicing without a license? Certification & licensing of requirements engineering professionals

    Publication Year: 2000, Page(s): 151
    Request permission for commercial reuse | PDF file iconPDF (11 KB)
    Freely Available from IEEE
  • What do you mean I'm practicing without a license? certification and licensing of requirements engineering professionals

    Publication Year: 2000, Page(s): 152
    Request permission for commercial reuse | PDF file iconPDF (50 KB)
    Freely Available from IEEE