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

NY 1982 Wiley. 327pp., index. VG plus, no DJ.

Programming Language Concepts

John Wiley&Sons

This book explains and illustrates key concepts of programming by taking a breadth approach to programming languages. It uses C++ as the primary language throughout, demonstrating imperative, functional and object-oriented language concepts.

Programming Languages

wiley

The revision of a popular, text/reference guide analyzes and evaluates the important concepts found in current programming languages based on how the language supports software development. Revisions include a consideration of more languages, new chapters on declarative programming and formal semantics, expanded coverage of object oriented programming and operational semantics, a more thorough discussion of programming environments, as well as more examples, explanations, and exercises. Improves the reader's ability to appreciate and evaluate programming languages. Identifies the important concepts in programming languages and reviews their strengths and limitations.

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

Software

John Wiley and Sons Ltd.

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

Science & Math

Mathematics

Krieger Pub. Co

This book explores research from the researchers' perspective: why to engage in research, what methods to follow, how to operate in daily life, what the responsibilities are, how to engage with society, and the ethical issues confronting professionals in their day-to-day research. The book systematically discusses what every student should be told when entering academic or industrial research so that they can avoid going through the painful process of learning by personal experience and lots of errors. Rather than being technical, it is philosophical and sometimes even anecdotal, combining factual information and commonly accepted knowledge on research and its methods, while at the same time clearly distinguishing between objective and factual concepts and data, and subjective considerations. The book is about scientific research in general and as such holds true for any scientific field. However, it is fair to say that the different fields differ in their research cultures and in their eco-systems. The book reflects the author's experience accumulated over almost 50 years of teaching graduate courses and lecturing in doctoral symposia at Politecnico di Milano, University of Zurich, TU Wien, Peking University, and at various conferences, and of academic research in informatics (also known as computer science). This book is mainly intended for students who are considering research as a possible career option; for in-progress researchers who have entered doctoral programs; and for junior postdoctoral researchers. It will also appeal to senior researchers involved in mentoring students and junior researchers.

Being a Researcher: An Informatics Perspective

Springer

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

Books by Ghezzi, Carlo

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

Fundamentals of Software Engineering

Fundamentals of Software Engineering

Programming Language Concepts

Programming Language Concepts

Programming Language Concepts

Theoretical Foundations of Computer Science

Programming Language Concepts

Theoretical Foundations of Computer Science

Being a Researcher: An Informatics Perspective

Programming Language Concepts