Skip to main content
SpringerLink
Log in

Requirements Targeting Software and Systems Engineering

International Workshop RTSE '97, Bernried, Germany, October 12-14, 1997

  • Conference proceedings
  • © 1998

Overview

Editors:
  1. Manfred Broy

    1. Technische Universität München, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Bernhard Rumpe

    1. Institute for Software Systems Engineering, Braunschweig University of Technology, Braunschweig, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1526)

Included in the following conference series:

Conference proceedings info: RTSE 1997.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 74.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (15 papers)

  1. Front Matter

    Download chapter PDF

  2. Foundations of Software Engineering

    1. Domains as a Prerequisite for Requirements and Software Domain Perspectives and Facets, Requirements Aspects and Software Views

      • Dines Bjørner
      Pages 1-41

    2. Software and System Modeling Based on a Unified Formal Semantics

      • Manfred Broy, Franz Huber, Barbara Paech, Bernhard Rumpe, Katharina Spies
      Pages 43-68

    3. Postmodern Software Design with NYAM: Not Yet Another Method

      • Roel Wieringa
      Pages 69-94

  3. Methodology

    1. A Discipline for Handling Feature Interaction

      • Egidio Astesiano, Gianna Reggio
      Pages 95-119

    2. Merging Changes to Software Specifications

      • Valdis Berzins
      Pages 121-131

    3. Combining and Distributing Hierarchical Systems

      • Chris George, Đỗ Tiến Dũng
      Pages 133-153

    4. Software Engineering Issues for Network Computing

      • Carlo Ghezzi, Giovanni Vigna
      Pages 155-177

    5. A Two-Layered Approach to Support Systematic Software Development

      • Maritta Heisel, Stefan Jähnichen
      Pages 179-202

  4. Evaluation and Case Studies

    1. A Framework for Evaluating System and Software Requirements Specification Approaches

      • Erik Kamsties, H. Dieter Rombach
      Pages 203-222

    2. Formal Methods and Industrial-Strength Computer Networks

      • Joy Reed
      Pages 223-233

  5. Tool Support and Prototyping

    1. Integration Tools Supporting Development Processes

      • Stefan Gruner, Manfred Nagl, Andy Schürr
      Pages 235-256

    2. Formal Models and Prototyping

      • Luqi
      Pages 257-272

    3. Abstraction and Modular Verification of Infinite-State Reactive Systems

      • Zohar Manna, Michael A. Colón, Bernd Finkbeiner, Henny B. Sipma, Tomás E. Uribe
      Pages 273-292

    4. NSA’s MISSI Reference Architecture – Moving from Prose to Precise Specifications

      • Sigurd Meldal, David C. Luckham
      Pages 293-329

    5. Requirements Engineering Repositories: Formal Support for Informal Teamwork Methods

      • Hans W. Nissen, Matthias Jarke
      Pages 331-355

  6. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Requirements Targeting Software and Systems Engineering

Keywords

Editors and Affiliations

  • Technische Universität München, Germany

    Manfred Broy

  • Institute for Software Systems Engineering, Braunschweig University of Technology, Braunschweig, Germany

    Bernhard Rumpe

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation