Software Abstractions: Logic, Language, and Analysis
As a programmer working for Logica UK in London in the mid-1980’s, I became a passionate advocate of formal methods. Extrapolating from small successes with VDM and JSP, I was sure that widespread use of formal methods would bring an end to the software crisis.
One approach especially intrigued me. John Guttag and Jim...
From a Philosophical Point of View: Selected Studies One of the most important philosophers of recent times, Morton White has spent a career building bridges among the increasingly fragmented worlds of the humanities, social sciences, and natural sciences. From a Philosophical Point of View is a selection of White's best essays, written over a period of more than sixty years. Together these... Matrix Methods, Third Edition: Applied Linear Algebra
Matrix Methods: Applied Linear Algebra, 3e, as a textbook, provides a unique and comprehensive balance between the theory and computation of matrices. The application of matrices is not just for mathematicians. The use by other disciplines has grown dramatically over the years in response to the rapid changes in technology. Matrix methods is...
Patterns in Network Architecture: A Return to Fundamentals Groundbreaking Patterns for Building Simpler, More Powerful Networks
In Patterns in Network Architecture, pioneer John Day takes a unique approach to solving the problem of network architecture. Piercing the fog of history, he bridges the gap between our experience from the...
The Liberal Project and Human Rights: The Theory and Practice of a New World Order "Liberalism, assailed from all sides in the great political and legal debates of our time, is defended staunchly and deftly in this expansive and sensitive book. Charvet and Kaczynska-Nay combine their talents as political theorist and international lawyer, respectively, to produce a meticulous account of a human rights order embedded in the... Software and Systems Traceability
Software engineering is a pessimistic discipline. The glass is always half empty
rather than half full. Not surprising really, we are hardened to the grind of improving
quality, painstakingly testing and, never quite, eliminating bugs. Critical review is
of the essence. We know there is “no silver bullet”.
|Result Page: 16 15 14 13 12 11 10 9 8 7 |