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

6-6 Jan. 1993

Filter Results

Displaying Results 1 - 25 of 42
  • Proceedings of IEEE International Symposium on Requirements Engineering (Cat. No.92TH0491-1)

    Publication Year: 1993
    Request permission for commercial reuse | PDF file iconPDF (67 KB)
    Freely Available from IEEE
  • 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 (676 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.
  • Description of specification developments

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

    A framework allowing the expression of both the incremental construction of a specification and the development process behind the construction (decisions and their rationale) is proposed. A data structure composed of a workplan and the product is introduced and used to model a specification development. The availability of development operators is a critical point of the specification development... 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 (344 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 strategy for conceptual model acquisition

    Publication Year: 1993, Page(s):243 - 246
    Cited by:  Papers (13)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (336 KB)

    A strategy for conceptual model acquisition is proposed. Knowledge acquisition is performed with a simple structure, i.e., the lexicon. Using the lexicon and an AI-based approach, a conceptual model is derived. The approach assists in the construction of a first cut version of the conceptual model, which should undergo a validation process. A prototype is built using an object-oriented AI shell. T... 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 (20)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (836 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.
  • Matching conceptual graphs as an aid to requirements re-use

    Publication Year: 1993, Page(s):112 - 120
    Cited by:  Papers (18)  |  Patents (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (812 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 reconnoitring at the juncture of domain and instance

    Publication Year: 1993, Page(s):73 - 76
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (360 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.
  • I never knew my requirements were object-oriented until I talked to my analyst

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

    A discussion on object-oriented analysis (OOA) is summarized. Among the topics discussed are: whether objects facilitate understanding; whether autonomy facilitates understanding; whether OOA encourages premature design; whether OOA addresses requirements volatility; the Shlaer-Mellor method; the separation of problem domains; the translation of domains; the role of prototyping in requirements eng... 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 (47)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (684 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.
  • 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 (688 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.
  • Requirements engineering in systems engineering practice

    Publication Year: 1993, Page(s):192 - 193
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (196 KB)

    Advances in microprocessor and network technology led to the proliferation of complex systems with distributed processing and databases, internal communication systems, and heterogeneous components. The processing components can by themselves comprise a system or they may be embedded in a physical system. Both the encompassing system and the processing system are known as computer-based systems (C... 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 (17)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1396 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.
  • Process knowledge based rapid prototyping for requirements engineering

    Publication Year: 1993, Page(s):248 - 255
    Cited by:  Papers (5)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (616 KB)

    Rapid prototyping offers an iterative approach to requirements engineering to alleviate problems such as uncertainty, ambiguity, and inconsistency inherent in the process. As the systems development process is characterized by changing requirements and assumptions, involving multiple stakeholders with often differing viewpoints, it will be beneficial to capture in a structured manner the history o... 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 (42)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1388 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.
  • Representing knowledge in requirements engineering: an empirical study of what software engineers need to know

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

    The selection and structuring of requirements engineering data necessitates an empirical prediction about the future utility of the selected data and of the retrieval paths available in the structure. In order to investigate these predictions, the questions asked by software engineers at software requirements and preliminary design meetings are analyzed. It is assumed that the kinds of information... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Tasks and social interaction: the relevance of naturalistic analyses of conduct for requirements engineering

    Publication Year: 1993, Page(s):187 - 190
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (372 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.
  • 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 (292 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.
  • Formally specifying temporal constraints and error recovery

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

    Recent research has advocated the use of deontic logics in requirements specification. A form of deontic action logic is described, and it is shown how it can be used to specify both temporal constraints and error recovery. The logic includes a deontic predicate of bounded obligation, and normative predicates. Bounded obligation allows bounds to be placed on the performance of actions, and can be ... 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 (52)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1252 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.
  • The role of natural language in requirements engineering

    Publication Year: 1993, Page(s):240 - 242
    Cited by:  Papers (27)  |  Patents (10)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (220 KB)

    The potential role of natural language processing in the requirements engineering process has been overstated in the past, possibly due to fundamental misunderstandings of the requirements engineering process itself. Since more realistic ambitions are likely to lead to less disappointment in the future, an effort is made to identify some phases and tasks where natural language processing may usefu... 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 (492 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.
  • 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 (728 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.
  • 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 (316 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.
  • Should we specify systems or domain?

    Publication Year: 1993, Page(s):77 - 80
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (8 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.