Contracts, Scenarios and Prototypes: An Integrated Approach to High Quality Software

Ploesch, Reinhold

ISBN 10: 3642621600 / ISBN 13: 9783642621604

Editore: Springer, 2012

Riguardo questo articolo

Like New.

Codice articolo ERICA80036426216006

Dati bibliografici

• Titolo: Contracts, Scenarios and Prototypes: An Integrated Approach to High Quality Software
• Editore: Springer
• Data di pubblicazione: 2012
• Lingua: Inglese
• ISBN 10: 3642621600
• ISBN 13: 9783642621604
• Rilegatura: Paperback
• Condizione: Like New
• Tipo di libro: book

Descrizione articolo

Riassunto

This book describes a scientifically solid, yet practically affordable and understandable approach. The developed methodological framework combines process and programming knowledge in a unique way to assure that software eventually complies with user requirements. The presentation is enhanced by best-practices chapters with real-world examples.

Contenuti

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).