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

Ploesch, Reinhold

 
9783540434863: Contracts, Scenarios and Prototypes: An Integrated Approach to High Quality Software
Rilegato
ISBN 10: 3540434860 ISBN 13: 9783540434863
Casa editrice: Springer-Verlag New York Inc, 2004

Sinossi

What is this Book About? At the beginning of the 21st century, computer systems and especially so- ware play an important role in our society. Software is contained in virtually every technical device that we use in everyday life (e.g., cellular phones and cars). Furthermore, computers and their software are used for leisure purposes at home (the Internet and computer games), at the office (e.g., writing letters and order processing), and for more complicated tasks such as controlling steel plants or insuring flight safety. Therefore, the quality of software (e.g., its correctness, re- ability, and efficiency) has become important not only in the context of critical systems (e.g., nuclear power plants) but also for our entire society, from business to leisure. Software engineering is the practical application of scientific knowledge for the economical production and use of high-quality software [Pomberger96]. The discipline aims at developing methods, techniques, tools, and standards to fulfill these aims. The number of methods and tools available to the software engineer nowadays is overwhelming; nevertheless, many software projects fail that is, do not meet their schedules, are over budget, do not meet the user needs, or simply have considerable quality defects. The numerous possible explanations for this situation include poor project management, unsuitable methods and tools used in the project, and poorly developed skills of the participating software engineers.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

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

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer-Verlag New York Inc
Data di pubblicazione
2004
Lingua
Inglese
ISBN 10 
3540434860
ISBN 13 
9783540434863
Rilegatura
Copertina rigida
Numero di pagine
215
Contatto del produttore
non disponibile
Persona responsabile
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Germania

Altre edizioni note dello stesso titolo

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

Edizione in evidenza

ISBN 10:  3642621600 ISBN 13:  9783642621604
Casa editrice: Springer, 2012
Brossura