Proceedings IEEE International Symposium on Requirements Engineering (Cat. No.PR00188)

11-11 June 1999

Filter Results

Displaying Results 1 - 21 of 21
  • Proceedings IEEE International Symposium on Requirements Engineering (Cat. No.PR00188)

    Publication Year: 1999
    Request permission for commercial reuse | PDF file iconPDF (60 KB)
    Freely Available from IEEE
  • Author index

    Publication Year: 1999, Page(s): 195
    Request permission for commercial reuse | PDF file iconPDF (135 KB)
    Freely Available from IEEE
  • Aspect-oriented requirements engineering for component-based software systems

    Publication Year: 1999, Page(s):84 - 91
    Cited by:  Papers (37)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (308 KB)

    Developing requirements for software components, and ensuring these requirements are met by component designs, is very challenging, as very often application domain and stakeholders are not fully known during component development. The author introduces a new methodology, aspect-oriented component engineering, that addresses some difficult issues of component requirements engineering by analysing ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Experience with goal-scenario coupling in requirements engineering

    Publication Year: 1999, Page(s):74 - 81
    Cited by:  Papers (16)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (132 KB)

    In the context of requirements engineering (RE), both goal-driven and scenario-based approaches have proven useful for eliciting, justifying and validating system requirements. In order to overcome some of the deficiencies and limitations of these approaches when used in isolation, proposals have been made to couple goals and scenarios together. The CREWS'-L'Ecritoire approach advocates bi-directi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Integrating non-functional requirements into data modeling

    Publication Year: 1999, Page(s):162 - 171
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (96 KB)

    Complex information systems need conceptual models to deal with aspects beyond the usual entity and activity framework. Recent research has pointed out that conceptual models need to deal with goals, in order to model complex situations that happen in the real world. Our work investigated a new strategy that allows the integration of non-functional requirements (NFR) into data models. Integration ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Social analysis in the requirements engineering process: from ethnography to method

    Publication Year: 1999, Page(s):6 - 13
    Cited by:  Papers (20)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (208 KB)

    Over a number of years, we have been involved in investigations into using workplace observation to inform requirements for complex systems. This paper discusses how our work has evolved from ethnography with prototyping through presentation of ethnographic fieldwork, to developing a method for social analysis that has been derived from our experience of applying ethnographic techniques. We discus... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Guiding use case authoring: results of an empirical study

    Publication Year: 1999, Page(s):36 - 43
    Cited by:  Papers (19)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (92 KB)

    This paper presents results from the first of two empirical studies which examine the effectiveness of guidelines for use case authoring. The ESPRIT 21.903 CREWS long-term research project has developed style and content guidelines for authoring use cases for requirements acquisition and validation. The effectiveness of these guidelines has been evaluated under different conditions. Results indica... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Bridging the gap between past and future in RE: a scenario-based approach

    Publication Year: 1999, Page(s):66 - 73
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (248 KB)

    Requirements engineering (RE) investigates the impact of a future-oriented change vision, but the move towards this vision must consider a context heavily shaped by the past. As RE becomes a continuous process throughout the system lifecycle, it must achieve an effective combination of envisionment and traceability. We describe a scenario-based solution to this problem which is based on an integra... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Generating user interface prototypes from scenarios

    Publication Year: 1999, Page(s):150 - 158
    Cited by:  Papers (8)  |  Patents (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (112 KB)

    Requirements capture by scenarios and user interface prototyping have become popular techniques. Yet, the transition from scenarios to formal specifications is still ill-defined, and prototyping remains weak in linking the application domain with the user interface. Most importantly, the prototyping and the scenario approaches lack integration in the overall requirements engineering process. We su... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Events in linear-time properties

    Publication Year: 1999, Page(s):123 - 132
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (244 KB)

    For over a decade, researchers in formal methods tried to create formalisms that permit natural specification of systems and allow mathematical reasoning about their correctness. The availability of fully-automated reasoning tools enables more non-specialists to use formal methods effectively-their responsibility reduces to just specifying the model and expressing the desired properties. Thus, it ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • ViewPoint-oriented software development by distributed graph transformation: towards a basis for living with inconsistencies

    Publication Year: 1999, Page(s):92 - 99
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (164 KB)

    Software development is a staged and evolutionary process. Multiple stakeholders with different needs and views collaborate to build a system from interoperating and heterogeneous development artifacts. In such a setting, one has to cope with requirements changing dynamically during the entire lifetime of the system. Within this changing world living with inconsistencies is natural. Tool support i... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Introducing measurable quality requirements: a case study

    Publication Year: 1999, Page(s):172 - 179
    Cited by:  Papers (10)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (204 KB)

    In this paper a case study on improving requirements engineering is presented. Improving requirements engineering was initiated in a department at Ericsson Eurolab after an analysis had shown that many of the problems in software development had their root cause in insufficient understanding of the customer and in unclear requirements. A method-in respect to Tom Gilb who supported us in this field... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Requirements engineering, expectations management, and the Two Cultures

    Publication Year: 1999, Page(s):14 - 22
    Cited by:  Papers (11)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (88 KB)

    One of the difficulties in requirements negotiation is to determine a feasible and mutually satisfactory set of requirements for the developer and the user, a problem related to C.P. Snow's (1959) “Two Cultures” problem. During the last year of our experience with an annual series of digital library projects, we have been experimenting with expectations management and domain specific l... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Use case maps for the capture and validation of distributed systems requirements

    Publication Year: 1999, Page(s):44 - 53
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (244 KB)

    Functional scenarios describing system views, uses, or services are a common way of capturing requirements of distributed systems. However, integrating individual scenarios in different ways may result in different kinds of unexpected or undesirable interactions. We present an innovative approach based on the combined use of two notations. The first one is a recent visual notation for causal scena... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Guiding parallel requirements acquisition and COTS software selection

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

    This paper proposes a new process to address the lack of guidance for acquiring requirements to enable evaluation of commercial off-the-shelf (COTS) software. The process is part goal-driven and part context-driven, in that it exploits models of the candidate COTS software as well as process goals to guide a requirements engineering team. The paper demonstrates the approach with selection of a com... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An empirical investigation of multiple viewpoint reasoning in requirements engineering

    Publication Year: 1999, Page(s):100 - 109
    Cited by:  Papers (14)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (148 KB)

    Multiple viewpoints are often used in requirements engineering to facilitate traceability to stakeholders, to structure the requirements process, and to provide richer modelling by incorporating multiple conflicting descriptions. In the latter case, the need to reason with inconsistent models introduces considerable extra complexity. We describe an empirical study of the utility of multiple world ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Prioritisation of system changes using cost-benefit and risk assessments

    Publication Year: 1999, Page(s):180 - 187
    Cited by:  Papers (8)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (212 KB)

    This paper proposes an approach to the prioritisation of system changes that takes account of the relative costs and benefits of those changes and the risks that they reduce or introduce. This is part of the SERUM methodology (Software Engineering Risk: Understanding and Management), which is being developed to help identify effective ways of using risk analysis and control in software production.... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Human errors and system requirements

    Publication Year: 1999, Page(s):23 - 30
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (84 KB)

    This paper reports a method of assessing the implications for human error on system requirements, a topic not usually considered during requirements engineering (RE). In our previous work, we proposed a taxonomy of influencing factors that might contribute to human error. This paper takes the taxonomy and elaborates it to suggest generic requirements to deal with problems in different layers of th... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • ScenIC: a strategy for inquiry-driven requirements determination

    Publication Year: 1999, Page(s):58 - 65
    Cited by:  Papers (16)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (268 KB)

    ScenIC is a requirements engineering method for evolving systems. Derived from the Inquiry Cycle model of requirements refinement, it uses goal refinement and scenario analysis as its primary methodological strategies. ScenIC rests on an analogy with human memory: semantic memory consists of generalizations about system properties; episodic memory consists of specific episodes and scenarios; and w... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An integrated scenario management strategy

    Publication Year: 1999, Page(s):142 - 149
    Cited by:  Papers (15)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (100 KB)

    Scenarios have proven effective for eliciting, describing and validating software requirements; however, scenario management continues to be a significant challenge to practitioners. One reason for this difficulty is that the number of possible relations among scenarios grows exponentially with the number of scenarios. If these relations are formalized, they can be more easily identified and suppo... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Formal modeling of space shuttle software change requests using SCR

    Publication Year: 1999, Page(s):114 - 122
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (116 KB)

    This paper describes a feasibility study into the use of a formal requirements modeling method (SCR) to assist with independent verification and validation of change requests for space shuttle flight software. The goal of the study was to determine whether a formal modeling technique could automate some of the manual analysis tasks performed on change requests, including consistency checking. To a... View full abstract»

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