[1993] Proceedings of the IEEE International Symposium on Requirements Engineering

6-6 Jan. 1993

Filter Results

Displaying Results 1 - 25 of 42
  • Tasks and social interaction: the relevance of naturalistic analyses of conduct for requirements engineering

    Publication Year: 1993, Page(s):187 - 190
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (430 KB)

    Methods for requirements elicitation have emphasized techniques for their elicitation and representation. The conception of tasks embodied in these methods is often vague or left implicit and generally characterized in individualistic terms. The authors draw from empirical materials to reveal the social and collaborative nature of task that is also overlooked in participative design or in attempts... View full abstract»

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

    Publication Year: 1993, Page(s):182 - 186
    Cited by:  Papers (8)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (507 KB)

    A classification of requirements engineering methods based on the social assumptions made about organizations is presented. The scheme, based on a taxonomy of social theories after J. Lyotard (1984), provides a set of categories corresponding to metanarratives used within requirements engineering. A short description of each metanarrative is provided in terms of the assumptions made about the natu... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Requirements capture as a cooperative activity

    Publication Year: 1993, Page(s):174 - 181
    Cited by:  Papers (11)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (741 KB)

    There is an interesting recognition that software development is not merely a mathematical or technological challenge, but a complex social process. The social process at the earliest stages of software development, i.e., scoping and capturing requirements, is examined. Some of the problems that can arise when insufficient attention is paid to the social process are considered together with altern... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Integrating ethnography into the requirements engineering process

    Publication Year: 1993, Page(s):165 - 173
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (829 KB)

    Experiences from an interdisciplinary project involving software engineers and sociologists are reported. The project is concerned with discovering the requirements of a user interface to a flight database which is used to provide real-time information to air-traffic controllers. The sociologists are conducting an ethnographic analysis of the activity of air-traffic control, and this is being used... View full abstract»

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

    Publication Year: 1993, Page(s):152 - 164
    Cited by:  Papers (44)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1592 KB)

    The authors survey and evaluate techniques for eliciting requirements of computer-based systems, paying particular attention to dealing with social issues. The methods surveyed include introspection, interviews, questionnaires, and protocol, conversation, interaction, and discourse analyses. The last three techniques grew out of ethnomethodology and sociolinguistics. They can elicit tacit knowledg... View full abstract»

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

    Publication Year: 1993, Page(s):142 - 149
    Cited by:  Papers (11)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (717 KB)

    A formalism is motivated and described for representing defaults in specifications. The formalism is called ordered theory presentations. The ability to represent defaults narrows the gap between a customer's initial requirements and a formal specification, and supports reuse on both a small and a large scale. Issues are illustrated throughout reference to the lift example. The application of the ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Using scenarios in deficiency-driven requirements engineering

    Publication Year: 1993, Page(s):134 - 141
    Cited by:  Papers (9)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (772 KB)

    A process is described for generating and validating specifications, together with an automated tool which supports this approach. The input to the process is a set of client objectives, expressed as transitions between states. These transitions fall into two classes: those which should be supported, and those which should be prevented. The output is a specification of a target artifact, expressed... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Analyzing software requirements errors in safety-critical, embedded systems

    Publication Year: 1993, Page(s):126 - 133
    Cited by:  Papers (49)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (788 KB)

    The root causes of safety-related software errors in safety-critical embedded systems are analyzed. The results show that software errors identified as potentially hazardous to the system tend to be produced by different error mechanisms than those that produce nonsafety-related software errors. Safety-related software errors are shown to arise most commonly from: discrepancies between the documen... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Reuse of conceptual requirement specifications

    Publication Year: 1993, Page(s):121 - 124
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (370 KB)

    A methodological approach is presented to guide the definition of reusable components to be exploited for designing applications not from scratch, but by tailoring and adapting existing components. Reusability at the requirements specification level is considered, and tools to define reusable components are illustrated. Reusable components are defined as generic components with associated meta-com... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Matching conceptual graphs as an aid to requirements re-use

    Publication Year: 1993, Page(s):112 - 120
    Cited by:  Papers (18)  |  Patents (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (942 KB)

    The types of knowledge used during requirements acquisition are identified and a tool to aid in this process, the ReqColl (requirements collector), is introduced. The tool uses conceptual graphs to represent domain concepts, and attempts to recognize new concepts through the use of a matching facility. The overall approach to requirements capture is described and the approach to matching is illust... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Requirements engineering by example: an empirical study

    Publication Year: 1993, Page(s):104 - 111
    Cited by:  Papers (11)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (778 KB)

    Domain abstraction reuse during requirements engineering is evaluated as a paradigm during use of a research tool. Iterative fact acquisition and abstraction retrieval, supported by example-based explanation of abstractions, are implemented in a prototype known as AIR (adviser for intelligent reuse). Observation of the use of AIRs by inexperienced software engineers reveal the effectiveness of thi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Requirement analysis by the KJ editor

    Publication Year: 1993, Page(s):98 - 101
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (341 KB)

    The KJ method, a technique for obtaining a panoramic view of entire index card arrangements on a computer display, is described. The KJ editor simulates the activity of arranging index cards on a desk. Such activity is essential for carrying out the so-called KJ method, which is used in Japanese business. The editor is used for requirements analysis. It is found that the editor can be used for rec... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • READS: a requirements engineering tool

    Publication Year: 1993, Page(s):94 - 97
    Cited by:  Papers (2)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (422 KB)

    A hypertext system, READS, designed to support the key requirements engineering activities of requirements discovery, analysis, decomposition, allocation, traceability and reporting is discussed. READS facilitates the construction, browsing, and maintenance of a typed hypertext network mapped onto a high-speed relational database server through a user interface designed specifically for the system... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • CARD: a software requirements definition environment

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

    Computer-aided requirements definition methods/environment are presented. A composite requirements model (requirements frame) is proposed, and several supporting methods of software requirements definition based on the model are developed. They are: analysis of requirements; describing requirements; verification of an SRS (software requirements specification); SRS execution; and software prelimina... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An incremental integration tool between requirements engineering and programming in the large

    Publication Year: 1993, Page(s):82 - 89
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (787 KB)

    In the IPSEN research project at Aachen University in Germany, integration tools that integrate documents of different working areas have been developed. They execute a transformation algorithm and check the consistency incrementally by installing and maintaining links between those documents. A framework is introduced that allows the efficient realization of new integration tools. The functionali... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Should we specify systems or domain?

    Publication Year: 1993, Page(s):77 - 80
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (12 KB)

    The question of specifying systems or domains is addressed. Among the issues discussed are: the requirements of first-class connectors for domain specifications; the use of application frameworks as domain specifications; the role of connectors in domain specifications; domain model specification; the question of what precisely is meant by a domain of the question of reuse; and the difficulty in p... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Requirements reconnoitring at the juncture of domain and instance

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

    The ability to rapidly reconnoitre requirements, i.e., construct, critique, contrast and complete a system's requirements, necessitates dealing with the inherent nature of requirements (their incompleteness, inconsistency, ambiguity, etc.). It is shown how such explorations can be sustained by linking a network of domain requirements with instantiations of those requirements for a particular insta... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Domain modelling with hierarchies of alternative viewpoints

    Publication Year: 1993, Page(s):65 - 72
    Cited by:  Papers (12)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (842 KB)

    It is shown how domain modelling can be used within requirements engineering to reveal the conceptual models used by the participants, and relate these to one another. Existing elicitation techniques used in AI adopt a purely cognitive stance, in that they model a single problem-cognitive stance, and ignore the social and organizational context. A framework for representing alternative, conflictin... View full abstract»

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

    Publication Year: 1993, Page(s):56 - 64
    Cited by:  Papers (21)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (962 KB)

    Ideas about the meaning of descriptions, aimed at clarifying the relationship between a formal specification and the domain of the system to be specified, are introduced. Understanding of specifications must rest on explicit statements of what they are about and what they assert. The authors argue that current formal specification techniques are inadequate in this respect, and therefore cannot off... View full abstract»

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

    Publication Year: 1993, Page(s):50 - 54
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (578 KB)

    Requirements that involve the usability of systems can be properties of interactions rather than systems alone. This proposition is demonstrated by means of four examples. The authors suggest that a notation like CSP (communicating sequential processes) may be used to provide a framework for considering different modeling approaches. Interaction requirements that relate to multiwindowed systems, w... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Dealing with performance requirements during the development of information systems

    Publication Year: 1993, Page(s):42 - 49
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (857 KB)

    Performance goals for information systems are treated as a class of nonfunctional requirements (NFRs). A given model for representing NFRs is given to make provisions for: representing a variety of implementation alternatives; expressing performance goals (including responsiveness) in terms of performance and information system concepts; and organizing the process into layers corresponding to subs... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Modeling organizations for information systems requirements engineering

    Publication Year: 1993, Page(s):34 - 41
    Cited by:  Papers (23)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (811 KB)

    In attempting to understand information system environments during requirements engineering, it is often helpful to have an understanding of the 'whys' as well as the 'whats' about the environment. A natural way to answer why questions is by tracing them to goals. In an organizational environment, however, the whys do not originate from a single set of given goals. Organizational agents depend on ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Theories underlying requirements engineering: an overview of NATURE at Genesis

    Publication Year: 1993, Page(s):19 - 31
    Cited by:  Papers (18)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1585 KB)

    NATURE is a collaborative basic research project on theories underlying requirements engineering funded by the ESPRIT III program of the European communities. Its goals are to develop a theory of knowledge representation that embraces subject, usage and development worlds surrounding the system, including expressive freedoms; a theory of domain engineering that facilitates the identification, acqu... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Requirements engineering technologies at Rome Laboratory

    Publication Year: 1993, Page(s):15 - 18
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (395 KB)

    The program of research and development of requirements engineering technologies at Rome Laboratory since the early 1980s is described. Research is based on a process model of requirements engineering, and implementation of this model using conventional technologies. R&D activities have led to the enhancement of a requirements analysis tool and the development of two requirements validation to... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A review of the state of the practice in requirements modeling

    Publication Year: 1993, Page(s):2 - 14
    Cited by:  Papers (53)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1435 KB)

    A field study of ten organizations was conducted to determine their current practices on definition, interpretation, analysis, and use of the requirements for their software systems and products. The field study consisted of a series of in-depth, structured interviews with practitioners of various kinds. The findings of this study are summarized, and the implications for improving practice either ... View full abstract»

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