The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Bertrand Meyer: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Bertrand Meyer
    Genericity versus Inheritance. [Citation Graph (5, 0)][DBLP]
    OOPSLA, 1986, pp:391-405 [Conf]
  2. Bertrand Meyer
    Reusability: The Case for Object-Oriented Design. [Citation Graph (4, 0)][DBLP]
    IEEE Software, 1987, v:4, n:2, pp:50-64 [Journal]
  3. Bertrand Meyer
    Applying "Design by Contract". [Citation Graph (2, 0)][DBLP]
    IEEE Computer, 1992, v:25, n:10, pp:40-51 [Journal]
  4. Bertrand Meyer
    The Software Knowledge Base. [Citation Graph (1, 0)][DBLP]
    ICSE, 1985, pp:158-165 [Conf]
  5. Bertrand Meyer
    Lessons from the Design of the Eiffel Libraries. [Citation Graph (1, 0)][DBLP]
    Commun. ACM, 1990, v:33, n:9, pp:68-88 [Journal]
  6. Bertrand Meyer
    Blueprint for Real Progress in Software Engineering. [Citation Graph (0, 0)][DBLP]
    APSEC, 2003, pp:3- [Conf]
  7. Bertrand Meyer
    A Framework for Proving Contract-Equipped Classes. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2003, pp:108-125 [Conf]
  8. Bertrand Meyer
    The Power of Abstraction, Reuse, and Simplicity: An Object-Oriented Library for Event-Driven Design. [Citation Graph (0, 0)][DBLP]
    Essays in Memory of Ole-Johan Dahl, 2004, pp:236-271 [Conf]
  9. Bertrand Meyer
    On the Role of Methodology: Advice to the Advisors. [Citation Graph (0, 0)][DBLP]
    COODBSE, 1994, pp:1-5 [Conf]
  10. Bernd Schoeller, Tobias Widmer, Bertrand Meyer
    Making Specifications Complete Through Models. [Citation Graph (0, 0)][DBLP]
    Architecting Systems with Trustworthy Components, 2004, pp:48-70 [Conf]
  11. Bertrand Meyer
    Attached Types and Their Application to Three Open Problems of Object-Oriented Programming. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2005, pp:1-32 [Conf]
  12. Bertrand Meyer
    Eiffel: Version 3 and beyond. [Citation Graph (0, 0)][DBLP]
    Eiffel, 1992, pp:5- [Conf]
  13. Bertrand Meyer
    The Outside-In Method of Teaching Introductory Programming. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2003, pp:66-78 [Conf]
  14. Bertrand Meyer, Jean-Marc Nerson, Masanobu Matsuo
    EIFFEL: Object-Oriented Design for Software Engineering. [Citation Graph (0, 0)][DBLP]
    ESEC, 1987, pp:221-229 [Conf]
  15. Karine Arnout, Bertrand Meyer
    Finding Implicit Contracts in .NET Components. [Citation Graph (0, 0)][DBLP]
    FMCO, 2002, pp:285-318 [Conf]
  16. Andreas Leitner, Ilinca Ciupa, Bertrand Meyer, Mark Howard
    Reconciling Manual and Automated Testing: The AutoTest Experience. [Citation Graph (0, 0)][DBLP]
    HICSS, 2007, pp:261- [Conf]
  17. Bertrand Meyer
    The Grand Challenge of Trusted Components. [Citation Graph (0, 0)][DBLP]
    ICSE, 2003, pp:660-667 [Conf]
  18. Bertrand Meyer
    A Basis for the Constructive Approach to Programming. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1980, pp:293-298 [Conf]
  19. Bertrand Meyer
    Beyond Design by Contract: Towards Formally Provable Object-Oriented Software (Abstract). [Citation Graph (0, 0)][DBLP]
    ISOTAS, 1996, pp:56- [Conf]
  20. Bertrand Meyer
    Static Typing. [Citation Graph (0, 0)][DBLP]
    ISOTAS, 1996, pp:57-75 [Conf]
  21. Ilinca Ciupa, Andreas Leitner, Manuel Oriol, Bertrand Meyer
    Object distance and its application to adaptive random testing of object-oriented programs. [Citation Graph (0, 0)][DBLP]
    Random Testing, 2006, pp:55-63 [Conf]
  22. David Bulman, S. Tucker Taft, Bertrand Meyer, Greg Nelson, Mike Kilian
    OOP in Languages Providing Strong, Static Typing (Panel). [Citation Graph (0, 0)][DBLP]
    OOPSLA, 1992, pp:87-91 [Conf]
  23. Esther Dyson, Bertrand Meyer, Daniel Weinreb, William N. Joy
    Objects in their Eyes (Panel). [Citation Graph (0, 0)][DBLP]
    OOPSLA, 1989, pp:478- [Conf]
  24. Webb Stacy, Richard Helm, Gail E. Kaiser, Bertrand Meyer
    Ensuring Semantic Integrity of Reusable Objects (Panel). [Citation Graph (0, 0)][DBLP]
    OOPSLA, 1992, pp:298-302 [Conf]
  25. Stephanie Balzer, Patrick Th. Eugster, Bertrand Meyer
    Can Aspects Implement Contracts?. [Citation Graph (0, 0)][DBLP]
    RISE, 2005, pp:145-157 [Conf]
  26. Bertrand Meyer
    Doing More with Contracts: Towards Automatic Tests and Proofs. [Citation Graph (0, 0)][DBLP]
    RISE, 2005, pp:1- [Conf]
  27. Bertrand Meyer
    The Context of Object Computation (extended abstract). [Citation Graph (0, 0)][DBLP]
    SEFM, 2006, pp:13-17 [Conf]
  28. Michela Pedroni, Bertrand Meyer
    The inverted curriculum in practice. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 2006, pp:481-485 [Conf]
  29. Bertrand Meyer
    A Three-Level Approach to the Description of Data Structures, and Notational Framework. [Citation Graph (0, 0)][DBLP]
    Workshop on Data Abstraction, Databases and Conceptual Modelling, 1980, pp:164-166 [Conf]
  30. John Mylopoulos, Martin S. Feather, Bertrand Meyer, Paolo Paolini, Diane C. P. Smith, Gary G. Hendrix
    Relationships Between and Among Models (discussion). [Citation Graph (0, 0)][DBLP]
    Workshop on Data Abstraction, Databases and Conceptual Modelling, 1980, pp:77-82 [Conf]
  31. Bertrand Meyer
    Towards Practical Proofs of Class Correctness. [Citation Graph (0, 0)][DBLP]
    ZB, 2003, pp:359-387 [Conf]
  32. Bertrand Meyer
    Building Trusted Components. [Citation Graph (0, 0)][DBLP]
    TOOLS (39), 2001, pp:347- [Conf]
  33. Tanit Talbi, Bertrand Meyer, Emmanuel Stapf
    A Metric Framework for Object-Oriented Development. [Citation Graph (0, 0)][DBLP]
    TOOLS (39), 2001, pp:164-172 [Conf]
  34. Bertrand Meyer
    Open Problems in Object-Oriented Programming. [Citation Graph (0, 0)][DBLP]
    TOOLS (39), 2001, pp:8- [Conf]
  35. Bertrand Meyer
    Design by Contract: Making Object-Oriented Programs that Work. [Citation Graph (0, 0)][DBLP]
    TOOLS (25), 1997, pp:360- [Conf]
  36. James Coplien, Joseph Gil, David Harel, Bertrand Meyer
    Keynotes. [Citation Graph (0, 0)][DBLP]
    TOOLS (23), 1997, pp:2- [Conf]
  37. Bertrand Meyer
    Can We Make Componentware Succeed? [Citation Graph (0, 0)][DBLP]
    TOOLS (26), 1998, pp:3- [Conf]
  38. Bertrand Meyer
    Panel: Issues in Moving to a Component-Based Industry. [Citation Graph (0, 0)][DBLP]
    TOOLS (26), 1998, pp:493- [Conf]
  39. Bertrand Meyer
    Design by Contract: The Eiffel Method. [Citation Graph (0, 0)][DBLP]
    TOOLS (26), 1998, pp:446- [Conf]
  40. Bertrand Meyer
    The Future of Component-Based Development. [Citation Graph (0, 0)][DBLP]
    TOOLS (33), 2000, pp:5- [Conf]
  41. Bertrand Meyer
    Programming with Agents: Combining O-O and Functional Techniques. [Citation Graph (0, 0)][DBLP]
    TOOLS (33), 2000, pp:460- [Conf]
  42. Bertrand Meyer
    Design By Contract and the Component Revolution. [Citation Graph (0, 0)][DBLP]
    TOOLS (34), 2000, pp:515-518 [Conf]
  43. Roger Smith, Bertrand Meyer, Clemens A. Szyperski, Gilda Pour
    Component-Based Development? Refining the Blueprint. [Citation Graph (0, 0)][DBLP]
    TOOLS (34), 2000, pp:563-0 [Conf]
  44. Bertrand Meyer
    Agent-Based Programming In Eiffel. [Citation Graph (0, 0)][DBLP]
    TOOLS (34), 2000, pp:477-478 [Conf]
  45. Bertrand Meyer
    The Unity of Software and the Power of Roundtrip Engineering. [Citation Graph (0, 0)][DBLP]
    TOOLS (30), 1999, pp:3- [Conf]
  46. Bertrand Meyer
    Managing By Contract. [Citation Graph (0, 0)][DBLP]
    TOOLS (30), 1999, pp:412- [Conf]
  47. Bertrand Meyer
    Seamless Development with the Eiffel Method. [Citation Graph (0, 0)][DBLP]
    TOOLS (29), 1999, pp:397- [Conf]
  48. Bertrand Meyer
    The Unity of Software and the Power of Roundtrip Engineering. [Citation Graph (0, 0)][DBLP]
    TOOLS (29), 1999, pp:2- [Conf]
  49. Bertrand Meyer
    Concurrent Object-Oriented Programming. [Citation Graph (0, 0)][DBLP]
    TOOLS (38), 2001, pp:203- [Conf]
  50. Bertrand Meyer
    Towards an Object-Oriented Curriculum. [Citation Graph (0, 0)][DBLP]
    TOOLS (11), 1993, pp:585-594 [Conf]
  51. Bertrand Meyer
    At the Edge of Design by Contract. [Citation Graph (0, 0)][DBLP]
    TOOLS (38), 2001, pp:3- [Conf]
  52. Bertrand Meyer
    Object-Oriented Management. [Citation Graph (0, 0)][DBLP]
    TOOLS (10), 1993, pp:289- [Conf]
  53. Bertrand Meyer
    Systematic Concurrent Object-Oriented Programming. [Citation Graph (0, 0)][DBLP]
    TOOLS (11), 1993, pp:553- [Conf]
  54. Bertrand Meyer
    Keynote: Uses and Misuses of Inheritance. [Citation Graph (0, 0)][DBLP]
    TOOLS (13), 1994, pp:9- [Conf]
  55. Bertrand Meyer
    Library Design. [Citation Graph (0, 0)][DBLP]
    TOOLS (13), 1994, pp:519- [Conf]
  56. Bertrand Meyer
    Object-Oriented Management. [Citation Graph (0, 0)][DBLP]
    TOOLS (8), 1992, pp:254- [Conf]
  57. Bertrand Meyer
    Do we know how to find the classes? [Citation Graph (0, 0)][DBLP]
    TOOLS (5), 1991, pp:349-350 [Conf]
  58. Bertrand Meyer
    Re-engineering software by isolating abstractions. [Citation Graph (0, 0)][DBLP]
    TOOLS (5), 1991, pp:369-370 [Conf]
  59. Bertrand Meyer
    Systematic Concurrent Object-Oriented Programming. [Citation Graph (0, 0)][DBLP]
    TOOLS (12/9), 1993, pp:325- [Conf]
  60. Bertrand Meyer
    Systematic Concurrent Object-Oriented Programming. [Citation Graph (0, 0)][DBLP]
    TOOLS (12/9), 1993, pp:523-576 [Conf]
  61. Bertrand Meyer
    Dependable Software. [Citation Graph (0, 0)][DBLP]
    Research Results of the DICS Program, 2006, pp:1-33 [Conf]
  62. Bertrand Meyer
    Principles of Package Design. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1982, v:25, n:7, pp:419-428 [Journal]
  63. Bertrand Meyer
    Systematic Concurrent Object-Oriented Programming. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1993, v:36, n:9, pp:56-80 [Journal]
  64. Bertrand Meyer, Willy Zwaenepoel
    Europe's computer scientists take fate into their own hands. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 2006, v:49, n:3, pp:21-24 [Journal]
  65. Karine Arnout, Bertrand Meyer
    Uncovering Hidden Contracts: The .NET Example. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 2003, v:36, n:11, pp:48-55 [Journal]
  66. Christopher Creel, Bertrand Meyer, Philippe Stephan
    The Opportunity of a Millennium. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1997, v:30, n:11, pp:137-138 [Journal]
  67. Jean-Marc Jézéquel, Bertrand Meyer
    Design by Contract: The Lessons of Ariane. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1997, v:30, n:1, pp:129-130 [Journal]
  68. Ted G. Lewis, Dave Power, Bertrand Meyer, Jack Grimes, Mike Potel, Ronald J. Vetter, Phillip A. Laplante, Wolfgang Pree, Gustav Pomberger, Mark D. Hill, James R. Larus, David A. Wood, Hesham El-Rewini, Bruce W. Weide
    Where Is Software Headed? A Virtual Roundtable. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1995, v:28, n:8, pp:20-32 [Journal]
  69. Bertrand Meyer
    Software Engineering in the Academy. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 2001, v:34, n:5, pp:28-35 [Journal]
  70. Bertrand Meyer
    .NET Is Coming. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 2001, v:34, n:8, pp:92-97 [Journal]
  71. Bertrand Meyer
    Assessing a C# Text. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 2002, v:35, n:4, pp:86-88 [Journal]
  72. Bertrand Meyer
    The Unspoken Revolution in Software Engineering. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 2006, v:39, n:1, pp:121-124 [Journal]
  73. Bertrand Meyer
    Testable, Reusable Units of Cognition. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 2006, v:39, n:4, pp:20-24 [Journal]
  74. Bertrand Meyer
    The Conceptual Perspective. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1996, v:29, n:1, pp:86-88 [Journal]
  75. Bertrand Meyer
    The Reusability Challenge. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1996, v:29, n:2, pp:76-78 [Journal]
  76. Bertrand Meyer
    The many faces of inheritance: a taxonomy of taxonomy. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1996, v:29, n:5, pp:105-108 [Journal]
  77. Bertrand Meyer
    Schema Evolution: Concepts, Terminology, and Solutions. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1996, v:29, n:10, pp:119-121 [Journal]
  78. Bertrand Meyer
    Practice To Perfect: The Quality First Model. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1997, v:30, n:5, pp:102-106 [Journal]
  79. Bertrand Meyer
    The Next Software Breakthrough. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1997, v:30, n:7, pp:113-114 [Journal]
  80. Bertrand Meyer
    The Future of Object Technology. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1998, v:31, n:, pp:140-141 [Journal]
  81. Bertrand Meyer
    Tell Less, Say More: The Power of Implicitness. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1998, v:31, n:7, pp:97-98 [Journal]
  82. Bertrand Meyer
    The Role of Object-Oriented Metrics. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1998, v:31, n:11, pp:123-125 [Journal]
  83. Bertrand Meyer
    On To Components. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1999, v:32, n:1, pp:139-140 [Journal]
  84. Bertrand Meyer
    Every Little Bit Counts: Toward More Reliable Software. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1999, v:32, n:11, pp:131-133 [Journal]
  85. Bertrand Meyer
    A Really Good Idea. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1999, v:32, n:12, pp:144-147 [Journal]
  86. Bertrand Meyer, Karine Arnout
    Componentization: The Visitor Example. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 2006, v:39, n:7, pp:23-30 [Journal]
  87. Bertrand Meyer, Christine Mingins
    Component-Based Development: From Buzz to Spark - Guest Editors' Entroduction. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1999, v:32, n:7, pp:35-37 [Journal]
  88. Bertrand Meyer, Christine Mingins, Heinz Schmidt
    Providing Trusted Components to the Industry. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1998, v:31, n:5, pp:104-105 [Journal]
  89. Piotr Nienaltowski, Volkan Arslan, Bertrand Meyer
    Concurrent object-oriented programming on .NET. [Citation Graph (0, 0)][DBLP]
    IEE Proceedings - Software, 2003, v:150, n:5, pp:308-314 [Journal]
  90. Bertrand Meyer
    Incremental String Matching. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1985, v:21, n:5, pp:219-227 [Journal]
  91. Christopher Creel, Bertrand Meyer
    Is Object Technology Ready for the Embedded World? [Citation Graph (0, 0)][DBLP]
    JOOP, 1998, v:11, n:1, pp:69-71 [Journal]
  92. Bertrand Meyer
    Why Your next Project Should use Eiffel. [Citation Graph (0, 0)][DBLP]
    JOOP, 1996, v:9, n:2, pp:59-63 [Journal]
  93. Bertrand Meyer
    Then Years After. [Citation Graph (0, 0)][DBLP]
    JOOP, 1997, v:10, n:4, pp:8-12 [Journal]
  94. Bertrand Meyer
    The Component Combinator for Enterprise Applications. [Citation Graph (0, 0)][DBLP]
    JOOP, 1998, v:10, n:8, pp:5-9 [Journal]
  95. Bertrand Meyer
    Approaches to Portability. [Citation Graph (0, 0)][DBLP]
    JOOP, 1998, v:11, n:4, pp:68-70 [Journal]
  96. Bertrand Meyer
    The Power of Round-Trip Engineering. [Citation Graph (0, 0)][DBLP]
    JOOP, 1998, v:11, n:6, pp:93-95 [Journal]
  97. Bertrand Meyer
    Prelude to a Theory of Void. [Citation Graph (0, 0)][DBLP]
    JOOP, 1998, v:11, n:7, pp:36-48 [Journal]
  98. Bertrand Meyer
    Free EiffelBase: Eiffel Libraries Go Open Source. [Citation Graph (0, 0)][DBLP]
    JOOP, 1998, v:11, n:7, pp:8-10 [Journal]
  99. Bertrand Meyer
    Design by Contract, Components and Debugging. [Citation Graph (0, 0)][DBLP]
    JOOP, 1999, v:11, n:8, pp:75-79 [Journal]
  100. Bertrand Meyer
    The Start of an Eiffel Standard. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2002, v:1, n:2, pp:95-99 [Journal]
  101. Bertrand Meyer
    Proving Pointer Program Properties. Part 1: The Overall Object Structure. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2003, v:2, n:1, pp:77-100 [Journal]
  102. Bertrand Meyer
    Proving Pointer Program Properties. Part 1: Context and overview. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2003, v:2, n:2, pp:87-108 [Journal]
  103. Bertrand Meyer
    On an open issue of programming language phonetics. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2003, v:2, n:2, pp:109-110 [Journal]
  104. Bertrand Meyer
    Proving Pointer Program Properties. Part 2: The Overall Object Structure. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2003, v:2, n:3, pp:77-100 [Journal]
  105. Bertrand Meyer, Kristen Nygaard, Ole Lehrmann Madsen
    In Memory of Kristen Nygaard and Ole-Johan Dahl. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2002, v:1, n:4, pp:7-15 [Journal]
  106. Bertrand Meyer
    Eiffel: A language and environment for software engineering. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1988, v:8, n:3, pp:199-246 [Journal]
  107. Bertrand Meyer
    Cépage: Toward computer-aided design of software. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1988, v:8, n:5, pp:419-429 [Journal]
  108. Bertrand Meyer
    Static typing. [Citation Graph (0, 0)][DBLP]
    OOPS Messenger, 1995, v:6, n:4, pp:20-29 [Journal]
  109. Bertrand Meyer, Jean-Marc Nerson, Soon Hae Ko
    Showing Programs on a Screen. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1985, v:5, n:2, pp:111-142 [Journal]
  110. Bertrand Meyer
    On Formalism in Specifications. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 1985, v:2, n:1, pp:6-26 [Journal]
  111. Bertrand Meyer
    A Note on Computing Multiple Sums. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1978, v:8, n:1, pp:3-9 [Journal]
  112. Bertrand Meyer
    From Structured Programming to Object-Oriented Design: The Road to Eiffel. [Citation Graph (0, 0)][DBLP]
    Structured Programming, 1989, v:10, n:1, pp:19-39 [Journal]
  113. Bertrand Meyer
    Contract-Driven Development. [Citation Graph (0, 0)][DBLP]
    FASE, 2007, pp:11- [Conf]
  114. Ilinca Ciupa, Andreas Leitner, Manuel Oriol, Bertrand Meyer
    Experimental assessment of random testing for object-oriented software. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2007, pp:84-94 [Conf]
  115. Bertrand Meyer
    Proving What Programs Do Not. [Citation Graph (0, 0)][DBLP]
    MEMOCODE, 2007, pp:135- [Conf]
  116. Steven Fraser, James Gosling, Anders Hejlsberg, Ole Lehrmann Madsen, Bertrand Meyer, Guy L. Steele Jr.
    Celebrating 40 years of language evolution: simula 67 to the present and beyond. [Citation Graph (0, 0)][DBLP]
    OOPSLA Companion, 2007, pp:1021-1023 [Conf]
  117. Andreas Leitner, Ilinca Ciupa, Manuel Oriol, Bertrand Meyer, Arno Fiva
    Contract driven development = test driven development - writing test cases. [Citation Graph (0, 0)][DBLP]
    ESEC/SIGSOFT FSE, 2007, pp:425-434 [Conf]
  118. Bertrand Meyer, Ilinca Ciupa, Andreas Leitner, Lisa Ling Liu
    Automatic Testing of Object-Oriented Software. [Citation Graph (0, 0)][DBLP]
    SOFSEM (1), 2007, pp:114-129 [Conf]
  119. Michela Pedroni, Manuel Oriol, Bertrand Meyer
    A framework for describing and comparing courses and curricula. [Citation Graph (0, 0)][DBLP]
    ITiCSE, 2007, pp:131-135 [Conf]
  120. Lisa (Ling) Liu, Bertrand Meyer, Bernd Schoeller
    Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation. [Citation Graph (0, 0)][DBLP]
    TAP, 2007, pp:114-130 [Conf]

  121. Inferring Loop Invariants Using Postconditions. [Citation Graph (, )][DBLP]


  122. The Allure and Risks of a Deployable Software Engineering Project: Experiences with Both Local and Distributed Development. [Citation Graph (, )][DBLP]


  123. IDE-integrated Support for Schema Evolution in Object-Oriented Applications. [Citation Graph (, )][DBLP]


  124. Verifying Executable Object-Oriented Specifications with Separation Logic. [Citation Graph (, )][DBLP]


  125. ARTOO: adaptive random testing for object-oriented software. [Citation Graph (, )][DBLP]


  126. Advanced hands-on training for distributed and outsourced software engineering. [Citation Graph (, )][DBLP]


  127. Object-Oriented Modeling of Object-Oriented Concepts. [Citation Graph (, )][DBLP]


  128. Finding Faults: Manual Testing vs. Random+ Testing vs. User Reports. [Citation Graph (, )][DBLP]


  129. Automated fixing of programs with contracts. [Citation Graph (, )][DBLP]


  130. A comparative study of programmer-written and automatically inferred contracts. [Citation Graph (, )][DBLP]


  131. Efficient unit test case minimization. [Citation Graph (, )][DBLP]


  132. Generating Fixes from Object Behavior Anomalies. [Citation Graph (, )][DBLP]


  133. An IDE-based, Integrated Solution to Schema Evolution of Object-Oriented Software. [Citation Graph (, )][DBLP]


  134. Automatic extraction of notions from course material. [Citation Graph (, )][DBLP]


  135. Compiler error messages: what can help novices? [Citation Graph (, )][DBLP]


  136. Automatic Testing and Fixing for Eiffel - (Extended Abstract). [Citation Graph (, )][DBLP]


  137. Proof-Transforming Compilation of Eiffel Programs. [Citation Graph (, )][DBLP]


  138. A Sound and Complete Program Logic for Eiffel. [Citation Graph (, )][DBLP]


  139. Reasoning about Function Objects. [Citation Graph (, )][DBLP]


  140. Course management with TrucStudio. [Citation Graph (, )][DBLP]


  141. Design and Code Reviews in the Age of the Internet. [Citation Graph (, )][DBLP]


  142. The Role of Contracts in Distributed Development. [Citation Graph (, )][DBLP]


  143. On the Predictability of Random Tests for Object-Oriented Software. [Citation Graph (, )][DBLP]


  144. On the Effectiveness of Test Extraction without Overhead. [Citation Graph (, )][DBLP]


  145. Satisfying Test Preconditions through Guided Object Selection. [Citation Graph (, )][DBLP]


  146. Eiffel as a Framework for Verification. [Citation Graph (, )][DBLP]


  147. Specifying Reusable Components. [Citation Graph (, )][DBLP]


  148. Contrats cachés en .NET. Mise au jour et ajout de contrats a posteriori. [Citation Graph (, )][DBLP]


  149. Design and code reviews in the age of the internet. [Citation Graph (, )][DBLP]


  150. Viewpoint - Research evaluation for computer science. [Citation Graph (, )][DBLP]


  151. Seven Principles of Software Testing. [Citation Graph (, )][DBLP]


  152. Programs That Test Themselves. [Citation Graph (, )][DBLP]


  153. Inferring Loop Invariants using Postconditions [Citation Graph (, )][DBLP]


  154. The theory and calculus of aliasing [Citation Graph (, )][DBLP]


  155. Specifying Reusable Components [Citation Graph (, )][DBLP]


Search in 0.317secs, Finished in 0.324secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002