Includes 30 papers Types are classic research papers, surveys, essays, and summarizing papers Papers were subject to a thorough quality control process
Gregor Engels
Requirements Engineering design embedded systems grammars model checking modeling reverse engineering robotics semantics simulation software software architecture software architectures software engineering structured analysis