Scheduled System Maintenance
On Friday, October 20, IEEE Xplore will be unavailable from 9:00 PM-midnight ET. We apologize for the inconvenience.
Notice: There is currently an issue with the citation download feature. Learn more.

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 (25)  |  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 (15)
    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
  • Generating code from hierarchical state-based requirements

    Publication Year: 1997, Page(s):210 - 219
    Cited by:  Papers (4)  |  Patents (13)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (856 KB)

    Computer software is playing an increasingly important role in safety-critical embedded computer systems, where incorrect operation of the software could lead to loss of life, substantial material or environmental damage, or large monetary losses. Although software is a powerful and flexible tool for industry, these very advantages have contributed to a corresponding increase in system complexity.... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The integrated specification and analysis of functional, temporal, and resource requirements

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

    The Graphical Communicating Shared Resources, GCSR, is a specification language with a precise, operational semantics for the specification and analysis of real-time systems. GCSR allows a designer to integrate the functional and temporal requirements of a real-time system along with its run-time resource requirements. The integration is orthogonal in the sense that it produces system models that ... 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.
  • Ten steps towards systematic requirements reuse

    Publication Year: 1997, Page(s):6 - 15
    Cited by:  Papers (12)
    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.
  • A logical framework for modeling and reasoning about the evolution of requirements

    Publication Year: 1997, Page(s):247 - 257
    Cited by:  Papers (31)
    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.
  • 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.
  • 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.
  • 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.
  • Integrated safety analysis of requirements specifications

    Publication Year: 1997, Page(s):148 - 159
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1592 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.
  • A decision making methodology in support of the business rules lifecycle

    Publication Year: 1997, Page(s):236 - 246
    Cited by:  Papers (12)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1376 KB)

    The business rules that underlie an enterprise emerge as a new category of system requirements that represent decisions about how to run the business, and which are characterized by their business-orientation and their propensity for change. We introduce a decision making methodology which addresses several aspects of the business rules lifecycle: acquisition, deployment and evolution. We describe... 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 (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (948 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.
  • 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 (300 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.
  • Towards modelling and reasoning support for early-phase requirements engineering

    Publication Year: 1997, Page(s):226 - 235
    Cited by:  Papers (343)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1020 KB)

    Requirements are usually understood as stating what a system is supposed to do, as apposed to how it should do it. However, understanding the organizational context and rationales (the “Whys”) that lead up to systems requirements can be just as important for the ongoing success of the system. Requirements modelling techniques can be used to help deal with the knowledge and reasoning ne... View full abstract»

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