WorldCat Identities

Meyer, Bertrand 1950-

Overview
Works: 74 works in 562 publications in 6 languages and 11,543 library holdings
Genres: Conference papers and proceedings 
Roles: Author, Editor, Other, Dedicatee, Creator, Author of introduction
Classifications: QA76.64, 005.1
Publication Timeline
.
Most widely held works by Bertrand Meyer
Object-oriented software construction by Bertrand Meyer( Book )

79 editions published between 1988 and 2011 in 7 languages and held by 1,619 WorldCat member libraries worldwide

This volume aims to study how practicing software developers, in industrial as well as academic environments, can use object technology to improve the quality of the software they produce. It includes topics on concurrency and Internet programming
Introduction to the theory of programming languages by Bertrand Meyer( Book )

24 editions published between 1988 and 1995 in 3 languages and held by 611 WorldCat member libraries worldwide

Technology of Object-Oriented Languages and Systems : TOOLS 4 : proceedings of the fourth International Conference TOOLS. PARIS 1991 by 1994, Santa Barbara, Calif.> TOOLS. <14( Book )

66 editions published between 1990 and 2002 in English and held by 556 WorldCat member libraries worldwide

Eiffel : the language by Bertrand Meyer( Book )

26 editions published between 1989 and 1998 in 3 languages and held by 384 WorldCat member libraries worldwide

Software -- Programming Languages
Reusable software : the Base object-oriented component libraries by Bertrand Meyer( Book )

17 editions published between 1994 and 1995 in English and Undetermined and held by 243 WorldCat member libraries worldwide

Techniques and principles; Presentation of the libraries; Class reference
Méthodes de programmation by Bertrand Meyer( Book )

14 editions published between 1978 and 1984 in French and held by 215 WorldCat member libraries worldwide

Object success : a manager's guide to object orientation, its impact on the corporation, and its use for reengineering the software process by Bertrand Meyer( Book )

12 editions published between 1995 and 2001 in English and held by 192 WorldCat member libraries worldwide

Object frenzy; The ten key O-O concepts; The object-oriented lifecycle; But what about prototyping; Managing the transation; Nature and nurture: making reuse succed; The manager's role, 1: fundamentals; The manager's role, 2: technical manager
Touch of class : learning to program well with objects and contracts by Bertrand Meyer( Book )

22 editions published between 2009 and 2013 in English and Undetermined and held by 165 WorldCat member libraries worldwide

Instead of the traditional low-level examples, Meyer builds his presentation on a rich object-oriented software system supporting graphics and multimedia, which students can use to produce impressive applications from day one, then explore "from the outside in" as they learn new programming techniques. Unique to Touch of Class is the combination of a practical, hands-on approach with sound theory. Throughout the presentation of software concepts, the book relies on the principles of Design by Contract, critical to software quality and providing a gentle introduction to formal methods
Software engineering approaches for offshore and outsourced development : first international conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007 : revised papers by Bertrand Meyer( Book )

34 editions published between 2007 and 2010 in English and Undetermined and held by 164 WorldCat member libraries worldwide

This book constitutes the proceedings of the Third International Conference on Software Engineering Approaches for Offshore and Outsourced Development, SEAFOOD 2009, held in Zurich, Switzerland, July 2-3, 2009. The 13 papers presented together with two keynote speeches were carefully reviewed and selected for inclusion in the book. The areas covered include industry challenges and best practices in offshore software development, measurement and estimation, business alignment and risk identification/reduction, communication and specification, and emerging technologies and future directions
Dependable systems : software, computing, networks : research results of the DICS program by Jürg Kohlas( Book )

15 editions published in 2006 in English and held by 132 WorldCat member libraries worldwide

Modern civilization relies on a functioning information infrastructure. As a result, dependability has become a central issue in all disciplines of systems engineering and software architecture. Theories, methods and tools that help to master the problems encountered in the design process and the management of operations are therefore of utmost importance for the future of information and communication technology. The present volume documents the results of a research program on Dependable Information and Communication Systems (DICS). The members of the project met in two workshops organized by the Hasler Foundation. This state-of-the-art survey contains 3 overview articles identifying major issues of dependability and presenting the latest solutions, as well as 10 carefully selected and revised papers depicting the research results originating from those workshops. The first workshop took place in Münchenwiler, Switzerland, in March 2004, and the second workshop, which marked the conclusion of the projects, in Löwenberg, Switzerland, in October 2005. The papers are organized in topical sections on surveys, dependable software, dependable computing, and dependable networks
Tests and proofs : first international conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007 : revised papers by Yuri Gurevich( Book )

14 editions published in 2007 in English and held by 103 WorldCat member libraries worldwide

This book constitutes the thoroughly refereed post-proceedings of the First International Conference on Test and Proofs, TAP 2007, held in Zurich, Switzerland in February 2007. The 12 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are devoted to the convergence of software proofing and testing and feature current research work that combines ideas from both sides to foster software quality. Topics addressed are generation of test cases or oracles by theorem proving, constraint logic programming, model checking, or symbolic execution; program proving with the aid of testing techniques; automatic tools; case studies; formal frameworks; as well as verification techniques combining proofs and tests
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 by Bertrand Meyer-Stabley( Book )

19 editions published in 2008 in English and held by 64 WorldCat member libraries worldwide

Annotation This state-of-the-art survey is an outcome of the first IFIP TC 2/WG 2.3 working conference on Verified Software: Theories, Tools, Experiments, VSTTE 2005, held in Zurich, Switzerland, in October 2005. This was a historic event gathering many top international experts on systematic methods for specifying, building and verifying high-quality software. The book includes 32 revised full papers and 27 revised position papers, preceded by a general introduction to the area, which also presents the vision of a grand challenge project: the "verifying compiler". Most contributions are followed by a transcription of the vivid discussion that ensued between the author and the audience. The papers have been organized in topical sections on verification tools, guaranteeing correctness, software engineering aspects, verifying object-oriented programming, programming language and methodology aspects, components, static analysis, design, analysis and tools, as well as formal techniques
Technology of object-oriented languages and systems : TOOLS 23 : proceedings : July 28-August 1, 1997, Santa Barbara, California by TOOLS (Conference)( Book )

9 editions published between 1997 and 2003 in English and held by 56 WorldCat member libraries worldwide

"This volume provides a wealth of new information about the latest advances in the O-O field. From analysis to environments, from frameworks to concurrency, from databases to distribution, it touches on all aspects of the technology, and will provide managers and developers with an up-to-date view of object-orientation and its future developments."--Jacket
Objects, components, models and patterns : 46th International Conference, TOOLS Europe 2008, Zurich, Switzerland, June 30-July 4, 2008, proceedings by Richard F Paige( Book )

12 editions published between 2008 and 2009 in English and held by 48 WorldCat member libraries worldwide

This book constitutes the thoroughly refereed proceedings of the 47th International Conference on Objects, Components, Models and Patterns, TOOLS EUROPE 2009, held in Zurich, Switzerland, in June/July 2009. TOOLS has played a major role in the spread of object-oriented and component technologies. It has now broadened its scope beyond the original topics of object technology and component-based development to encompass all modern, practical approaches to software development. At the same time, TOOLS has kept its traditional spirit of technical excellence, its acclaimed focus on practicality, it
Technology of object-oriented languages and systems : TOOLS 28 : proceedings : November 23-26, 1998, Melbourne, Australia by TOOLS (Conférence)( Book )

4 editions published between 1998 and 2002 in English and held by 46 WorldCat member libraries worldwide

Empirical software engineering and verification International Summer Schools, LASER 2008-2010, Elba Island, Italy : revised tutorial lectures by Bertrand Meyer-Stabley( Book )

7 editions published between 2011 and 2012 in English and Undetermined and held by 33 WorldCat member libraries worldwide

Software engineering, is widely recognized as one of today's most exciting, stimulating, and profitable research areas, with a significant practical impact on the software industry and academia. The LASER school, held annually since 2004 on Elba Island, Italy, is intended for professionals from industry (engineers and managers) as well as university researchers, including PhD students. This book contains selected lecture notes from the LASER summer schools 2008-2010, which focused on concurrency and correctness in 2008,℗¡software testing in 2009, and empirical software engineering, in 2010.℗¡
Technology of object-oriented languages and systems : TOOLS 26 : proceedings : August 3-7, 1998, Santa Barbara, California by TOOLS (Conférence)( Book )

4 editions published between 1998 and 2002 in English and held by 29 WorldCat member libraries worldwide

Tools for practical software verification : LASER, International Summer School 2011, Elba Island, Italy, revised tutorial lectures by Bertrand Meyer( Book )

7 editions published in 2012 in English and held by 21 WorldCat member libraries worldwide

The LASER school is intended for professionals from the industry (engineers and managers) as well as university researchers, including PhD students. Participants learn about the most important software technology advances from the pioneers in the field. The school's focus is applied, although theory is welcome to establish solid foundations. The format of the school favors extensive interaction between participants and speakers. LASER 2011 is devoted to software verification tools. There have been great advances in the field of software verification in recent years. Today verification tools are being increasingly used not only by researchers, but by programming practitioners. The summer school will focus on several of the most prominent and practical of such tools from different areas of software verification (such as formal proofs, testing and model checking). During the school the participants will not only learn the principles behind the tools, but also get hands-on experience, trying the tools on real programs
Software engineering international summer schools, LASER 2013-2014, Elba, Italy : revised tutorial lectures by LASER( Book )

7 editions published in 2015 in English and German and held by 7 WorldCat member libraries worldwide

The LASER Summer School is intended for professionals from industry (engineers and managers) as well as university researchers, including PhD students. Participants learn about the most important software technology advances from pioneers in the field. Since its inception in 2004, the LASER Summer School has focused on an important software engineering topic each year. This volume contains selected lecture notes from the 10th LASER Summer School on Software Engineering: Leading-Edge Software Engineering.
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.65 (from 0.47 for Objects, c ... to 0.88 for Méthodes ...)

Object-oriented software construction
Alternative Names
Bertrand Meyer especialista francés en lenguajes de programación

Bertrand Meyer Frans informaticus

Bertrand Meyer fransk ingeniør og informatikar

Bertrand Meyer fransk ingeniør og informatiker

Bertrand Meyer fransk ingenjör och datavetare

Bertrand Meyer französischer Informatiker und Entwickler

Bertrand Meyer French computer scientist

Mejer, B.

Mejer, B. 1950-

Meyer, B

Meyer, B. 1950-

Meyer, B. (Bertrand), 1950-

Бертран Меєр французький вчений у галузі інформатики

Мейер, Бертран

Мейер, Бертран создатель языка программирования Эйфель

برتراند ماير

برترند میر دانشمند علوم کامپیوتر و مهندس فرانسوی

버트란드 메이어 프랑스 컴퓨터 과학자

バートランド・メイヤー

メイヤー, バートランド

伯特蘭·邁耶

Languages
English (343)

French (32)

Spanish (9)

Japanese (8)

German (4)

Polish (1)

Covers
Technology of Object-Oriented Languages and Systems : TOOLS 4 : proceedings of the fourth International Conference TOOLS. PARIS 1991Eiffel : the languageReusable software : the Base object-oriented component librariesObject success : a manager's guide to object orientation, its impact on the corporation, and its use for reengineering the software processTouch of class : learning to program well with objects and contractsSoftware engineering approaches for offshore and outsourced development : first international conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007 : revised papersDependable systems : software, computing, networks : research results of the DICS programTests and proofs : first international conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007 : revised papers