search for books and compare prices
Tables of Contents for Requirements Targeting Software and Systems Engineering
Chapter/Section Title
Page #
Page Count
Foundations of Software Engineering
Domains as a Prerequisite for Requirements and Software Domain Perspectives & Facets, Requirements Aspects and Software Views
1
42
Dines Bjorner
Software and System Modeling Based on a Unified Formal Semantics
43
26
Manfred Broy
Franz Huber
Barbara Paech
Bernhard Rumpe
Katharina Spies
Postmodern Software Design with NYAM: Not Yet Another Method
69
26
Roel Wieringa
Methodology
A Discipline for Handling Feature Interaction
95
26
Egidio Astesiano
Gianna Reggio
Merging Changes to Software Specifications
121
12
Valdis Berzins
Combining and Distributing Hierarchical Systems
133
22
Chris George
Do Tien Dung
Software Engineering Issues for Network Computing
155
24
Carlo Ghezzi
Giovanni Vigna
A Two-Layered Approach to Support Systematic Software Development
179
24
Maritta Heisel
Stefan Jahnichen
Evaluation and Case Studies
A Framework for Evaluating System and Software Requirements Specification Approaches
203
20
Erik Kamsties
H. Dieter Rombach
Formal Methods and Industrial-Strength Computer Networks
223
12
Joy Reed
Tool Support and Prototyping
Integration Tools Supporting Development Processes
235
22
Stefan Gruner
Manfred Nagl
Andy Schurr
Formal Models and Prototyping
257
16
Luqi
Abstraction and Modular Verification of Infinite-State Reactive Systems
273
20
Zohar Manna
Michael A. Colon
Bernd Finkbeiner
Henny B. Sipma
Tomas E. Uribe
NSA's MISSI Reference Architecture--Moving from Prose to Precise Specification
293
38
Sigurd Meldal
David C. Luckham
Requirements Engineering Repositories: Formal Support for Informal Teamwork Methods
331
26
Hans W. Nissen
Mattias Jarke
Author Index
357