Cantitate/Preț
Produs

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

Autor Reinhold Ploesch
en Limba Engleză Hardback – 21 apr 2004
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.
Citește tot Restrânge

Toate formatele și edițiile

Toate formatele și edițiile Preț Express
Paperback (1) 31185 lei  6-8 săpt.
  Springer Berlin, Heidelberg – 10 oct 2012 31185 lei  6-8 săpt.
Hardback (1) 31791 lei  6-8 săpt.
  Springer Berlin, Heidelberg – 21 apr 2004 31791 lei  6-8 săpt.

Preț: 31791 lei

Preț vechi: 39738 lei
-20% Nou

Puncte Express: 477

Preț estimativ în valută:
6088 6588$ 5075£

Carte tipărită la comandă

Livrare economică 09-23 decembrie

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540434863
ISBN-10: 3540434860
Pagini: 228
Ilustrații: XII, 215 p.
Dimensiuni: 155 x 235 x 18 mm
Greutate: 0.5 kg
Ediția:2004
Editura: Springer Berlin, Heidelberg
Colecția Springer
Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Professional/practitioner

Cuprins

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

Caracteristici

Combination of process and programming methodologies into one cohesive framework Scientifically solid, yet practically affordable and understandable approach Appropriate for AVERAGE developers in AVERAGE projects Description based on standards like UML/OCL, CORBA, EJB Enhanced by best-practices chapters with real-world examples Includes supplementary material: sn.pub/extras