フォロー
Bertrand Meyer
Bertrand Meyer
Professor of Software Engineering, Constructor University
確認したメール アドレス: inf.ethz.ch - ホームページ
タイトル
引用先
引用先
Object-oriented software construction
B Meyer
Prentice Hall -- available for free use at https://bertrandmeyer.com/OOSC2, 1997
118151997
Applying "Design by Contract"
B Meyer
Computer 25 (10), 40-51, 1992
36561992
Eiffel: the language
B Meyer
Prentice-Hall, 1992
2649*1992
Reusability: The case for object-oriented design
B Meyer
IEEE software 4 (2), 50, 1987
5871987
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
4592010
Design by Contract: The lessons of Ariane
JM Jézéquel, B Meyer
Computer 30 (1), 129-130, 1997
4271997
Agile! The Good, the Hype and the Ugly
B Meyer
The good, the Hype and the Ugly. Kappaleet, 275+xviii, 2014
418*2014
Introduction to the Theory of Programming Languages
B Meyer
Available for free use at https://bertrandmeyer.com/ITPL, 1990
3081990
Reusable software: the Base object-oriented component libraries
B Meyer
Prentice-Hall, Inc., 1994
3071994
Specification Language.
JR Abrial, SA Schuman, B Meyer
On the Construction of Programs, 343-410, 1980
2911980
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
2842008
Systematic concurrent object-oriented programming
B Meyer
Communications of the ACM 36 (9), 56-80, 1993
2821993
The grand challenge of trusted components
B Meyer
25th International Conference on Software Engineering, 2003. Proceedings …, 2003
2812003
Objektorientierte Softwareentwicklung
B Meyer, W Simonsmeier
Hanser, 1990
2551990
Genericity versus inheritance
B Meyer
ACM Sigplan Notices 21 (11), 391-405, 1986
2531986
Lessons from the design of the Eiffel libraries
B Meyer
Communications of the ACM 33 (9), 68-88, 1990
2151990
Eiffel: A language and environment for software engineering
B Meyer
Journal of Systems and Software 8 (3), 199-246, 1988
2091988
Generating fixes from object behavior anomalies
V Dallmeier, A Zeller, B Meyer
2009 IEEE/ACM International Conference on Automated Software Engineering …, 2009
1872009
Construcción de software orientado a objetos
B Meyer
Prentice-Hall, 2000
1822000
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20