Bertrand Meyer
#566
Most Influential Person Now
French computer scientist
Bertrand Meyer's AcademicInfluence.com Rankings
Bertrand Meyercomputer-science Degrees
Computer Science
#31
World Rank
#31
Historical Rank
Object Oriented Programming
#2
World Rank
#2
Historical Rank
Software Engineering
#6
World Rank
#6
Historical Rank
Database
#128
World Rank
#131
Historical Rank
Download Badge
Computer Science
Why Is Bertrand Meyer Influential?
(Suggest an Edit or Addition)According to Wikipedia, Bertrand Meyer is a French academic, author, and consultant in the field of computer languages. He created the Eiffel programming language and the idea of design by contract. Education and academic career Meyer received a master's degree in engineering from the École Polytechnique in Paris, a second master's degree from Stanford University, and a PhD from the Université de Nancy. He had a technical and managerial career for nine years at Électricité de France, and for three years was a member of the faculty of the University of California, Santa Barbara.
Bertrand Meyer's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- Applying 'design by contract' (1992) (2348)
- Eiffel: The Language (1991) (1464)
- Object-Oriented Software Construction, 2nd Edition (1997) (1184)
- Object-Oriented Software Construction (1988) (796)
- Object-oriented software construction (2nd ed.) (1997) (423)
- Reusability: The Case for Object-Oriented Design (1987) (393)
- On Formalism in Specifications (1985) (348)
- Design by Contract: The Lessons of Ariane (1997) (328)
- Automated Fixing of Programs with Contracts (2010) (317)
- Systematic concurrent object-oriented programming (1993) (221)
- ARTOO: adaptive random testing for object-oriented software (2008) (209)
- The grand challenge of trusted components (2003) (206)
- Introduction to the Theory of Programming Languages (1990) (200)
- Reusable Software: The Base Object-Oriented Component Libraries (1994) (180)
- Genericity versus inheritance (1986) (179)
- Agile! - The Good, the Hype and the Ugly (2014) (168)
- Generating Fixes from Object Behavior Anomalies (2009) (137)
- Eiffel: A language and environment for software engineering (1988) (128)
- Lessons from the design of the Eiffel libraries (1990) (123)
- Efficient unit test case minimization (2007) (123)
- Software Engineering in the Academy (2001) (115)
- An Empirical Study of API Usability (2013) (100)
- The unspoken revolution in software engineering (2006) (95)
- Experimental assessment of random testing for object-oriented software (2007) (92)
- A comparative study of programmer-written and automatically inferred contracts (2009) (89)
- Agile vs. structured distributed software development: A case study (2012) (88)
- Compiler error messages: what can help novices? (2008) (88)
- Inferring better contracts (2011) (87)
- Programs That Test Themselves (2009) (86)
- Automatic Testing of Object-Oriented Software (2007) (84)
- On To Components (1999) (84)
- ViewpointResearch evaluation for computer science (2009) (84)
- Inferring Loop Invariants Using Postconditions (2009) (82)
- Advances in object-oriented software engineering (1992) (79)
- Eiffel: programming for reusability and extendibility (1987) (77)
- Reconciling Manual and Automated Testing: The AutoTest Experience (2007) (74)
- Contract driven development = test driven development - writing test cases (2007) (72)
- Providing Trusted Components to the Industry (1998) (68)
- Loop invariants: Analysis, classification, and examples (2012) (65)
- Touch of Class: Learning to Program Well with Objects and Contracts (2009) (64)
- From Structured Programming to Object-Oriented Design: The Road to Eiffel (1989) (63)
- Seven Principles of Software Testing (2008) (63)
- Componentization: the Visitor example (2006) (60)
- On the Predictability of Random Tests for Object-Oriented Software (2008) (60)
- Object distance and its application to adaptive random testing of object-oriented programs (2006) (57)
- Code-based automated program fixing (2011) (55)
- Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment (2018) (54)
- The inverted curriculum in practice (2006) (54)
- Towards an Object-Oriented Curriculum (1993) (50)
- Teaching software engineering using globally distributed projects: the DOSE course (2011) (48)
- Is Branch Coverage a Good Measure of Testing Effectiveness? (2010) (47)
- The many faces of inheritance: a taxonomy of taxonomy (1996) (45)
- On the number and nature of faults found by random testing (2011) (44)
- What good are strong specifications? (2012) (43)
- Finding Faults: Manual Testing vs. Random+ Testing vs. User Reports (2008) (42)
- The software knowledge base (1985) (41)
- Design and code reviews in the age of the internet (2008) (41)
- SPOC-supported introduction to programming (2014) (39)
- How Do Distribution and Time Zones Affect Software Development? A Case Study on Communication (2011) (39)
- Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques (2011) (38)
- The Outside-In Method of Teaching Introductory Programming (2003) (37)
- Design By Contract. The Eiffel Method (1998) (37)
- Design of an Empirical Study for Comparing the Usability of Concurrent Programming Languages (2011) (37)
- Benchmarking Usability and Performance of Multicore Languages (2013) (36)
- Theory of Programs (2013) (36)
- .NET Is Coming (2001) (35)
- Flexible Invariants through Semantic Collaboration (2013) (35)
- Contracts for concurrency (2009) (35)
- Contracts in Practice (2012) (33)
- Attached Types and Their Application to Three Open Problems of Object-Oriented Programming (2005) (32)
- Balancing Agility and Formalism in Software Engineering, Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers (2008) (32)
- Object success - a manager's guide to object orientation, its impact on the corporation, and its u (1995) (31)
- Testable, reusable units of cognition (2006) (30)
- An Incremental Hint System For Automated Programming Assignments (2015) (30)
- Can Aspects Implement Contracts? (2005) (29)
- EIFFEL: Object-Oriented Design for Software Engineering (1987) (27)
- Reasoning about Function Objects (2010) (26)
- Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation (2007) (26)
- Awareness and Merge Conflicts in Distributed Software Development (2014) (26)
- Specifying Reusable Components (2010) (26)
- Incremental String Matching (1985) (25)
- Overloading vs. object technology (2001) (25)
- The Next Software Breakthrough (1997) (25)
- Uncovering Hidden Contracts: The .NET Example (2003) (24)
- Collaborative Software Development on the Web (2011) (24)
- The Role of Object-Oriented Metrics (1998) (24)
- Stateful testing: Finding more errors in code and contracts (2011) (24)
- C to O-O Translation: Beyond the Easy Stuff (2012) (23)
- A Sound and Complete Program Logic for Eiffel (2009) (23)
- Proof-Transforming Compilation of Eiffel Programs (2008) (22)
- Advanced hands-on training for distributed and outsourced software engineering (2010) (22)
- Automatic Verification of Advanced Object-Oriented Features: The AutoProof Approach (2011) (22)
- Objects, Components, Models and Patterns, 47th International Conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29-July 3, 2009. Proceedings (2009) (22)
- SCOOP - A Contract-Based Concurrent Object-Oriented Programming Model (2008) (22)
- A Modular Scheme for Deadlock Prevention in an Object-Oriented Programming Model (2010) (22)
- Verifying Eiffel Programs with Boogie (2011) (22)
- Prototyping a Concurrency Model (2013) (21)
- Avoid a Void: The Eradication of Null Dereferencing (2010) (21)
- Specification Language (1980) (21)
- A framework for describing and comparing courses and curricula (2007) (20)
- Concurrent object-oriented programming on .NET (2003) (20)
- Complete Contracts through Specification Drivers (2016) (20)
- UML: The Positive Spin (2001) (20)
- Balancing Agility and Formalism in Software Engineering: Second IFIP TC 2 Central and East Conference on Software Engineering Techniques, CEE-SET 2007 (2008) (19)
- Making Specifications Complete Through Models (2004) (19)
- The Role of Contracts in Distributed Development (2009) (19)
- Finding Implicit Contracts in .NET Components (2002) (18)
- Satisfying Test Preconditions through Guided Object Selection (2010) (18)
- Seamless requirements (2017) (18)
- Towards Practical Proofs of Class Correctness (2003) (18)
- Design by Contract: Making Object-Oriented Programs that Work (1997) (18)
- Component-Based Development: From Buzz to Spark - Guest Editors' Entroduction (1999) (18)
- Class Schema Evolution for Persistent Object-Oriented Software: Model, Empirical Study, and Automated Support (2011) (18)
- An experiment on teaching coordination in a globally distributed software engineering class (2014) (17)
- Automated Program Repair in an Integrated Development Environment (2015) (17)
- The Allure and Risks of a Deployable Software Engineering Project: Experiences with Both Local and Distributed Development (2008) (16)
- A Framework for Proving Contract-Equipped Classes (2003) (16)
- The Nature of Programming (1999) (16)
- Pattern Componentization: The Factory Example (2006) (16)
- EMPIRICAL STUDY OF NOVICE ERRORS AND ERROR PATHS IN OBJECT-ORIENTED PROGRAMMING (2006) (16)
- Unifying Configuration Management with Merge Conflict Detection and Awareness Systems (2013) (16)
- Principles of package design (1982) (15)
- Object-Oriented Software Construction, 1st edition (1988) (15)
- Steps Towards a Theory and Calculus of Aliasing (2010) (15)
- Static typing (1995) (15)
- Efficient and reasonable object-oriented concurrency (2014) (15)
- Object-Oriented Applications (1993) (15)
- DISCIPLINED EXCEPTIONS (1988) (15)
- Program Checking with Less Hassle (2013) (14)
- Unifying Requirements and Code: An Example (2015) (14)
- Dependable Software (2006) (14)
- Present and Ulterior Software Engineering (2017) (14)
- From calls to agents (1999) (14)
- Dependable Systems: Software, Computing, Networks, Research Results of the DICS Program (2006) (14)
- The Reusability Challenge (1996) (13)
- Proceedings of the Fortieth International Conference on Tools Pacific: Objects for internet, mobile and embedded applications (2002) (13)
- Object-Oriented Modeling of Object-Oriented Concepts (2009) (13)
- Automatic Program Repair by Fixing Contracts (2014) (13)
- The Spiral Model (2001) (13)
- Towards a theory and calculus of aliasing (2010) (13)
- Verified Software: Theories, Tools, Experiments, First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions (2005) (12)
- A metric framework for object-oriented development (2001) (12)
- A Basis for the Constructive Approach to Programming (1980) (12)
- What do beginning CS majors know (2009) (12)
- Contract-Driven Development (2007) (12)
- Proving Pointer Program Properties. Part 1: Context and overview (2003) (12)
- Proving Pointer Program Properties. Part 2: The Overall Object Structure (2003) (12)
- Is coverage a good measure of testing effectiveness?: An assessment using branch coverage and Random testing (2010) (12)
- Where Is Software Headed? A Virtual Roundtable (1995) (12)
- Making Sense of Agile Methods (2018) (12)
- An IDE-based, Integrated Solution to Schema Evolution of Object-Oriented Software (2009) (12)
- The new culture of software development (1990) (11)
- Type-safe covariance: Competent compilers can catch all catcalls (2003) (11)
- Alias calculus, change calculus and frame inference (2015) (11)
- SmartWalker: An intelligent robotic walker (2016) (11)
- The Power of Abstraction, Reuse, and Simplicity: An Object-Oriented Library for Event-Driven Design (2004) (10)
- The Start of an Eiffel Standard (2002) (10)
- Practice To Perfect: The Quality First Model (1997) (10)
- Object Success (1995) (10)
- The Dependent Delegate Dilemma (2005) (10)
- Systematic concurrent object-oriented programming : Concurrent object-oriented programming (1993) (10)
- Reality: a cousin twice removed [object technology] (1996) (10)
- Proceedings, 39th International Conference and Exhibition on Technology of Object-oriented Languages and Systems : TOOLS 39, 29 July-3 August, 2001, Santa Barbara, California, USA (2001) (10)
- On the Effectiveness of Test Extraction without Overhead (2009) (9)
- How to Cancel a Task (2013) (9)
- Deriving concurrent control software from behavioral specifications (2010) (9)
- Simple concurrency for robotics with the Roboscoop framework (2014) (9)
- Principles of language design and evolution (1999) (9)
- Empirical assessment of languages for teaching concurrency: Methodology and application (2011) (9)
- Framing the Frame Problem (2015) (9)
- A comprehensive operational semantics of the SCOOP programming model (2011) (9)
- Collaborative Debugging (2013) (9)
- Tools for Practical Software Verification (2012) (9)
- Course management with TrucStudio (2008) (8)
- Verifying Executable Object-Oriented Specifications with Separation Logic (2010) (8)
- Safe and Efficient Data Sharing for Message-Passing Concurrency (2014) (8)
- A Formal Reference for SCOOP (2010) (8)
- Handling Parallelism in a Concurrency Model (2013) (8)
- Object-Oriented Modeling of Object-Oriented Concepts A Case Study in Structuring an Educational Domain (2010) (8)
- AutoReq: Expressing and verifying requirements for control systems (2017) (8)
- Who is Accountable for Asynchronous Exceptions? (2012) (7)
- Formalizing Proof-Transforming Compilation of Eiffel Programs (2008) (7)
- Negative Variables and the Essence of Object-Oriented Programming (2014) (7)
- Object-Oriented Programming in Eiffel: 2nd Ed. (1998) (7)
- Automatic speed control for SmartWalker (2015) (7)
- EIFFEL: reusability and reliability (1988) (7)
- Really Automatic Scalable Object-Oriented Reengineering (2013) (7)
- Technology of object-oriented languages and systems TOOLS 17 (1995) (7)
- SmartWalker: Towards an Intelligent Robotic Walker for the Elderly (2015) (7)
- Demonic Testing of Concurrent Programs (2012) (7)
- Writing correct software with Eiffel (1989) (7)
- IDE-integrated Support for Schema Evolution in Object-Oriented Applications (2007) (7)
- Ensuring semantic integrity of reusable objects (panel) (1992) (7)
- Design By Contract and the Component Revolution (2000) (7)
- Contract-based general-purpose GPU programming (2014) (6)
- Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering (2013) (6)
- Test Wizard : Automatic test case generation based on Design by Contract TM (2003) (6)
- Automatic extraction of notions from course material (2008) (6)
- Europe's computer scientists take fate into their own hands (2006) (6)
- A Really Good Idea (1999) (6)
- The New Culture of Software Development: Reflections on the practice of object-oriented design (2009) (6)
- Showing Programs on a Screen (1985) (6)
- Incremental research vs. paradigm-shift mania (2012) (6)
- The Future of Object Technology (1998) (6)
- Schema Evolution: Concepts, Terminology, and Solutions (1996) (6)
- Software Engineering Approaches for Offshore and Outsourced Development - 3rd International Conference, SEAFOOD@TOOLS 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings (2009) (6)
- The Role of Formalism in System Requirements (2021) (6)
- Tell Less, Say More: The Power of Implicitness (1998) (6)
- Eiffel as a Framework for Verification (2005) (6)
- An object-oriented environment: principles and application (1994) (6)
- A note on iterative Hanoi (1984) (6)
- Concurrent Software Engineering and Robotics Education (2015) (6)
- An Interference-Free Programming Model for Network Objects (2016) (5)
- The Ethics of Free Software (2006) (5)
- Ending null pointer crashes (2017) (5)
- Technology of Object-Oriented Languages and Systems : TOOLS 10 : proceedings of the Tenth International Conference, TOOLS, Europe '93, Dortmund, Germany (1992) (5)
- Ensuring strong typing in an object-oriented language (abstract) (1992) (5)
- Alias and Change Calculi, Applied to Frame Inference (2013) (5)
- Evotec: Evolving the Best Testing Strategy for Contract-Equipped Programs (2011) (5)
- Class Invariants: Concepts, Problems, Solutions (2016) (5)
- A Comparative Study of the Usability of Two Object-oriented Concurrent Programming Languages (2010) (5)
- Seamless Integration of Multirequirements in Complex Systems (2017) (5)
- A three-level approach to the description of data structures, and notational framework (1981) (5)
- Rules for component builders (1999) (5)
- Full Eiffel on . NET † (2002) (5)
- PROGRAMMING FOR REUSABILITY AND EXTENDIBILITY (1987) (5)
- A survey of loop invariants (2012) (4)
- The search for the laws of automatic random testing (2012) (4)
- At the Edge of Design by Contract (2001) (4)
- Teaching object technology (1996) (4)
- Cépage: Toward computer-aided design of software (1988) (4)
- Evidence-Based Automated Program Fixing (2011) (4)
- Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment: Second International Workshop, DEVOPS 2019, Château de Villebrumier, France, May 6–8, 2019, Revised Selected Papers (2020) (4)
- On the verification of SCOOP programs (2015) (4)
- Extracting implicit contracts from .NET components (2002) (4)
- Towards a Calculus of Object Programs (2011) (4)
- In memory of Ole-Johan Dahl and Kristen Nygaard. (2002) (4)
- Every Little Bit Counts: Toward More Reliable Software (1999) (4)
- News and Notification : Propagating Relevant Changes to Developers Software (2012) (4)
- The Component Combinator for Enterprise Applications (1998) (4)
- Proceedings of the eleventh international conference on Technology of object-oriented languages and systems (1992) (4)
- Formalizing Proof-Transforming Compilation of Eiffel Programs; ; Technical Report; (2008) (3)
- Coffman deadlocks in SCOOP (2014) (3)
- How Specifications Change and Why You Should Care (2012) (3)
- Relationships Between and Among Models (discussion) (1980) (3)
- Proceedings of the 1st international conference on Software engineering approaches for offshore and outsourced development (2007) (3)
- Eiffel: Version 3 and beyond (1992) (3)
- What is an object-oriented environment ? Five principles and their application (3)
- The Power of Round-Trip Engineering (1998) (3)
- Concurrency patterns for easier robotic coordination (2015) (3)
- Technology of Object-Oriented Languages and Systems Tools 5: Proceedings of the Fifth International Conference Tools. Santa Barbara 1991 (1992) (3)
- When reviews do more than sting (2013) (3)
- Expressing and verifying embedded software requirements (2017) (3)
- The concept of class invariant in object-oriented programming (2021) (3)
- Sequential and Concurrent Obje'ct-Oriented Programming (2009) (3)
- Component-Based Development? Refining the Blueprint (2000) (3)
- Performance analysis of SCOOP programs (2012) (3)
- Rational Ethics (2015) (3)
- Soundness and Completeness of a Program Logic for Eiffel (2009) (3)
- The Ugly, the Hype and the Good: an assessment of the agile approach (2014) (3)
- By students, for students: a production-quality multimedia library and its application to game-based teaching (2008) (3)
- Efficient and reasonable object-oriented concurrency (2015) (3)
- Ce´page: A software design tool (1986) (3)
- From Patterns to Components : The Visitor Library (2004) (3)
- Can asynchronous exceptions expire? (2012) (3)
- An application of program transformation to supercomputer programming (1985) (2)
- AutoFrame: Automatic Frame Inference for Object-Oriented Languages (2018) (2)
- Systematic evaluation of test failure results (2007) (2)
- Assessing a C# Text (2002) (2)
- Prelude to a Theory of Void (1998) (2)
- Fourteen Years of Software Engineering at ETH Zurich (2017) (2)
- Automated Debugging of Programs with Contracts (2010) (2)
- Proceedings, technology of object-oriented languages and systems : TOOLS 31, Nanjing, P.R. China, 22-25 September, 1999 (1999) (2)
- Refinements and Git Integration with Notifications and Monitoring Software Engineering Laboratory (2012) (2)
- In support of open reviews; better teaching through large-scale data mining (2011) (2)
- Empirical Software Engineering and Verification (2012) (2)
- Méthodes de Programmation, 1st edition (1978) (2)
- An Automatic Technique for Static Deadlock Prevention (2014) (2)
- Empirical answers to fundamental software engineering problems (panel) (2013) (2)
- Towards an Anatomy of Software Requirements (2019) (2)
- Processors and Their Collection (2012) (2)
- The role of formalism in system requirements (full version) (2019) (2)
- The .NET Training Course (2001) (2)
- Empirical Software Engineering and Verification: international summmer schools (2012) (2)
- SOFTWARE ARCHITECTURE : OBJECT-ORIENTED VS FUNCTIONAL (2008) (2)
- Celebrating 40 years of language evolution: simula 67 to the present and beyond (2007) (2)
- Formal Specification of Software Systems (2001) (2)
- The costs and pleasures of a computer science teacher (2018) (2)
- Monitors : Keeping Informed on Code Changes Independent Research Study (2012) (2)
- Design by Contract, Components and Debugging (1999) (2)
- What is an object-oriented environment? principles and their application (1993) (2)
- Is Object Technology Ready for the Embedded World? (1998) (2)
- A contract-based method to specify stimulus-response requirements (2017) (2)
- Proceedings, technology of object-oriented languages, TOOLS 26, August 3-7, 1998, Santa Barbara, California (1998) (1)
- Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013 (2013) (1)
- Gurus share insights onn objects (1996) (1)
- Automatic Testing and Fixing for Eiffel - (Extended Abstract) (2010) (1)
- Beyond Design by Contract: Towards Formally Provable Object-Oriented Software (Abstract) (1996) (1)
- In search of the shortest possible schedule (2019) (1)
- Assesing a C# text [Book Review] (2002) (1)
- Eiffel: applying the principles of object-oriented design (1988) (1)
- Managing By Contract (1999) (1)
- CONCURRENCY MADE EASY (2011) (1)
- Event-driven design (2013) (1)
- Software Engineering Techniques - Third IFIP TC 2 Central and East European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008, Revised Selected Papers (2011) (1)
- The conceptual perspective [Object Technology] (1996) (1)
- Automatic Translation of C Source Code to Eiffel (2012) (1)
- The Unity of Software and the Power of Roundtrip Engineering (1999) (1)
- Eiffel for E-commerce under .net (1)
- Release early and often: Developing software with Origo (2012) (1)
- Teaching Software Engineering through Robotics (2014) (1)
- The prior experience of entering CS students (2011) (1)
- Software Engineering Approaches for Offshore and Outsourced Development: 4th International Conference, SEAFOOD 2010, St. Petersburg, Russia, June 17-18, ... Notes in Business Information Processing) (2010) (1)
- Proceedings, 36th International Conference on Technology of Object-Oriented Languages and Systems : TOOLS-Asia 2000, October 30-November 4,2000, Xi'an, China (2000) (1)
- Proceedings 1st Workshop on Formal Integrated Development Environment: The Gotthard Approach: Designing an Integrated Verification Environment for Eiffel (2014) (1)
- Programming languages and tools (2013) (1)
- Instant.Net (2002) (1)
- On an open issue of programming language phonetics (2003) (1)
- Certificates and Separation Logic (2013) (1)
- Objects, Components, Models and Patterns, 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings (2008) (1)
- Object-Oriented Management (1992) (1)
- Knowledgeable beginners (2012) (1)
- A note on computing multiple sums (1978) (1)
- Uncovering Contracts: The .NET Example (2003) (1)
- Agile practices: managerial (2014) (1)
- The Evolution of Contracts (2012) (1)
- Handbook of Requirements and Business Analysis (2022) (1)
- Applying Search in an Automatic Contract-Based Testing Tool (2013) (1)
- Software Technology: Methods and Tools: 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings (2019) (1)
- Library Design (1994) (1)
- Spotting hidden contracts : the . NET example (2003) (1)
- Free EiffelBase: Eiffel Libraries Go Open Source (1998) (1)
- AutoAlias: Automatic Variable-Precision Alias Analysis for Object-Oriented Programs (2018) (1)
- Technology of Object-Oriented Languages and Systems 24 (1997) (1)
- Panel: Programming Language Paradigms: Past, Present, and Future (2007) (1)
- The theory and calculus of aliasing (2010) (1)
- Record-Replay Debugging for Concurrent SCOOP Programs (2011) (1)
- On the Role of Methodology: Advice to the Advisors (1994) (1)
- Proceedings of the Third IFIP TC 2 Central and East European conference on Software engineering techniques (2008) (1)
- Understanding CS1 students; defective software (2012) (0)
- Type conversions in an O-O language with inheritance (2001) (0)
- TOOLS 1998: 28th International Conference on Technology of Object-Oriented Languages and Systems, 23-26 November 1998, Melbourne, Australia (1998) (0)
- SCOOP for Robotics Application of SCOOP to Mission Control in Robotics (2014) (0)
- Issues In Moving To A Component-based Industry (1998) (0)
- Dealing with objects (2013) (0)
- An introduction to C# (from material by Benjamin Morandi) (2009) (0)
- Introductory Theory to Programming Languages (1988) (0)
- Proceedings : technology of object-oriented languages and Systems , TOOLS 23, July 28 - August 1, 1997, Santa Barbara, California (1998) (0)
- OOP in languages providing strong, static typing (panel session) (1992) (0)
- An introduction to Java (from material by Marco Piccioni) (2009) (0)
- TrucStudio - Refactoring TrucSharing (2009) (0)
- The Context of Object Computation (extended abstract) (2006) (0)
- Software Engineering Techniques: Third IFIP TC 2 Central and East-European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008, ... / Programming and Software Engineering) (2011) (0)
- The Design of Vector Programs (2009) (0)
- Proving What Programs Do Not (2007) (0)
- Technology of Object-Oriented Languages and Systems: Tools 4 : Proceedings of the Fourth International Conference, Tools, Paris, 1991 (1991) (0)
- Proceedings, technology of object-oriented languages and systems : TOOLS 32, 22-25 November, 1999, Melbourne, Australia (1999) (0)
- Trusted Components, Low Road and High Road (2003) (0)
- Building Trusted Components (2001) (0)
- Distributed Testing Sessions for Autotest Project Plan (0)
- Operations as objects: agents and lambda calculus (2013) (0)
- EATOOS-Testing Tool for Unit Testing of Object Oriented Software (2019) (0)
- Diff library in Eiffel ( Diffeif ) (2013) (0)
- Keynote: Uses and Misuses of Inheritance (1994) (0)
- The enemy: Big Upfront Anything (2014) (0)
- The industry of pure ideas (2013) (0)
- TOOLS 1992: 6th International Conference on Technology of Object-Oriented Languages and Systems, Sydney, Australia (1991) (0)
- Asynchronous Except ions in Concurrent Object-Oriented Programming (2006) (0)
- L'Eternité de Rimbaud (1991) (0)
- Verifying Traditional Object-Oriented Specifications with Separation Logic (2009) (0)
- No-overloading Principle (2001) (0)
- Point/Counterpoint (2009) (0)
- Creating objects and executing systems (2013) (0)
- Chapter 2 The New Culture of Software Development : Reflections on the practice of object-oriented design (2009) (0)
- Ten Years After (1997) (0)
- Proceedings : technology of object-oriented languages, TOOLS 24, September, 1997, Beijung, China (1998) (0)
- Freefinement (2012) (0)
- IMPROVING RELEVANCY OF DYNAMICALLY-INFERRED CONTRACTS IN EIFFEL (2009) (0)
- Re-engineering software by isolating abstractions (1991) (0)
- Formality in Software Requirements (2019) (0)
- Profiling of SCOOP Programs Master Thesis (2010) (0)
- Eiffel - the environment Version 2.2 (1989) (0)
- On the Veri cation of SCOOP Programs (2015) (0)
- Just enough hardware (2013) (0)
- Blueprint for real progress in software engineering (2003) (0)
- Fe b 20 16 Unifying Requirements and Code : an Example (2018) (0)
- From C++ to C (2009) (0)
- The Anatomy of Requirements (2019) (0)
- Trust or verify? (2014) (0)
- Recursion and trees (2013) (0)
- The Grand Challenge of Trusted Components Bertrand Meyer (2003) (0)
- Routines, functional abstraction and information hiding (2013) (0)
- The interface of a class (2013) (0)
- Moving from Petaflops to Petadata (2015) (0)
- Devising and engineering an algorithm: Topological Sort (2013) (0)
- Dynamic Checking of Safe Concurrent Memory Access using Shared Ownership (2014) (0)
- Right and wrong: ten choices in language design (2022) (0)
- Designing for Reuse (2021) (0)
- An overview of the technology (1993) (0)
- Dealing with agile teams (2014) (0)
- Managing Class Evolution in Object Oriented Systems [14] Nachum Dershowitz, “Programming by Analogy,” in Machine Learning: an Artificial Intelligence Approach (1990) (0)
- Touch of class: Teaching introductory programming outside-in (2004) (0)
- A Failed Proof Can Yield a Useful Test (2022) (0)
- Concurrent object-oriented programming (2001) (0)
- Program structure basics (2013) (0)
- An introduction to C++ (from material by Nadia Polikarpova) (2009) (0)
- An IDE-based Solution for Schema Evolution of Object-Oriented Software (2009) (0)
- Seamless development with the Eiffel method (1999) (0)
- Origo Roadmap (2007) (0)
- 3.tedc Sit. in Ment, Nplex Record Tatlon (2009) (0)
- hy your next project should use (0)
- Eiffel library to generate Java bytecodes DIPLOMA PROJECT PLAN (2003) (0)
- Ifip Advances in Information and Communication Technology 348 Editor-in-chief Ifip – the International Federation for Information Processing Information Technology and Managing Quality Education Volume Editors Preface Information Technology and Managing Quality Education Organization Organizing Comm (0)
- Do we know how to find the classes? (1991) (0)
- TOOLS 1992: 7th International Conference on Technology of Object-Oriented Languages and Systems, Dortmund, Germany, Europe (1992) (0)
- Issues in Testing Object Orientated Systems (2007) (0)
- Programming System methodologies: By Carol A. Ziegler. Prentice-Hall, Englewood Cliffs, NJ, 1983; ISBN 0-13-729905-2 (1985) (0)
- Object-Oriented Requirements: a Unified Framework for Specifications, Scenarios and Tests (2022) (0)
- Software Engineering, Across Two Centuries (2020) (0)
- Reproducible executions of SCOOP programs Technical Report (2010) (0)
- The Principles : What Software Professionals Know (1993) (0)
- In Memory of Kristen Nygaard and Ole-Johan Dahl (2002) (0)
- Méthodes de Programmation, 3rd edition (1984) (0)
- Introduction to software engineering (2013) (0)
- Integrating SCOOP into EVE Master Thesis (2009) (0)
- Just Enough Logic (2013) (0)
- Assignment 0: Setup (2013) (0)
- An Object-Oriented Environment: Principles and Applications (1994) (0)
- Agile practices: technical (2014) (0)
- EiffelVision for Mac OS X Master Thesis (2009) (0)
- Precondition Satisfaction by Smart Object Selection in Random Testing (2009) (0)
- Some mistakes are worse than others: an open letter to professor David Gries (1983) (0)
- Objects in their Eyes (Panel) (1989) (0)
- Programming with Agents: Combining O-O and Functional Techniques (2000) (0)
- Improving Counterexample Quality from Failed Program Verification (2022) (0)
- AutoReq: expressing and verifying embedded software requirements (2018) (0)
- Doing More with Contracts: Towards Automatic Tests and Proofs (2005) (0)
- Distributed software engineering: Research and education challenges (2008) (0)
- TOOLS 2000: 34th International Conference on Technology of Object-Oriented Languages and Systems, 30 July - 3 August 2000, Santa Barbara, CA, USA (2000) (0)
- Training Toward an object-oriented curriculum (0)
- Co man deadlocks in SCOOP ∗ (2014) (0)
- Origo Roadmap; ; Technical Reports; (2007) (0)
- Fundamental data structures, genericity, and algorithm complexity (2013) (0)
- Software Engineering Approaches for Offshore and Outsourced Development - 1st International Conference, SEAFOOD@TOOLS 2007, Zurich, Switzerland, February 5-6, 2007. Revised Papers (2007) (0)
- Deconstructing agile texts (2014) (0)
- TO OBJECT-ORIENTED DESIGN : THE ROAD TO EIFFEL Bertrand Meyer (1989) (0)
- Agent-Based Programming In Eiffel (2000) (0)
- Keynote talk IIP: Proving (and revisiting) what programs do not (2014) (0)
- A Failure or the Future? .net Architecture .net Is Coming (0)
- The Future of Component-Based Development (2000) (0)
- The Opportunity of a Millennium (1997) (0)
- Overloading vs. Object Te c h n o l o g y (2001) (0)
- Special Issue on New Paradigms of Software Production and Deployment (2022) (0)
- TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software - The Way Ahead, 1-5 August 1999, Santa Barbara, CA, USA (1999) (0)
- Why Your next Project Should use Eiffel (1996) (0)
- TOOLS 1991: 5th International Conference on Technology of Object-Oriented Languages and Systems, Santa Barbara, CA, USA (1991) (0)
- Can We Make Componentware Succeed? (1998) (0)
- Awareness , autocompletion and resource management for a cloud-based IDE (2012) (0)
- Managing Class Evolution in Object Oriented Systems Managing Class Evolution in Object Oriented Systems Managing Class Evolution in Object Oriented Systems 8. Change Avoidance Managing Class Evolution in Object Oriented Systems Change Propagation (0)
- Chapter 5 Rational Ethics (2017) (0)
- Record-replay debugging for the SCOOP concurrency model (2011) (0)
- Automatic Alias Analysis and Frame Inference (2014) (0)
- O-O management (abstract) (1992) (0)
- Proceedings of the 1st international conference on Tests and proofs (2007) (0)
- NET Training Course by Bertrand Meyer (2001) (0)
- Open Problems in Object-Oriented Programming (2001) (0)
- TOOLS 1993: 10th International Conference on Technology of Object-Oriented Languages and Systems, Versailles, France, Europe (1993) (0)
- Reflection Library for Eiffel (0)
- SCOOP in practice (2010) (0)
- Design by Contract : The Lessons of Ariane Jean-Marc Jézéquel , IRISA / CNRS (0)
- Lessons from Formally Verified Deployed Software Systems (2023) (0)
- Approaches to Portability (1998) (0)
- CEP GE : a full-screen structural (2009) (0)
- Eiffel vs C + + : One language designer ' s view by Bertrand Meyer (2002) (0)
- Using the EiffelStudio environment (2009) (0)
- Proceedings : technology of object-oriented languages and systems, TOOLS 25, November 24-28, 1997, Melbourne, Australia (1998) (0)
- Eiffel - the libraries Version 2.2 (1989) (0)
- Variables, assignment and references (2013) (0)
- Editorial Special Issue (2022) (0)
- Lessons from Formally Verified Deployed Software Systems (Extended version) (2023) (0)
- Tests and Proofs - 1st International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers (2007) (0)
- Assignment 1: Control and obstacle avoidance (2015) (0)
This paper list is powered by the following services:
Other Resources About Bertrand Meyer
What Schools Are Affiliated With Bertrand Meyer?
Bertrand Meyer is affiliated with the following schools:
