WorldCat Identities

Meyer, Bertrand 1950-

Overview
Works: 120 works in 494 publications in 8 languages and 10,512 library holdings
Genres: Conference proceedings 
Roles: Author, Editor, Creator, Other, 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 )
66 editions published between 1988 and 2009 in 9 languages and held by 1,463 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
Software engineering approaches for offshore and outsourced development first international conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007 : revised papers by Bertrand Meyer( )
18 editions published in 2007 in English and held by 532 WorldCat member libraries worldwide
This book constitutes the thoroughly refereed post-proceedings of the First International Conference on Software Engineering Approaches for Offshore and Outsourced Development, SEAFOOD 2007, Zurich, Switzerland, in February 2007. The 15 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers constitute a balanced mix of academic and industrial aspects - addressing topical regions such as processes, education, country reports, evaluation and assessment, communication and distribution, as well as tools
Dependable systems software, computing, networks : research results of the DICS program by Jürg Kohlas( )
12 editions published in 2006 in English and held by 527 WorldCat member libraries worldwide
Introduction to the theory of programming languages by Bertrand Meyer( Book )
19 editions published between 1988 and 1992 in English and held by 520 WorldCat member libraries worldwide
Touch of class learning to program well with objects and contracts by Bertrand Meyer( )
20 editions published between 2009 and 2013 in English and held by 504 WorldCat member libraries worldwide
From object technology pioneer, Design by Contract inventor and ETH Zurich professor Bertrand Meyer, winner of ACM Software System Award, the Dahl-Nygaard prize and the Jolt award, Touch of Class is a revolutionary introductory programming textbook that makes learning programming fun and rewarding. 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. The coverage is notable in both its depth and its breadth. In addition to core programming concepts such as control structures, algorithms and fundamental data structures, it encompasses recursion (including theory and implementation), reference and pointer manipulation, inheritance and associated techniques of polymorphism and dynamic binding, topological sort as an example of algorithm and API design, syntax description techniques, important design patterns such as Observer and Visitor, event-driven programming, high-level function closures (including an introduction to lambda calculus) and software tools. The final chapter is a detailed introduction to the challenges and techniques of software engineering, from lifecycle models to requirements analysis. The use of full color brings exciting programming concepts to life. Touch of Class gives students the leading edge by teaching both the fundamental techniques of programming and the professional-level skills preparing them for the challenges of modern software engineering
Tests and proofs first international conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007 : revised papers by Yuri Gurevich( )
14 editions published in 2007 in English and held by 503 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; pro
Verified software: theories, tools, experiments second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 : proceedings by D Hutchison( )
21 editions published in 2008 in English and held by 461 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
Objects, components, models and patterns 47th international conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29 - July 3, 2009 : proceedings by Manuel Oriol Salgado( )
8 editions published in 2009 in English and held by 418 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
Objects, components, models and patterns 46th International Conference, TOOLS Europe 2008, Zurich, Switzerland, June 30-July 4, 2008, proceedings by Richard F Paige( )
9 editions published in 2008 in English and held by 405 WorldCat member libraries worldwide
TOOLS played a major role in the spread of object-oriented and component technologies. This work constitutes the thoroughly refereed proceedings of the 46th International Conference on Objects, Components, Models and Patterns, TOOLS EUROPE 2008, held in Zurich, Switzerland, in June/July 2008
Eiffel : the language by Bertrand Meyer( Book )
26 editions published between 1989 and 1998 in 3 languages and held by 379 WorldCat member libraries worldwide
Software -- Programming Languages
Empirical software engineering and verification International Summer Schools, LASER 2008-2010, Elba Island, Italy : revised tutorial lectures by Bertrand Meyer( )
11 editions published between 2011 and 2012 in English and held by 365 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
Software engineering approaches for offshore and outsourced development third international conference : proceedings : SEAFOOD 2009, Zurich, Switzerland, July 2-3, 2009 by SEAFOOD 2009( )
5 editions published in 2009 in English and held by 361 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
Tools for practical software verification LASER, International Summer School 2011, Elba Island, Italy, revised tutorial lectures by Bertrand Meyer( )
6 editions published in 2012 in English and held by 337 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
Reusable software : the Base object-oriented component libraries by Bertrand Meyer( Book )
14 editions published between 1994 and 1995 in English and held by 244 WorldCat member libraries worldwide
Techniques and principles; Presentation of the libraries; Class reference
Méthodes de programmation by Bertrand Meyer( Book )
12 editions published between 1978 and 1984 in French and held by 216 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 )
9 editions published between 1995 and 2001 in English and held by 199 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
Object-oriented applications ( Book )
9 editions published between 1993 and 1994 in English and held by 184 WorldCat member libraries worldwide
Advances in object-oriented software engineering ( Book )
9 editions published between 1991 and 1992 in English and held by 182 WorldCat member libraries worldwide
Technology of object-oriented languages and systems : TOOLS 23 proceedings : July 28-August 1, 1997, Santa Barbara, California by TOOLS (Conference)( )
5 editions published between 1998 and 2003 in English and held by 161 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."--BOOK JACKET
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.68 (from 0.54 for Méthodes ... to 0.89 for Technology ...)
Alternative Names
Mejer, B.
Mejer, B. 1950-
Meyer, B
Meyer, B. 1950-
Meyer, B. (Bertrand), 1950-
メイヤー, バートランド
Languages
English (261)
French (22)
Spanish (8)
German (3)
Japanese (2)
Italian (2)
Polish (1)
Dutch (1)
Covers