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
  • Analogical reuse of requirements frameworks

    Publication Year: 1997, Page(s):26 - 37
    Cited by:  Papers (26)  |  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.
  • 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.
  • 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.
  • Workshop Exploring Scenarios In Requirements Engineering

    Publication Year: 1997, Page(s):180 - 182
    Cited by:  Papers (1)
    Request permission for commercial reuse | PDF file iconPDF (260 KB)
    Freely Available from IEEE
  • Author index

    Publication Year: 1997, Page(s): 267
    Request permission for commercial reuse | PDF file iconPDF (62 KB)
    Freely Available from IEEE
  • 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 (936 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.
  • 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 (232 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 discus... 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 (976 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.
  • Auditdraw: generating audits the FAST way

    Publication Year: 1997, Page(s):188 - 197
    Cited by:  Papers (11)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (696 KB)

    Through a research/development collaboration, we have applied the FAST domain engineering process to the audits software in Lucent Technologies' 5ESS telephone switching system. Our collaboration has developed an application-oriented language, toolset, and accompanying process for specifying the requirements and generating the code for the 5ESS audits software. We describe the FAST process, our la... 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 (772 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.
  • On the use of a formal RE language-the generalized railroad crossing problem

    Publication Year: 1997, Page(s):128 - 137
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (844 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.
  • 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 (852 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.
  • Software On Demand: Issues For RE

    Publication Year: 1997, Page(s):222 - 223
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (100 KB)

    First Page of the Article
    View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A logical framework for modeling and reasoning about the evolution of requirements

    Publication Year: 1997, Page(s):247 - 257
    Cited by:  Papers (34)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1044 KB)

    We present a logical framework for modeling and reasoning about the evolution of requirements. We demonstrate how a sufficiently rich meta level logic can formally capture intuitive aspects of managing changes to requirements models, while maintaining completeness and consistency. We consider a theory as the deductive closure of a given set of axioms and conclude that software engineering is conce... 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 (904 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.
  • Enhancing a requirements baseline with scenarios

    Publication Year: 1997, Page(s):44 - 53
    Cited by:  Papers (25)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (820 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.
  • Will I be pretty, will I be rich? Some thoughts on theory vs. practice in systems engineering

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

    The paper puts forward some thoughts on theoretical vs. applied research in the specification and design of reactive, highly concurrent systems. It discusses the calculus of communicating systems and communicating sequential processes 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 (15)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (888 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.