СТ |
Ensuring Strong Typing in an Object-Oriented Language |
1992 |
Meyer B. |
|
|
|
SIGPLAN Notices |
10.12.1992 |
СТ |
Ensuring Semantic Integrity of Reusable Objects (Panel) |
1992 |
Stacy W., Helm R., Kaiser G. E., Meyer B. |
|
|
|
SIGPLAN Notices |
15.12.1992 |
СТ |
Systematic Concurrent Object-Oriented Programming |
1993 |
Meyer B. |
|
|
|
Communications of the ACM |
03.11.1993 |
СТ |
Retail User Assistant: Evaluation of a User-Adapted Performance Support System |
1994 |
Meyer B. |
|
|
|
Lecture Notes in Computer Science |
01.02.1995 |
СТ |
Static Typing |
1995 |
Meyer B. |
|
|
|
OOPS Messenger |
15.11.1996 |
М |
Eiffel: The Language |
1992 |
Meyer B. |
|
|
|
|
01.07.1998 |
М |
Object-Oriented Software Construction |
1988 |
Meyer B. |
|
|
|
|
01.07.1998 |
М |
Introduction to the Theory of Programming Languages |
1990 |
Meyer B. |
|
|
|
|
01.07.1998 |
СТ |
Every Little Bit Counts: Toward More Reliable Software |
1999 |
Meyer B. |
|
|
|
Computer |
21.12.1999 |
СТ |
Finding Implicit Contracts in .NET Components |
2003 |
Arnout K., Meyer B. |
|
|
|
Lecture Notes in Computer Science |
31.01.2004 |
СТ |
The Outside-In Method of Teaching Introductory Programming |
2003 |
Meyer B. |
|
|
|
Lecture Notes in Computer Science |
18.02.2004 |
СТ |
The Power of Abstraction, Reuse, and Simplicity: An Object-Oriented Library for Event-Driven Design |
2004 |
Meyer B. |
|
|
|
Lecture Notes in Computer Science |
27.04.2004 |
СТ |
Attached Types and Their Application to Three Open Problems of Object-Oriented Programming |
2005 |
Meyer B. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
13.09.2005 |
СТ |
Making Specifications Complete Through Models |
2006 |
Schoeller B., Widmer T., Meyer B. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
31.08.2006 |
СТ |
Automatic Testing of Object-Oriented Software |
2007 |
Meyer B., Ciupa I., Liu L. L. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
02.03.2007 |
СТ |
Eiffel as a Framework for Verification |
2008 |
Meyer B. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
03.10.2008 |
СТ |
Preface: A Step Towards Verified Software |
2008 |
Meyer B., Woodcock J. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
03.10.2008 |