Advertisement

Requirements Targeting Software and Systems Engineering

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

  • Manfred Broy
  • Bernhard Rumpe
Conference proceedings RTSE 1997

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

Table of contents

  1. Front Matter
  2. Foundations of Software Engineering

  3. Methodology

    1. Egidio Astesiano, Gianna Reggio
      Pages 95-119
    2. Valdis Berzins
      Pages 121-131
    3. Chris George, Đỗ Tiến Dũng
      Pages 133-153
    4. Carlo Ghezzi, Giovanni Vigna
      Pages 155-177
    5. Maritta Heisel, Stefan Jähnichen
      Pages 179-202
  4. Evaluation and Case Studies

  5. Tool Support and Prototyping

    1. Stefan Gruner, Manfred Nagl, Andy Schürr
      Pages 235-256
    2. Luqi
      Pages 257-272
    3. Zohar Manna, Michael A. Colón, Bernd Finkbeiner, Henny B. Sipma, Tomás E. Uribe
      Pages 273-292
  6. Back Matter

About these proceedings

Keywords

Software Tools design development formal methods modeling repositories requirements engineering semantics software software architecture software architectures software development software engineering verification

Editors and affiliations

  • Manfred Broy
    • 1
  • Bernhard Rumpe
    • 2
  1. 1.Technische Universität MünchenGermany
  2. 2.Institute for Software Systems EngineeringBraunschweig University of TechnologyBraunschweigGermany

Bibliographic information

  • DOI https://doi.org/10.1007/b71630
  • Copyright Information Springer-Verlag Berlin Heidelberg 1998
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-65309-7
  • Online ISBN 978-3-540-49439-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering