Вы здесь

Meyer B.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Ensuring Strong Typing in an Object-Oriented Language 1992 Meyer B. SIGPLAN Notices 10.12.1992
СТ Ensuring Semantic Integrity of Reusable Objects (Panel) 1992 Stacy W., Helm R., Kaiser G. E., Meyer B. SIGPLAN Notices 15.12.1992
СТ Systematic Concurrent Object-Oriented Programming 1993 Meyer B. Communications of the ACM 03.11.1993
СТ Retail User Assistant: Evaluation of a User-Adapted Performance Support System 1994 Meyer B. Lecture Notes in Computer Science 01.02.1995
СТ Static Typing 1995 Meyer B. OOPS Messenger 15.11.1996
М Eiffel: The Language 1992 Meyer B. 01.07.1998
М Object-Oriented Software Construction 1988 Meyer B. 01.07.1998
М Introduction to the Theory of Programming Languages 1990 Meyer B. 01.07.1998
СТ Every Little Bit Counts: Toward More Reliable Software 1999 Meyer B. Computer 21.12.1999
СТ Finding Implicit Contracts in .NET Components 2003 Arnout K., Meyer B. Lecture Notes in Computer Science 31.01.2004
СТ The Outside-In Method of Teaching Introductory Programming 2003 Meyer B. Lecture Notes in Computer Science 18.02.2004
СТ The Power of Abstraction, Reuse, and Simplicity: An Object-Oriented Library for Event-Driven Design 2004 Meyer B. Lecture Notes in Computer Science 27.04.2004
СТ Attached Types and Their Application to Three Open Problems of Object-Oriented Programming 2005 Meyer B. Lecture Notes in Computer Science Lecture Notes in Computer Science 13.09.2005
СТ Making Specifications Complete Through Models 2006 Schoeller B., Widmer T., Meyer B. Lecture Notes in Computer Science Lecture Notes in Computer Science 31.08.2006
СТ Automatic Testing of Object-Oriented Software 2007 Meyer B., Ciupa I., Liu L. L. Lecture Notes in Computer Science Lecture Notes in Computer Science 02.03.2007
СТ Eiffel as a Framework for Verification 2008 Meyer B. Lecture Notes in Computer Science Lecture Notes in Computer Science 03.10.2008
СТ Preface: A Step Towards Verified Software 2008 Meyer B., Woodcock J. Lecture Notes in Computer Science Lecture Notes in Computer Science 03.10.2008

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Trends in Distributed Systems. COBRA and Beyond: Proc./International Workshop TreDS 96. Aachen,Germany, Oktober 1996 1996 Lecture Notes in Computer Science
  1. Spaniol O.
  2. Linnhoff-Popien C.
  3. Meyer B.
05.11.1996
СБ Technology of Object-Oriented Languages and Systems - TOOLS 24: Proc./Twenty-fourth Intern. Conf. TOOLS Asia, Beijing, 1997 1997
  1. Chen J.
  2. Li M.
  3. Mingins Ch.
  4. Meyer B.
05.11.1997
СБ Diagrammatic Representation and Inference: Proc./Second Intern. Conf., Diagrams 2002, Callaway Gardens, GA, USA, April 2002 2002 Lecture Notes in Artificial Intelligence
  1. Hegarty M.
  2. Meyer B.
  3. Narayanan N. H.
23.05.2002
СБ Dependable Systems: Software, Computing, Networks: Research Results of the DICS Program 2006 Lecture Notes in Artificial Intelligence
  1. Kohlas J.
  2. Meyer B.
  3. Schiper A.
28.09.2006
СБ Tests and Proofs: Revised Papers/First International Conference, TAP 2007. Zurich, Switzerland, February 2007 2007 Lecture Notes in Computer Science
  1. Gurevich Y.
  2. Meyer B.
20.11.2007
СБ Software Engineering Approaches for Offshore and Outsourced Development: Revised Papers/1st International Conference, SEAFOOD 2007. Zurich, Switzerland, February 2007 2007 Lecture Notes in Computer Science
  1. Meyer B.
  2. Joseph M.
07.01.2008
СБ Balancing Agility and Formalism in Software Engineering: Revised Selected Papers/Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007. Poznan, Poland, October 2007 2008 Lecture Notes in Computer Science
  1. Meyer B.
  2. Nawrocki J. R.
  3. Walter B.
20.09.2008
СБ Verified Software: Theories, Tools, Experiments: Revised Selected Papers and Discussions/1st IFIP TC 2/WG 2.3 Conference, VSTTE 2005. Zurich, Switzerland, October 2005 2008 Lecture Notes in Computer Science
  1. Meyer B.
  2. Woodcock J.
03.10.2008
СБ Software Engineering Techniques: Revised Selected Papers/ Third IFIP TC 2 Central and East European Conference, CEE-SET 2008, Brno, Czech Republic, October 2008 2011 Lecture Notes in Computer Science
  1. Huzar Z.
  2. Koci R.
  3. Meyer B.
  4. Walter B.
11.10.2011
СБ Empirical Software Engineering and Verification: Revised Tutorial Lectures/ International Summer Schools, LASER 2008-2010, Elba Island, Italy 2012 Lecture Notes in Computer Science
  1. Meyer B.
  2. Nordio M.
20.03.2012
СБ Tools for Practical Software Verification: Revised Tutorial Lectures/LASER, International Summer School 2011, Elba Island, Italy 2012 Lecture Notes in Computer Science
  1. Meyer B.
  2. Nordio M.
19.02.2013
СБ Software Engineering: Revised Tutorial Lectures/ International Summer Schools, LASER 2013-2014, Elba, Italy, 2015 Lecture Notes in Computer Science
  1. Meyer B.
  2. Nordio M.
29.03.2016
СБ Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Development: Revised Selected Papers/1st International Workshop, DEVOPS 2018, Chateau de Villebrumier, France, March 2018 2019 Lecture Notes in Computer Science
  1. Bruel J. -M.
  2. Mazzara M.
  3. Meyer B.
21.02.2019
СБ Software Technology: Methods and Tools: Proc./51st International Conference, TOOLS 2019, Innopolis, Russia, October 2019 2019 Lecture Notes in Computer Science
  1. Mazzara M.
  2. Bruel J. -M.
  3. Meyer B.
  4. Petrenko A.
15.10.2019
СБ Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment: Revised Selected Papers/2nd International Workshop, DEVOPS 2019, Château de Villebrumier, France, May 2019 2020 Lecture Notes in Computer Science
  1. Bruel J. -M.
  2. Mazzara M.
  3. Meyer B.
13.02.2020
СБ Frontiers in Software Engineering Education: Invited Papers/1st International Workshop, FISEE 2019, Villebrumier, France, November 2019 2020 Lecture Notes in Computer Science
  1. Bruel J. -M.
  2. Capozucca A.
  3. Mazzara M.
  4. Meyer B.
20990 10.09.2020