• Publications
  • Influence
Applying 'design by contract'
  • B. Meyer
  • Computer Science
  • Computer
  • 1 October 1992
TLDR
Methodological guidelines for object-oriented software construction that improve the reliability of the resulting software systems. Expand
  • 2,189
  • 152
  • PDF
Eiffel: The Language
Introduction Basic Conventions Classes, Universes, and Systems: The Architecture of Eiffel Software Storing Class Texts Classes Features Inheritance Clients and Exports Types Conformance Routines andExpand
  • 1,434
  • 117
Object-Oriented Software Construction, 2nd Edition
  • 1,188
  • 76
Object-oriented software construction (2nd ed.)
  • 448
  • 52
ARTOO: adaptive random testing for object-oriented software
TLDR
We have developed a notion of distance between objects and a new testing strategy called ARTOO, which selects as inputs objects that have the highest average distance to those already used as test inputs, and a set of experimental results of its application. Expand
  • 200
  • 21
  • PDF
On Formalism in Specifications
  • B. Meyer
  • Computer Science
  • IEEE Software
  • 1985
TLDR
A critique of a natural language specification, followed by presentation of a mathematical alternative, demonstrates the weakness of natural language and the strength of formalism in requirements specifications. Expand
  • 340
  • 18
  • PDF
Agile! - The Good, the Hype and the Ugly
  • B. Meyer
  • Engineering, Computer Science
  • 22 April 2014
Are you attracted by the promises of agile methods but put off by the fanaticism of many agile texts? Would you like to know which agile techniques work, which ones do not matter much, and which onesExpand
  • 123
  • 18
Automated Fixing of Programs with Contracts
TLDR
This paper describes AutoFix, an automatic debugging technique that can fix faults in general-purpose software. Expand
  • 146
  • 13
  • PDF
Generating Fixes from Object Behavior Anomalies
TLDR
PACHIKA leverages differences in program behavior to generate program fixes directly. Expand
  • 134
  • 11
  • PDF
The grand challenge of trusted components
  • B. Meyer
  • Computer Science
  • 25th International Conference on Software…
  • 3 May 2003
TLDR
Reusable components equipped with strict guarantees of quality can help reestablish software development on a stronger footing by taking advantage of the scaling effect of reuse to justify the extra effort of ensuring impeccable quality. Expand
  • 206
  • 10