WorldCat Identities

Meyer, Bertrand 1950-

Overview
Works: 70 works in 501 publications in 6 languages and 10,362 library holdings
Genres: Conference papers and proceedings  Periodicals 
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 )

60 editions published between 1988 and 2011 in 7 languages and held by 1,255 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 613 WorldCat member libraries worldwide

Technology of Object-Oriented Languages and Systems : TOOLS 4 : proceedings of the fourth International Conference TOOLS. PARIS 1991 by Jian Chen( Book )

68 editions published between 1990 and 2002 in English and held by 510 WorldCat member libraries worldwide

The 62 reproduced typescripts, several double spaced, cover general topics, analysis and modelling, software development, distributed and concurrent systems, database systems and applications, and applications and experiences. The specific topics include typing communicating sequential processes, extended formal specifications to object-oriented models through level-view structured schemas, a multi- layered system of metrics for measuring reuse by inheritance, an algorithm for describing object-oriented software architecture using graphs, supporting distributed software development processes in a Web-based environment, building a repository for workflow systems, efficiently computing frequent tree-like topology patterns in a Web environment, and a personal intelligent navigation system based on Java. Only the authors are indexed. Annotation copyrighted by Book News, Inc., Portland, OR
Eiffel : the language by Bertrand Meyer( Book )

14 editions published between 1989 and 1995 in English and French and held by 320 WorldCat member libraries worldwide

This book is the basic reference on the Eiffel language. It introduces the constructs of Eiffel in a systematic order. Each construct is defined in terms of syntax, constraints, semantics, commentary and exapmles. Some fundemental classes of the Kernal library, covering arrays, strings, universal features, input-output and persistence are also presented
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 246 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 221 WorldCat member libraries worldwide

Software engineering approaches for offshore and outsourced development : first international conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007 : revised papers by Martin Nordio( Book )

36 editions published between 2007 and 2010 in English and Undetermined and held by 191 WorldCat member libraries worldwide

Constitutes the proceedings of the Second International Conference on Software Engineering Approaches for Offshore and Outsourced Development, SEAFOOD 2008, held in Zurich, Switzerland, on July 2-3, 2008. This book covers such areas as: extreme programming and code review, outsourcing and offshoring, global and distributed software development
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 )

10 editions published between 1995 and 2001 in English and held by 189 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 164 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
Dependable systems : software, computing, networks : research results of the DICS program by Jürg Kohlas( Book )

14 editions published in 2006 in English and held by 128 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 )

13 editions published in 2007 in English and held by 105 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
Objects, components, models and patterns : 46th International Conference, TOOLS Europe 2008, Zurich, Switzerland, June 30-July 4, 2008, proceedings by Richard F Paige( Book )

14 editions published between 2008 and 2009 in English and held by 75 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
Advances in software engineering by David Hutchison( Book )

7 editions published in 2008 in English and held by 62 WorldCat member libraries worldwide

Annotation
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 )

9 editions published in 2008 in English and held by 60 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( Book )

7 editions published between 1998 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
Technology of object-oriented languages and systems : TOOLS 28 : proceedings : November 23-26, 1998, Melbourne, Australia by TOOLS (Conference)( Book )

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

Technology of object-oriented languages and systems : TOOLS 25 : proceedings : November 24-28, 1997, Melbourne, Australia by TOOLS (Conférence)( Book )

8 editions published between 1998 and 2002 in English and held by 45 WorldCat member libraries worldwide

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

10 editions published between 2011 and 2012 in English and Undetermined and held by 26 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.℗¡
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 )

5 editions published in 2015 in English and German and held by 6 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 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
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 librariesSoftware engineering approaches for offshore and outsourced development : first international conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007 : revised papersObject 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 contractsDependable 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