This book provides selective, in-depth coverage of the fundamentals of software engineering by stressing principles and methods through rigorous formal and informal approaches. In contrast to other books which are based on the lifecycle model of software development, the authors emphasize identifying and applying fundamental principles that are applicable throughout the software lifecycle. This emphasis enables readers to respond to the rapid changes in technology that are common today. Principles and techniques are emphasized rather than specific tools--users learn why particular techniques should or should not be used. Understanding the principles and techniques on which tools are based makes mastering a variety of specific tools easier. KEY TOPICS: The authors discuss principles such as design, specification, verification, production, management and tools. Now coverage includes: more detailed analysis and explanation of object-oriented techniques; the use of Unified Modeling Language (UML); requirements analysis and software architecture; Model checking--a technique that provides automatic support to the human activity of software verification; GQM--used to evaluate software quality and help improve the software process; Z specification language. MARKET: For software engineers.

� propos de l?auteur

Carlo Ghezzi is a professor of computer science at the Politecnico di Milano, where he holds the chair of software engineering. He was named a Fellow of the Association for Computing Machinery in 2000 for his contributions to software engineering research.

Mehdi Jazayeri is a professor of computer science at the Technische Universit�t Wien, where he holds the chair of distributed systems. He spent many years in software development at several Silicon Valley companies, including 10 years at Hewlett-Packard Laboratories, Palo Alto, CA.

Dino Mandrioli is a professor of computer science at the Politecnico di Milano, where he holds the chair of theoretical computer science. His research interests are centered on the application of formal methods in the practice of software engineering.

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

Description de la librairie

Established in 2010, Ubiquity Trade is an online procurement entity offering merchandise in a variety of industries, including books, media, education materials, and more. All merchandise is shipped brand-new from various facilities across the continental USA.

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

Ubiquity Trade
FL, U.S.A.

Conditions de vente et de livraison

Conditions g�n�rales de vente

We guarantee the condition of every book as it's described on the Abebooks web sites. If
you're dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the
order hasn't arrived, you're eligible for a refund within 30 days of the estimated delivery
date. If you've changed your mind about a book that you've ordered, please use the Ask
bookseller a question link to contact us and we'll respond within 2 business days.

Palexbooks
54391 Village Center Drive
No 53
Idyllwild, CA ...

Pour plus d'information