ask others

RTSE 1997: Bernried, Germany

> Home > Conferences and Workshops > RTSE

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rtse/1997
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rtse/1997
Manfred Broy, Bernhard Rumpe:
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

Foundations of Software Engineering

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rtse/Bjorner97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rtse/Bjorner97
Dines Bjørner:
Domains as a Prerequisite for Requirements and Software Domain Perspectives & Facets, Requirements Aspects and Software Views. 1-41
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rtse/BroyHPRS97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rtse/BroyHPRS97
Manfred Broy, Franz Huber, Barbara Paech, Bernhard Rumpe, Katharina Spies:
Software and System Modeling Based on a Unified Formal Semantics. 43-68
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rtse/Wieringa97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rtse/Wieringa97
Roel J. Wieringa:
Postmodern Software Design with NYAM: Not Yet Another Method. 69-94

Methodology

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rtse/AstesianoR97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rtse/AstesianoR97
Egidio Astesiano, Gianna Reggio:
A Discipline for Handling Feature Interaction. 95-119
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rtse/Berzins97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rtse/Berzins97
Valdis Berzins:
Merging Changes to Software Specifications. 121-131
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rtse/GeorgeD97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rtse/GeorgeD97
Chris George, Do Tien Dung:
Combining and Distributing Hierarchical Systems. 133-153
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rtse/GhezziV97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rtse/GhezziV97
Carlo Ghezzi, Giovanni Vigna:
Software Engineering Issues for Network Computing. 155-177
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rtse/HeiselJ97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rtse/HeiselJ97
Maritta Heisel, Stefan Jähnichen:
A Two-Layered Approach to Support Systematic Software Development. 179-202

Evaluation and Case Studies

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rtse/KamstiesR97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rtse/KamstiesR97
Erik Kamsties, H. Dieter Rombach:
A Framework for Evaluating System and Software Requirements Specification Approaches. 203-222
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rtse/Reed97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rtse/Reed97
Joy N. Reed:
Formal Methods and Industrial-Strength Computer Networks. 223-233

Tool Support and Prototyping

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rtse/GrunerNS97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rtse/GrunerNS97
Stefan Gruner, Manfred Nagl, Andy Schürr:
Integration Tools Supporting Development Processes. 235-256
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rtse/Luqi97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rtse/Luqi97
Luqi:
Formal Methods and Prototyping. 257-272
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rtse/MannaCFSU97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rtse/MannaCFSU97
Zohar Manna, Michael Colón, Bernd Finkbeiner, Henny Sipma, Tomás E. Uribe:
Abstraction and Modular Verification of Infinite-State Reactive Systems. 273-292
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rtse/MeldalL97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rtse/MeldalL97
Sigurd Meldal, David C. Luckham:
NSA's MISSI Reference Architecture - Moving from Prose to Precise Specification. 293-329
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rtse/NissenJ97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rtse/NissenJ97
Hans W. Nissen, Matthias Jarke:
Requirements Engineering Repositories: Formal Support for Informal Teamwork Methods. 331-355