By Topic

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

Date 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
  • 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
  • SOFL: a formal engineering methodology for industrial applications

    Publication Year: 1997
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (88 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.
  • 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 (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1064 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 a... 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 (4)
    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.
  • Extended requirements traceability: results of an industrial case study

    Publication Year: 1997, Page(s):169 - 178
    Cited by:  Papers (20)  |  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.
  • Calculating with requirements

    Publication Year: 1997, Page(s):144 - 146
    Cited by:  Papers (4)
    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.
  • Requirement metrics-value added

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

    Publication Year: 1997, Page(s):236 - 246
    Cited by:  Papers (8)  |  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.
  • 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 (60 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.
  • 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.
  • Generating code from hierarchical state-based requirements

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

    Publication Year: 1997, Page(s):247 - 257
    Cited by:  Papers (21)
    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.
  • 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.
  • 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.
  • A systematic tradeoff analysis for conflicting imprecise requirements

    Publication Year: 1997, Page(s):87 - 96
    Cited by:  Papers (16)
    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 (18)
    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.
  • Ten steps towards systematic requirements reuse

    Publication Year: 1997, Page(s):6 - 15
    Cited by:  Papers (14)
    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.
  • Groupware-assisted requirements assessment

    Publication Year: 1997
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (76 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.
  • Naturalistic inquiry and requirements engineering: reconciling their theoretical foundations

    Publication Year: 1997, Page(s):118 - 127
    Cited by:  Papers (3)
    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.
  • 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.
  • Analysing inconsistent specifications

    Publication Year: 1997, Page(s):78 - 86
    Cited by:  Papers (12)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (832 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 technique combination approach to requirements engineering

    Publication Year: 1997, Page(s):65 - 74
    Cited by:  Papers (16)
    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.
  • Requirements models in context

    Publication Year: 1997, Page(s):102 - 104
    Cited by:  Papers (7)
    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.