Proceedings of IEEE International Conference on Requirements Engineering

18-22 April 1994

Filter Results

Displaying Results 1 - 25 of 34
  • Proceedings of IEEE International Conference on Requirements Engineering

    Publication Year: 1994
    Request permission for commercial reuse | |PDF file iconPDF (38 KB)
    Freely Available from IEEE
  • Requirements engineering standardization

    Publication Year: 1994, Page(s):57 - 63
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (432 KB)

    As requirements engineering becomes more widespread, practitioners have learned what works and what does not work, as well as how to communicate among themselves and with other specialists, leading to standards development efforts and an increasing number of standards. This is to be welcomed, because it reflects the maturity of the technology and the realization of the importance of the specialty.... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A case study of applying rapid prototyping techniques in the Requirements Engineering Environment

    Publication Year: 1994, Page(s):66 - 73
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (768 KB)

    Rapid prototyping techniques have been recognized as an important technology for requirements engineering. By developing and exercising executable prototypes as part of the requirements specification process, it is possible to address the well known problems of ambiguity, incompleteness, and inconsistency in capturing requirements for complex software systems. The Requirements Engineering Environm... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Ripple: a formally specified prototyping system

    Publication Year: 1994, Page(s):150 - 153
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (268 KB)

    The intent of the research is to cast the prototyping method in a formal setting and to demonstrate the feasibility of such a formalization. As such, a formal basis for developing and analyzing prototyping methods and prototyping environments is formulated. Concurrently, an objective definition of prototyping is provided. To grasp the nature of prototyping, as opposed to traditional methods, conce... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A pattern matching and clustering based approach for supporting requirements transformation

    Publication Year: 1994, Page(s):180 - 183
    Cited by:  Patents (4)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (396 KB)

    One problem in requirements transformation from informal prose requirements to formal specifications is natural language processing. Although natural language understanding is still not practical for general requirements processing, syntactical information is useful for concept extraction. This paper discusses the correspondence between requirements sentence structure patterns and the events/trans... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software requirements as negotiated win conditions

    Publication Year: 1994, Page(s):74 - 83
    Cited by:  Papers (40)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (776 KB)

    Current processes and support systems for software requirements determination and analysis often neglect the critical needs of important classes of stakeholders, and limit themselves to the concerns of the developers, users and customers. These stakeholders can include maintainers, interfacers, testers, product line managers, and sometimes members of the general public. This paper describes the re... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Modeling the evolution of artifacts

    Publication Year: 1994, Page(s):216 - 219
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (348 KB)

    The particular requirements engineering (RE) process modeling approach presented, advocates the capture of the history RE artifacts. An artifact is viewed as an evolutionary object which evolves as the RE process proceeds. The author proposes a classification of the various kinds of evolution of artifacts and presents a generic model, the evolutionary object model, to structure the RE history kept... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Requirements critiquing using domain abstractions

    Publication Year: 1994, Page(s):184 - 193
    Cited by:  Papers (13)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (948 KB)

    Reusing domain abstractions representing key domain features has been shown to aid requirement specification, however their role in requirements engineering has not been investigated thoroughly. This paper proposes domain abstractions to aid requirements critiquing as well as specification, thus maximising the payoff from retrieving domain abstractions. The requirements critic is part of a prototy... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • AbstFinder, a prototype abstraction finder for natural language text for use in requirements elicitation: design, methodology, and evaluation

    Publication Year: 1994, Page(s):84 - 93
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (828 KB)

    In order to help solve the problems of requirements elicitation, this paper motivates and describes a new approach, based on traditional signal processing methods, for finding abstractions in natural language text. The design of AbstFinder, an implementation of the approach, and the evaluation of its effectiveness on an industrial-strength example are described View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Attacking requirements complexity using a separation of concerns

    Publication Year: 1994, Page(s):2 - 5
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (396 KB)

    As systems become more complex, the task of defining requirements must evolve to deal with this complexity. The use of the concepts of “separation of concerns” provides a successful approach for cutting problem complexity down to the level where it can be handled. Such concepts can be added to any notation or “methodology,” but are more effective if the underlying requireme... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The concept of operations: the bridge from operational requirements to technical specifications

    Publication Year: 1994, Page(s):40 - 47
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (756 KB)

    The authors describe the role of a “concept of operations” (ConOps) document in the specification and development of a software-intensive system. They also describe the process of developing a ConOps, its uses and benefits, who should develop it, and when it should be developed. The ConOps described, is compared to other forms of operational concept documents. A recommended format for ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The REVIEW system: from formal specifications to natural language

    Publication Year: 1994, Page(s):220 - 229
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (732 KB)

    Formal descriptions, while difficult for most human readers to understand, are convenient for specifying large software systems, where completeness and consistency are important issues. Informal specifications can offer advantages in conciseness and readability, but ambiguities and contradictions are an unavoidable side-effect. Since a specification often acts as a formal contract between the soft... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A visual software requirements definition method

    Publication Year: 1994, Page(s):194 - 201
    Cited by:  Papers (6)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (540 KB)

    The author proposes a visual software requirements definition method including the description of a visual software requirements specification (SRS) with a visual requirements language and executing the SRS. The method proposed provides a describer for defining both the shape and semantics of icons to specify the requirements as he imagines them. The method also provides for describing icons' move... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An analysis of the requirements traceability problem

    Publication Year: 1994, Page(s):94 - 101
    Cited by:  Papers (326)  |  Patents (5)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (864 KB)

    Investigates and discusses the underlying nature of the requirements traceability problem. Our work is based on empirical studies, involving over 100 practitioners, and an evaluation of current support. We introduce the distinction between pre-requirements specification (pre-RS) traceability and post-requirements specification (post-RS) traceability to demonstrate why an all-encompassing solution ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An object-oriented dual language for specifying reactive systems

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

    Descriptive software specification techniques are based on mathematical formalism and produce precise, rigorous specifications which are in general to be preferred for the design of reactive systems with respect to operational techniques. Recently, dual languages which tend to integrate these aspects have been investigated. An object-oriented specification dual language, named TROL is presented, i... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Using formal methods for requirements specification of a proposed POSIX standard

    Publication Year: 1994, Page(s):118 - 125
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (644 KB)

    Demonstrates the utility of formal methods in the development of requirements for standards. We describe the results of an exercise to generate a formal specification of the forthcoming POSIX P1003.21 standard on real-time distributed systems communications. This exercise was conducted by a relative novice in formal methods who did not have significant POSIX domain knowledge. With the assistance o... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A multimedia approach to requirements capture and modeling

    Publication Year: 1994, Page(s):53 - 56
    Cited by:  Papers (18)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (380 KB)

    The Advanced Multimedia Organizer for Requirements Elicitation (AMORE) embodies a synthesis of technologies adapted specifically for application to requirements elicitation processes and models. Elicitors will use AMORE as a platform for storing requirements in as close to their natural forms as possible to maximize traceability and to promote understanding of original intentions and motivations. ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The role of software architecture in requirements engineering

    Publication Year: 1994, Page(s):239 - 245
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (524 KB)

    The role of software architecture (which reflects high-level implementation constraints) in requirements engineering is clarified by providing perspectives on relevant issues, including the following: is requirements engineering merely a front end to the software development process that is concerned only with problem definition? Is software architecture an application-specific, high-level design ... View full abstract»

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

    Publication Year: 1994, Page(s):176 - 179
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (340 KB)

    Techniques that are claimed to be applicable to analysing requirements for software intensive systems have been available for many years, but the extent to which they address this problem for large, complex systems is open to question. The techniques tend to focus on aspects of the system that are understood by specialist system designers, rather than on the issues that concern its prospective own... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Supporting multi-perspective requirements engineering

    Publication Year: 1994, Page(s):206 - 215
    Cited by:  Papers (19)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (904 KB)

    Supporting collaborating requirements engineers as they independently construct a specification is highly desirable. We show how collaborative requirements engineering can be supported using a planner, domain abstractions, and automated decision science techniques. In particular we show how requirements conflict resolution can be assisted through a combination of multi-agent multi-criteria optimiz... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Types, classes and collections in object-oriented analysis

    Publication Year: 1994, Page(s):32 - 39
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (780 KB)

    The author evaluates the classification support provided by current object-oriented analysis methods and proposes possible improvements. Concepts of object-orientation are briefly reviewed. Key principles for classification are identified and emerging object-oriented analysis methods are then judged against these principles. In an attempt to avoid some of the identified shortcomings, it is propose... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Transitioning to rigorous software specification

    Publication Year: 1994, Page(s):110 - 117
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (640 KB)

    Describes the first attempt to use the Z formal specification language for a deliverable Bellcore product. That first attempt involved using Z to write detailed requirements for an enhancement to an existing planning and engineering system. It is recommended that the use of formal methods at Bellcore be expanded, since the preliminary results of this trial show that existing projects can thereby o... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Underlying concepts in process specification

    Publication Year: 1994, Page(s):48 - 52
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (420 KB)

    Underlying concepts in process specification are discussed, such as function, functioning, ordering and conservation. The author describes how these terms represent different forms of purpose attribution to objects. A process modelling technique is proposed in order to complement the usual techniques adopted in requirements engineering View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards a system for the construction, clarification, discovery and formalisation of requirements

    Publication Year: 1994, Page(s):230 - 238
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (528 KB)

    Requirements engineering is fraught with possibilities for misunderstanding and mistakes and it is well known that the earlier such errors occur in the lifecycle the more costly the consequences. Formal specifications provide from a developer's perspective a clear, concise and unambiguous statement of the system requirements. Prototyping enables effective user participation in the validation of re... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Executing, viewing and explaining conceptual models

    Publication Year: 1994, Page(s):166 - 175
    Cited by:  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (808 KB)

    Conceptual models are developed to assess the functional properties of information systems. Since they are used actively during the design and implementation of these systems, an important task is to make sure that the models really represent the users' needs and intentions. PPP (Phenomena, Processes, Program) is an experimental CASE environment. In the PPP environment, the conceptual modeling pro... View full abstract»

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