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. 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. For software engineers.

Fundamentals of Software Engineering

Computers & Technology

Ghezzi, Carlo

Jazayeri, Mehdi

Mandrioli, Dino

Programming

Pearson

Computer Science

PRENTICE/HALL

Aims to take away the mystery behind the way that computers work. Uses the ANSI-C programming language throughout, and introduces C++. Paper.

The Art and Craft of Computing

Ceri, Stefano

Sbattella, Licia

Addison-Wesley

Explores basic concepts of theoretical computer science and shows how they apply to current programming practice. Coverage ranges from classical topics, such as formal languages, automata, and compatibility, to formal semantics, models for concurrent computation, and program semantics.

Theoretical Foundations of Computer Science

wiley

No Theoretical Foundations of Computer Science Read a customer review or write one .

Science & Math

Mathematics

Krieger Pub. Co

See the best price to sell, buy, or rent books by Mandrioli, Dino. BookScouter helps to compare book prices from 25+ online bookstores and 30+ buyback vendors with a single search.

Books by Mandrioli, Dino