RTSE 1997: Bernried, Germany

Manfred Broy, Bernhard Rumpe (Eds.): Requirements Targeting Software and Systems Engineering, International Workshop RTSE '97, Bernried, Germany, October 12-14, 1997, Proceedings. Lecture Notes in Computer Science 1526 Springer 1998, ISBN 3-540-65309-0

@proceedings{DBLP:conf/rtse/1997,
  editor    = {Manfred Broy and
               Bernhard Rumpe},
  title     = {Requirements Targeting Software and Systems Engineering, International
               Workshop RTSE '97, Bernried, Germany, October 12-14, 1997, Proceedings},
  booktitle = {Requirements Targeting Software and Systems Engineering},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1526},
  year      = {1998},
  isbn      = {3-540-65309-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Foundations of Software Engineering

Dines Bjørner: Domains as a Prerequisite for Requirements and Software Domain Perspectives & Facets, Requirements Aspects and Software Views. 1-41
Manfred Broy, Franz Huber, Barbara Paech, Bernhard Rumpe, Katharina Spies: Software and System Modeling Based on a Unified Formal Semantics. 43-68
Roel Wieringa: Postmodern Software Design with NYAM: Not Yet Another Method. 69-94

Methodology

Egidio Astesiano, Gianna Reggio: A Discipline for Handling Feature Interaction. 95-119
Valdis Berzins: Merging Changes to Software Specifications. 121-131
Chris George, Do Tien Dung: Combining and Distributing Hierarchical Systems. 133-153
Carlo Ghezzi, Giovanni Vigna: Software Engineering Issues for Network Computing. 155-177
Maritta Heisel, Stefan Jähnichen: A Two-Layered Approach to Support Systematic Software Development. 179-202

Evaluation and Case Studies

Erik Kamsties, H. Dieter Rombach: A Framework for Evaluating System and Software Requirements Specification Approaches. 203-222
Joy N. Reed: Formal Methods and Industrial-Strength Computer Networks. 223-233

Tool Support and Prototyping

Stefan Gruner, Manfred Nagl, Andy Schürr: Integration Tools Supporting Development Processes. 235-256
Luqi: Formal Methods and Prototyping. 257-272
Zohar Manna, Michael Colón, Bernd Finkbeiner, Henny Sipma, Tomás E. Uribe: Abstraction and Modular Verification of Infinite-State Reactive Systems. 273-292
Sigurd Meldal, David C. Luckham: NSA's MISSI Reference Architecture - Moving from Prose to Precise Specification. 293-329
Hans W. Nissen, Matthias Jarke: Requirements Engineering Repositories: Formal Support for Informal Teamwork Methods. 331-355