Abstract is missing.
- Domains as a Prerequisite for Requirements and Software Domain Perspectives & Facets, Requirements Aspects and Software ViewsDines Bjørner. 1-41
- Software and System Modeling Based on a Unified Formal SemanticsManfred Broy, Franz Huber, Barbara Paech, Bernhard Rumpe, Katharina Spies. 43-68
- Postmodern Software Design with NYAM: Not Yet Another MethodRoel Wieringa. 69-94
- A Discipline for Handling Feature InteractionEgidio Astesiano, Gianna Reggio. 95-119
- Merging Changes to Software SpecificationsValdis Berzins. 121-131
- Combining and Distributing Hierarchical SystemsChris George, Do Tien Dung. 133-153
- Software Engineering Issues for Network ComputingCarlo Ghezzi, Giovanni Vigna. 155-177
- A Two-Layered Approach to Support Systematic Software DevelopmentMaritta Heisel, Stefan Jähnichen. 179-202
- A Framework for Evaluating System and Software Requirements Specification ApproachesErik Kamsties, H. Dieter Rombach. 203-222
- Formal Methods and Industrial-Strength Computer NetworksJoy N. Reed. 223-233
- Integration Tools Supporting Development ProcessesStefan Gruner, Manfred Nagl, Andy Schürr. 235-256
- Formal Methods and PrototypingLuqi. 257-272
- Abstraction and Modular Verification of Infinite-State Reactive SystemsZohar Manna, Michael Colón, Bernd Finkbeiner, Henny Sipma, Tomás E. Uribe. 273-292
- NSA s MISSI Reference Architecture - Moving from Prose to Precise SpecificationSigurd Meldal, David C. Luckham. 293-329
- Requirements Engineering Repositories: Formal Support for Informal Teamwork MethodsHans W. Nissen, Matthias Jarke. 331-355