By Topic

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
  • 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.
  • 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.
  • System bounding issues for analysis

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

    Defining system boundaries is an important part of analysis. Bounding is a separate process from partitioning or decomposing the problem. System boundaries show what is inside and outside the system whereas partitions manage the complexity of the problem. The authors discuss the tradeoffs between early and late bounding and conclude that the bounding process should be done late or at least repeate... 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 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.
  • 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.
  • Requirements critiquing using domain abstractions

    Publication Year: 1994, Page(s):184 - 193
    Cited by:  Papers (12)
    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.
  • Supporting multi-perspective requirements engineering

    Publication Year: 1994, Page(s):206 - 215
    Cited by:  Papers (17)
    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.
  • Software requirements as negotiated win conditions

    Publication Year: 1994, Page(s):74 - 83
    Cited by:  Papers (39)
    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.
  • Deriving human-error tolerance requirements from tasks

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

    Shows how an understanding of a dynamic system from the point of view of the tasks that it supports and an understanding of human error can guide a process of deriving human error tolerance requirements. Our aim is to provide a means whereby, rather than relying on training as a means of improving operator performance, designers may develop interactive systems with human error tolerance in mind. W... 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.
  • 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.
  • 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.
  • Transitioning to rigorous software specification

    Publication Year: 1994, Page(s):110 - 117
    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.
  • 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 (5)
    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.
  • Issues in requirements engineering technology transfer

    Publication Year: 1994, Page(s):143 - 148
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (424 KB)

    Provides an understanding of the issues related to the transfer of requirements engineering technology from research (early state of the art) to practice (real people performing real projects). Applications include: industrial education; the university laboratory; and Rome laboratory 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 (3)
    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.
  • An OOA model with system function specifications

    Publication Year: 1994, Page(s):16 - 23
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (464 KB)

    A new OOA model and methodology are proposed. The proposed OOA model is composed of an object model, which specifies objects and the relationships between them, and a function model, which specifies system functions and their operation logic. The proposed OOA methodology develops the specifications of objects and system functions in parallel by following a functional refinement process. Since syst... 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.
  • Validating and evolving software requirements in a systematic framework

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

    The concern is with validation and evolution of software requirements based on the notion of executable specifications. A fundamental premise of this approach is that it is possible to use executable specification descriptions and conventional implementation descriptions interchangeably. This allows a prototype system to be transformed into a production quality system by incrementally replacing sp... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Comparative analysis of embedded computer system requirements methods

    Publication Year: 1994, Page(s):126 - 134
    Cited by:  Papers (8)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (632 KB)

    Requirements methods proven practical on large embedded computer systems (ECS) are formalized, synthesized, and improved. A cross-section of methods are evaluated for robust semantics, mathematical foundation, capability for analysis and verification, and support for model construction, comprehension, reuse and modification View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The directorate information system at St Thomas' hospital: a study in domain analysis

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

    Describes a project run at St Thomas' Hospital whose goal was to design an information system that would support the business of a `clinical directorate'. We argue that the analysis for an information system in an area as complex as this needs to be preceded by detailed domain analysis, and that conventional techniques are inadequate. The method used is described this supports the construction of ... View full abstract»

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