Requirements Engineering, 1997., Proceedings of the Third IEEE International Symposium on

6-10 Jan. 1997

Filter Results

Displaying Results 1 - 25 of 35
  • Proceedings of The Third IEEE International Symposium on Requirements Engineering [front matter]

    Publication Year: 1997, Page(s):i - xv
    Request permission for commercial reuse | PDF file iconPDF (2269 KB)
    Freely Available from IEEE
  • What's the use of requirements engineering?

    Publication Year: 1997, Page(s):2 - 3
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (259 KB)

    There are many ideas about how to do requirements engineering, and often they conflict with each other. Such conflicts can best be resolved by asking of anything one proposes to do, "What is the use of doing that?" The question demands a thorough understanding of the principles behind different methods, and the answers may surprise those who equate pragmatism with informality. I discuss how applyi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Ten steps towards systematic requirements reuse

    Publication Year: 1997, Page(s):6 - 15
    Cited by:  Papers (17)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (988 KB)

    Reusability is widely suggested to be a key to improving software development productivity and quality. It has been further argued that reuse at the requirements level can significantly increase reuse at the later stages of development. However, there is little evidence in the literature to suggest that requirements reuse is widely practised. This paper describes ten practical steps towards system... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Reusing operational requirements: a process-oriented approach

    Publication Year: 1997, Page(s):16 - 25
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (851 KB)

    Advocates a process-oriented approach to reusing operational requirements. In process-oriented approaches, a development (and reuse is just a particular case of development) keeps track of the intermediate states and the steps leading to the final artifacts. This paper shows that it is worth recording the reuse process for developing the operational requirements and not just the final product arti... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Analogical reuse of requirements frameworks

    Publication Year: 1997, Page(s):26 - 37
    Cited by:  Papers (28)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1406 KB)

    Reusing similar requirements fragments is one of the most promising ways to reduce the elaboration time and increase the requirements' quality. This paper investigates the application of analogical reasoning techniques to complete partial requirement specifications. A case base is assumed to be available; it contains requirements frameworks involving goals, constraints, objects, actions and agents... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Groupware-assisted requirements assessment

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

    Summary form only given, as follows. This report presents experiences in deploying groupware applications as a platform for facilitating the collection and analysis of requirements in large, geographically distributed organizations. Specifically, evidence from ongoing product development projects indicates that groupware-based requirement repositories contribute significantly to the efficiency of ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Lessons learned from applying the spiral model in the software requirements analysis phase

    Publication Year: 1997
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (83 KB)

    Summary form only given, as follows. Boehm's spiral model is currently gaining popularity over the traditional waterfall software development model. The spiral model is a risk-driven approach. The process steps are determined by the need to resolve the high-risk situations-ones that have greatest chance to ruin the project. This approach contrasts with traditional document-driven approach where th... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Industrial workshop on requirements for R&D in requirements engineering

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

    Summary form only given. Describes one of the activities of the dependable software applications (DSA) sector at the Joint Research Centre in Italy. The activity is part of their support work to DGIII of the European Commission (EC). It reflects an aspect of DSA's continuous support process and mirrors our beliefs in the process of enhancing European industrial competitiveness by defining research... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • SOFL: a formal engineering methodology for industrial applications

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

    Summary form only given, as follows. A major challenge for formal methods is to effectively address the needs of industry and achieve wide acceptance. This challenge remains unmet, as formal methods are difficult to use and their application consumes prohibitive amounts of resource. Much research on the integration of available formal methods (e.g. Z, VDM, B-method) and either structured methodolo... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Enhancing a requirements baseline with scenarios

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

    Scenarios are well recognized as an important strategy towards understanding the interface between the environment and the system, as well as a means to elicit and specify software behavior. We have a broader understanding of scenarios: for us, a scenario is an evolving description of situations in the environment. Our proposal is framed by Leite's (1995) work on a client-oriented requirements bas... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An approach based on the concept of use case to produce dynamic object-oriented specifications

    Publication Year: 1997, Page(s):54 - 64
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1158 KB)

    Presents an approach based on the concept of "use case" to support the requirements engineering process. The proposed approach assists the analyst in producing dynamic object-oriented requirements specifications. The approach is "domain expert-oriented" in the sense that the domain expert can actively participate during the requirements acquisition activity by identifying and by describing the use... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A technique combination approach to requirements engineering

    Publication Year: 1997, Page(s):65 - 74
    Cited by:  Papers (22)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1077 KB)

    An approach to requirements engineering based on a combination of early prototyping, scenario-based analysis and design rationale is described. Requirements are elicited by presenting users with a prototype-simulation of a prospective design, combined with rationale based techniques for structuring probe questions. Design of analysis sessions and a walkthrough method for requirements elicitation a... View full abstract»

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

    Publication Year: 1997, Page(s):78 - 86
    Cited by:  Papers (16)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (927 KB)

    In previous work we advocated continued development of specifications in the presence of inconsistency. To support this we presented quasi-classical (QC) logic for reasoning with inconsistent specifications. The logic allows the derivation of non-trivial classical inferences from inconsistent information. In this paper we present a development called labelled QC logic, and some associated analysis... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A systematic tradeoff analysis for conflicting imprecise requirements

    Publication Year: 1997, Page(s):87 - 96
    Cited by:  Papers (18)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1012 KB)

    The need to deal with conflicting system requirements has become increasingly important over the past several years. Often, these requirements are elastic in that they can be satisfied to a degree. The overall goal of this research is to develop a formal framework that facilitates the identification and the tradeoff analysis of conflicting requirements by explicitly capturing their elasticity. Bas... View full abstract»

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

    Publication Year: 1997, Page(s):102 - 104
    Cited by:  Papers (9)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (295 KB)

    The field of requirements engineering emerges out of tradition of research and engineering practice that stresses the importance of generalizations and abstractions. Although abstraction is essential to design it also has its dark side. By abstracting away from the context of an investigation, the designer too easily lapses into modeling only those things that are easy to model. The subtleties, sp... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Requirements for telecommunications services: an attack on complexity

    Publication Year: 1997, Page(s):106 - 117
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (942 KB)

    In engineering the requirements for a telecommunications system, the greatest obstacle to be overcome is the sheer complexity of the required behavior. We present several ways of managing and minimizing this complexity, all of proven effectiveness. Most of the specification techniques result from specific application of general requirements principles to the telecommunications domain. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Naturalistic inquiry and requirements engineering: reconciling their theoretical foundations

    Publication Year: 1997, Page(s):118 - 127
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1042 KB)

    A growing awareness of the need to take into account social and contextual factors requirements engineering (RE) has led to expanded use of naturalistic inquiry (NI) methods, such as ethnography, for capturing relevant data. There is little debate about the potential value of NI to the development of systems; however, most previous discussions have emphasized practical techniques and benefits. Les... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On the use of a formal RE language-the generalized railroad crossing problem

    Publication Year: 1997, Page(s):128 - 137
    Cited by:  Papers (8)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (937 KB)

    In this paper we report on the use of the AlbertII specification language through the handling of the Generalized Railroad Crossing case study. This formal language is based on an ontology of concepts used for capturing requirements inherent to real-time, distributed systems. Its essential feature comes from its naturalness, i.e. the possibility of a direct mapping of customers' informal needs ont... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • GRAIL/KAOS: an environment for goal-driven requirements analysis, integration and layout

    Publication Year: 1997
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (74 KB)

    The KAOS methodology provides a language, a method, and meta-level knowledge for goal-driven requirements elaboration. The language provides a rich ontology for capturing requirements in terms of goals, constraints, objects, actions, agents etc. Links between requirements are represented its well to capture refinements, conflicts, operationalizations, responsibility assignments, etc. The KAOS spec... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Requirement metrics-value added

    Publication Year: 1997
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (121 KB)

    Summary form only given. Actions in the requirements phase can directly impact the success or failure of a project. It is critical that project management utilize all available tools to identify potential problems and risks as early in the development as possible, especially in the requirements phase. The Software Assurance Technology Center (GSFC) and the Quality Assurance Division at NASA Goddar... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Eliciting requirements: beyond the blank sheet of paper

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

    Summary form only given. This report shows how we have successfully avoided the "blank sheet of paper" problem in eliciting business requirements. We did this in a context in which we had explicitly separated business specification ("analysis") from solution specification ("design"); in producing a precise, compact, understandable, yet complete business specification for a non-trivial business pro... View full abstract»

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

    Publication Year: 1997, Page(s):144 - 146
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (337 KB)

    The author considers how many issues in requirements engineering can be explored and analyzed using automated formal methods. At present, the tools supporting these analyses are not ideal: considerable knowledge and experience are required to select the most appropriate tool for a given task, to formulate the problem in a suitable manner, and to coax the tool into divulging a useful result. Applic... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Integrated safety analysis of requirements specifications

    Publication Year: 1997, Page(s):148 - 159
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1705 KB)

    This paper describes an integrated approach to safety analysis of software requirements and demonstrates the feasibility and utility of applying the individual techniques and the integrated approach on the requirements specification of a guidance system for a high-speed civil transport being developed at NASA Ames. Each analysis found different types of errors in the specification; thus together t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Formal methods for V&V of partial specifications: an experience report

    Publication Year: 1997, Page(s):160 - 168
    Cited by:  Papers (9)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1074 KB)

    This paper describes our work exploring the suitability of formal specification methods for independent verification and validation (IV&V) of software specifications for large, safety critical systems. An IV&V contractor often has to perform rapid analysis on incomplete specifications, with no control over how those specifications are represented. Lightweight formal methods show significan... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Extended requirements traceability: results of an industrial case study

    Publication Year: 1997, Page(s):169 - 178
    Cited by:  Papers (27)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1019 KB)

    Contribution structures offer a way to model the network of people who have participated in the requirements engineering process. They further provide the opportunity to extend conventional forms of artifact-based requirements traceability with the traceability of contributing personnel. We describe a case study that investigated the modelling and use of contribution structures in an industrial pr... View full abstract»

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