Table of Contents

1 Software Quality.- 2 Contracts.- 3 Contracts and Analysis.- 4 Scenarios.- 5 Scenarios and Analysis.- 6 Contracts and Scenarios in the Software Development Process.- 7 Prototyping with Contracts and Scenarios.- 8 Contracts and Type Systems.- 9 Summarizing Remarks.- Appendix A: A Monitoring and Control Case Study— An Overview of the Deployment Process.- Appendix B: Grammar of SCL (Simple Contract Language).

Promotional Information

Springer Book Archives