Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1998

Requirements Targeting Software and Systems Engineering

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

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)

Conference series link(s): RTSE: International Workshop on Requirements Targeting Software and Systems Engineering

Conference proceedings info: RTSE 1997.

Sections

Buy it now

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

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

Table of contents (15 papers)

  1. Front Matter

    PDF

  2. Foundations of Software Engineering

    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. 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

  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

  6. Back Matter

    PDF
Back to top

Other Volumes

  1. Requirements Targeting Software and Systems Engineering

Back to top

Keywords

Back to top

Editors and Affiliations

  • Technische Universität München, Germany

    Manfred Broy

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

    Bernhard Rumpe

Back to top

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

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation