Reinhold Ploesch

Contracts, Scenarios and Prototypes (eBook, PDF)

An Integrated Approach to High Quality Software

• Format: PDF

Produktbeschreibung

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.

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Springer Berlin Heidelberg
• Seitenzahl: 215
• Erscheinungstermin: 27. Juni 2011
• Englisch
• ISBN-13: 9783642185649
• Artikelnr.: 53194144

Autorenporträt

Reinhold Ploesch, Johannes Kepler Universität Linz, Austria

Inhaltsangabe

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