Conquering Complexity

1. The Many Faces of Complexity in Software Design
José Luiz Fiadeiro

2. Simplicity and Complexity in Programs and Systems
Michael Jackson

3. Conquering Complexity
Gerard J. Holzmann

4. Separating Safety and Control Systems to Reduce Complexity
Alan Wassyng, Mark Lawford, Tom Maibaum

5. Conquering System Complexity
Norman F. Schneidewind

6. Accommodating Adaptive Systems Complexity with Change Tolerance
Shawn Bohner, Ramya Ravichandar, Andrew Milluzzi

7. You Can’t Get There from Here! Large Problems and Potential Solutions in Developing New Classes of Complex Computer Systems
Mike Hinchey, James L. Rash, Walter F. Truszkowski, Christopher A. Rouff, Roy Sterritt

8. 99% (Biological) Inspiration…
Mike Hinchey, Roy Sterritt

9. Dealing with Complexity in Agent-Oriented Software Engineering: The Importance of Interactions
Joaquin Peña, Renato Levy, Mike Hinchey, Antonio Ruiz-Cortés

10. Service-Orientation: Conquering Complexity with XMDD
Tiziana Margaria, Bernhard Steffen

11. Ten Commandments of Formal Methods… Ten Years On
Jonathan P. Bowen, Mike Hinchey

12. Conquering Complexity via Seamless Integration of Design-Time and Run-Time Verification
Antonio Filieri, Carlo Ghezzi, Raffaela Mirandola, Giordano Tamburrelli

13. Modelling Temporal Behaviour in Complex Systems with Timebands
Kun Wei, Jim Woodcock, Alan Burns

14. Software and System Modeling: Structured Multi-view Modeling, Specification, Design and Implementation
Manfred Broy

15. Conquering Complexity Through Distributed, Intelligent Agent Frameworks
John A. Anderson, Todd Carrico

16. Customer-Oriented Business Process Management: Vision and Obstacles
Tiziana Margaria, Steve Boßelmann, Markus Doedt, Barry D. Floyd, Bernhard Steffen

17. On the Problem of Matching Database Schemas
Marco A. Casanova, Karin K. Breitman, Antonio L. Furtado, Vânia M. P. Vidal, José A. F. Macêdo

Avainsanat: Computer Science, Computer Science, general