• 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 are presented and the theory of contract design and the role of assertions in that theory are discussed.
Eiffel: The Language
  • B. Meyer
  • Computer Science
  • 11 October 1991
Introduction Basic Conventions Classes, Universes, and Systems: The Architecture of Eiffel Software Storing Class Texts Classes Features Inheritance Clients and Exports Types Conformance Routines and
Object-oriented software construction (2nd ed.)
Agile! - The Good, the Hype and the Ugly
  • B. Meyer
  • Engineering, Computer Science
  • 22 April 2014
TLDR
This is the first book to discuss agile methods, beyond the brouhaha, in the general context of modern software engineering, and is a key resource for projects that want to combine the best of established results and agile innovations.
ARTOO: adaptive random testing for object-oriented software
TLDR
Analysis of the results shows that, compared to a directed random strategy, ARTOO reduces the number of tests generated until the first fault is found, and uncovers faults that the random strategy does not find in the time allotted, and its performance is more predictable.
On Formalism in Specifications
  • B. Meyer
  • Computer Science
    IEEE Software
  • 1985
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
Automated Fixing of Programs with Contracts
TLDR
In an extensive experimental evaluation, AutoFix was applied to over 200 faults in four code bases of different maturity and quality, demonstrating that the AutoFix approach is successfully applicable to reduce the debugging burden in real-world scenarios.
Automated Fixing of Programs with Contracts
TLDR
In an extensive experimental evaluation, AutoFix was applied to over 200 faults in four code bases of different maturity and quality, demonstrating that the AutoFix approach is successfully applicable to reduce the debugging burden in real-world scenarios.
The grand challenge of trusted components
  • B. Meyer
  • Engineering, Computer Science
    25th International Conference on Software…
  • 3 May 2003
TLDR
This discussion examines work intended to help the concept of Trusted Component brings its full potential to the software industry, along two complementary directions: a "low road" leading to qualification of existing components, and a "high road" aimed at the production of components with fully proved correctness properties.
...
1
2
3
4
5
...