Skip to main content
Springer Nature Link
Account

Requirements Targeting Software and Systems Engineering

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

  • Conference proceedings
  • © 1998
  • Latest edition

Overview

Editors:
  1. Manfred Broy

    1. Technische Universität München, Germany

  2. Bernhard Rumpe

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

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

Included in the following conference series:

Conference proceedings info: RTSE 1997.

  • 4276 Accesses

  • 3 Citations

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

Access this book

Log in via an institution

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Keywords

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

Editors and Affiliations

  • Technische Universität München, Germany

    Manfred Broy

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

    Bernhard Rumpe

Accessibility Information

Accessibility information for this book is coming soon. We're working to make it available as quickly as possible. Thank you for your patience.

Bibliographic Information

  • Book Title: Requirements Targeting Software and Systems Engineering

  • Book Subtitle: International Workshop RTSE '97, Bernried, Germany, October 12-14, 1997

  • Editors: Manfred Broy, Bernhard Rumpe

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/b71630

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: The Editor(s) (if applicable) and The Author(s) 1998

  • eBook ISBN: 978-3-540-49439-3Published: 30 June 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: VIII, 357

  • Topics: Software Engineering

Publish with us

Policies and ethics

Back to top