Wyniki wyszukiwania:

This landmark book is the first to describe a methodical derivation process for software metrics--measurements of software products and processes used to monitor, estimate, and control the quality and utility of software projects. The author reviews the subject, discusses a number of weaknesses inherent in software metrication, and describes a method for derivation and validation. Students and professionals in computer science, software engineering, and software quality assurance will want to read this important new contribution to the literature.

Formal specification is the name given to the use of discrete mathematics in computer science for describing the function of both hardware and software systems. Poor specification often gives rise to severe problems in software and hardware installation. This textbook is an introduction to both the theory and practice of formal specification, and this new edition includes two new chapters on Z, one giving a number of small examples in Z, the other covering design and Z. Prerequisites in this edition have been kept to a minimum since Professor Ince is at pains to develop the techniques of...

What is the basic nature of the modern computer? How does it work? How has it been possible to squeeze so much power into increasingly smaller machines? What will the next generations of computers look like? In this Very Short Introduction, Darrel Ince looks at the basic concepts behind all computers, the changes in hardware and software that allowed computers to become so small and commonplace, the challenges produced by the computer revolution--especially whole new modes of cybercrime and security issues, the Internet and the advent of "cloud computing," and the promise of whole new...