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).
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
(nessuna copia disponibile)
Cerca: Inserisci un desiderataNon riesci a trovare il libro che stai cercando? Continueremo a cercarlo per te. Se uno dei nostri librai lo aggiunge ad AbeBooks, ti invieremo una notifica!
Inserisci un desiderata