Follow
Bertrand Meyer
Bertrand Meyer
Professor of Software Engineering, Constructor University
Verified email at inf.ethz.ch - Homepage
Title
Cited by
Cited by
Year
Object-oriented software construction
B Meyer
Prentice Hall -- available for free use at https://bertrandmeyer.com/OOSC2, 1997
116551997
Applying "Design by Contract"
B Meyer
Computer 25 (10), 40-51, 1992
35851992
Eiffel: the language
B Meyer
Prentice-Hall, 1992
2630*1992
Reusability: The case for object-oriented design
B Meyer
IEEE software 4 (2), 50, 1987
5881987
On formalism in specifications
B Meyer
IEEE Software 2 (1), 6-26, 1985
559*1985
Design by Contract: The lessons of Ariane
JM Jézéquel, B Meyer
Computer 30 (1), 129-130, 1997
4201997
Agile! The Good, the Hype and the Ugly
B Meyer
The good, the Hype and the Ugly. Kappaleet, 275+xviii, 2014
386*2014
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
3282010
Reusable software: the Base object-oriented component libraries
B Meyer
Prentice-Hall, Inc., 1994
3061994
Introduction to the Theory of Programming Languages
B Meyer
Available for free use at https://bertrandmeyer.com/ITPL, 1990
3061990
Specification Language.
JR Abrial, SA Schuman, B Meyer
On the Construction of Programs, 343-410, 1980
2911980
Systematic concurrent object-oriented programming
B Meyer
Communications of the ACM 36 (9), 56-80, 1993
2751993
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
2742008
The grand challenge of trusted components
B Meyer
25th International Conference on Software Engineering, 2003. Proceedings …, 2003
2742003
Genericity versus inheritance
B Meyer
ACM Sigplan Notices 21 (11), 391-405, 1986
2511986
Objektorientierte Softwareentwicklung
B Meyer, W Simonsmeier
Hanser, 1990
2491990
Lessons from the design of the Eiffel libraries
B Meyer
Communications of the ACM 33 (9), 68-88, 1990
2081990
Eiffel: A language and environment for software engineering
B Meyer
Journal of Systems and Software 8 (3), 199-246, 1988
2051988
Generating fixes from object behavior anomalies
V Dallmeier, A Zeller, B Meyer
2009 IEEE/ACM International Conference on Automated Software Engineering …, 2009
1842009
Construcción de software orientado a objetos
B Meyer
Prentice-Hall, 2000
1772000
The system can't perform the operation now. Try again later.
Articles 1–20