Requirements Targeting Software and Systems Engineering

Keyphrases

Publications

volume 1526, 1998

Requirements Targeting Software and Systems Engineering, International Workshop RTSE '97, Bernried, Germany, October 12-14, 1997, Proceedings Requirements Targeting Software and Systems Engineering 1526 (1998)

1997

Joy N. Reed
Formal Methods and Industrial-Strength Computer Networks. Requirements Targeting Software and Systems Engineering (1997)
Carlo Ghezzi, Giovanni Vigna
Software Engineering Issues for Network Computing. Requirements Targeting Software and Systems Engineering (1997)
Maritta Heisel, Stefan Jähnichen
A Two-Layered Approach to Support Systematic Software Development. Requirements Targeting Software and Systems Engineering (1997)
Roel J. Wieringa
Postmodern Software Design with NYAM: Not Yet Another Method. Requirements Targeting Software and Systems Engineering (1997)
Valdis Berzins
Merging Changes to Software Specifications. Requirements Targeting Software and Systems Engineering (1997)
Erik Kamsties, H. Dieter Rombach
A Framework for Evaluating System and Software Requirements Specification Approaches. Requirements Targeting Software and Systems Engineering (1997)
Sigurd Meldal, David C. Luckham
NSA's MISSI Reference Architecture - Moving from Prose to Precise Specification. Requirements Targeting Software and Systems Engineering (1997)
Dines Bjørner
Domains as a Prerequisite for Requirements and Software Domain Perspectives & Facets, Requirements Aspects and Software Views. Requirements Targeting Software and Systems Engineering (1997)
Zohar Manna, Michael Colón, Bernd Finkbeiner, Henny Sipma, Tomás E. Uribe
Abstraction and Modular Verification of Infinite-State Reactive Systems. Requirements Targeting Software and Systems Engineering (1997)
Luqi
Formal Methods and Prototyping. Requirements Targeting Software and Systems Engineering (1997)
Chris George, Do Tien Dung
Combining and Distributing Hierarchical Systems. Requirements Targeting Software and Systems Engineering (1997)
Stefan Gruner, Manfred Nagl, Andy Schürr
Integration Tools Supporting Development Processes. Requirements Targeting Software and Systems Engineering (1997)
Egidio Astesiano, Gianna Reggio
A Discipline for Handling Feature Interaction. Requirements Targeting Software and Systems Engineering (1997)
Manfred Broy, Franz Huber, Barbara Paech, Bernhard Rumpe, Katharina Spies
Software and System Modeling Based on a Unified Formal Semantics. Requirements Targeting Software and Systems Engineering (1997)
Hans W. Nissen, Matthias Jarke
Requirements Engineering Repositories: Formal Support for Informal Teamwork Methods. Requirements Targeting Software and Systems Engineering (1997)