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
  • Extended requirements traceability: results of an industrial case study

    Publication Year: 1997, Page(s):169 - 178
    Cited by:  Papers (26)  |  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.
  • Formal methods for V&V of partial specifications: an experience report

    Publication Year: 1997, Page(s):160 - 168
    Cited by:  Papers (8)
    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.
  • 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.
  • 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.
  • A technique combination approach to requirements engineering

    Publication Year: 1997, Page(s):65 - 74
    Cited by:  Papers (19)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1000 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.
  • 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.
  • Requirements models in context

    Publication Year: 1997, Page(s):102 - 104
    Cited by:  Papers (8)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (260 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.