Object-oriented software construction B Meyer Prentice Hall -- available for free use at https://bertrandmeyer.com/OOSC2, 1997 | 11718 | 1997 |
Applying "Design by Contract" B Meyer Computer 25 (10), 40-51, 1992 | 3609 | 1992 |
Eiffel: the language B Meyer Prentice-Hall, 1992 | 2639* | 1992 |
Reusability: The case for object-oriented design B Meyer IEEE software 4 (2), 50, 1987 | 580 | 1987 |
On formalism in specifications B Meyer IEEE Software 2 (1), 6-26, 1985 | 565* | 1985 |
Automated fixing of programs with contracts Y Wei, Y Pei, CA Furia, LS Silva, S Buchholz, B Meyer, A Zeller Proceedings of the 19th international symposium on Software testing and …, 2010 | 450 | 2010 |
Design by Contract: The lessons of Ariane JM Jézéquel, B Meyer Computer 30 (1), 129-130, 1997 | 423 | 1997 |
Agile! The Good, the Hype and the Ugly B Meyer The good, the Hype and the Ugly. Kappaleet, 275+xviii, 2014 | 398* | 2014 |
Reusable software: the Base object-oriented component libraries B Meyer Prentice-Hall, Inc., 1994 | 306 | 1994 |
Introduction to the Theory of Programming Languages B Meyer Available for free use at https://bertrandmeyer.com/ITPL, 1990 | 306 | 1990 |
Specification Language. JR Abrial, SA Schuman, B Meyer On the Construction of Programs, 343-410, 1980 | 290 | 1980 |
Systematic concurrent object-oriented programming B Meyer Communications of the ACM 36 (9), 56-80, 1993 | 281 | 1993 |
ARTOO: adaptive random testing for object-oriented software I Ciupa, A Leitner, M Oriol, B Meyer Proceedings of the 30th international conference on Software engineering, 71-80, 2008 | 280 | 2008 |
The grand challenge of trusted components B Meyer 25th International Conference on Software Engineering, 2003. Proceedings …, 2003 | 278 | 2003 |
Objektorientierte Softwareentwicklung B Meyer, W Simonsmeier Hanser, 1990 | 254 | 1990 |
Genericity versus inheritance B Meyer ACM Sigplan Notices 21 (11), 391-405, 1986 | 252 | 1986 |
Lessons from the design of the Eiffel libraries B Meyer Communications of the ACM 33 (9), 68-88, 1990 | 212 | 1990 |
Eiffel: A language and environment for software engineering B Meyer Journal of Systems and Software 8 (3), 199-246, 1988 | 207 | 1988 |
Generating fixes from object behavior anomalies V Dallmeier, A Zeller, B Meyer 2009 IEEE/ACM International Conference on Automated Software Engineering …, 2009 | 184 | 2009 |
Construcción de software orientado a objetos B Meyer Prentice-Hall, 2000 | 181 | 2000 |