Active Rules in Database Systems (Monographs in Computer Science)
A timely survey of the field from the point of view of some of the subject's most active researchers. Divided into several parts organized by theme, the book first covers the underlying methodology regarding active rules, followed by formal specification, rule analysis, performance analysis, and support tools. It then moves on to the... 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...
Kanban in Action
Kanban in Action is a down-to-earth, no-frills, get-to-know-the-ropes introduction to kanban. It's based on the real-world experience and observations from two kanban coaches who have introduced this process to dozens of teams. You'll learn the principles of why kanban works, as well as...
Specification by Example: How Successful Teams Deliver the Right Software
The book you hold in your hands, or see on your screen, is the result of a series
of studies of how teams all over the world specify, develop, and deliver the
right software, without defects, in very short cycles. It presents the collective
knowledge of about 50 projects, ranging from public websites to internal back-office
Software Product Quality Control
Quality is not a fixed or universal property of software; it depends on the context and goals of its stakeholders. Hence, when you want to develop a high-quality software system, the first step must be a clear and precise specification of quality. Yet even if you get it right and complete, you can be sure that it will become invalid over...
ActiveMQ in Action
To this day, enterprise message queuing is a concept that is not well understood by
most software developers. Commercial message-oriented middleware (MOM) did not
help to encourage adoption of the process; most of the MOMs on the market were
closed source, were costly to buy and support, and required trained system administrators
|Result Page: 42 41 40 39 38 37 36 35 34 33 |