Faster access than browser!
55 relations: ACM Software System Award, Alan Turing Centenary Conference, Amar Gupta, Bertrand (name), Command–query separation, Computer science, Dahl–Nygaard Prize, Design by contract, Edsger W. Dijkstra, Eiffel, Eiffel (programming language), Factory method pattern, Generic programming, German Wikipedia, Goto, History of programming languages, Inheritance (object-oriented programming), International Conference on Service Oriented Computing, ITMO University, Ivar Jacobson, Jean Ichbiah, Liskov substitution principle, List of computer scientists, List of Dutch inventions and discoveries, List of ETH Zurich people, List of Fellows of the Association for Computing Machinery, List of French inventions and discoveries, List of programmers, List of programming languages by type, Loop invariant, Method overriding, Meyer (surname), Multiple inheritance, Object-oriented analysis and design, Object-oriented programming, Object-Oriented Software Construction, Open–closed principle, Option–operand separation, Outline of computer science, Outline of software engineering, Postcondition, Precondition, Prentice Hall International Series in Computer Science, Programming language theory, SCOOP (software), SEMAT, Standard Template Library, Structured programming, The Journal of Object Technology, Timeline of programming languages, ..., Uniform access principle, Use case, Visitor pattern, Void safety, Z notation. Expand index (5 more) »
ACM Software System Award
The ACM Software System Award is an annual award that honors people or an organization "for developing a software system that has had a lasting influence, reflected in contributions to concepts, in commercial acceptance, or both".
New!!: Bertrand Meyer and ACM Software System Award · See more »
Alan Turing Centenary Conference
The Alan Turing Centenary Conference was an academic conference celebrating the life and research of Alan Turing by bringing together distinguished scientists to understand and analyse the history and development of Computer Science and Artificial intelligence.
New!!: Bertrand Meyer and Alan Turing Centenary Conference · See more »
Amar Gupta
Amar Gupta (born 1953) is a computer scientist, originally from India and now based in the United States.
New!!: Bertrand Meyer and Amar Gupta · See more »
Bertrand (name)
Bertrand is a given name and surname.
New!!: Bertrand Meyer and Bertrand (name) · See more »
Command–query separation
Command–query separation (CQS) is a principle of imperative computer programming.
New!!: Bertrand Meyer and Command–query separation · See more »
Computer science
Computer science deals with the theoretical foundations of information and computation, together with practical techniques for the implementation and application of these foundations.
New!!: Bertrand Meyer and Computer science · See more »
Dahl–Nygaard Prize
The Dahl–Nygaard Prize is awarded annually to a senior researcher with outstanding career contributions and a younger researcher who has demonstrated great potential.
New!!: Bertrand Meyer and Dahl–Nygaard Prize · See more »
Design by contract
Design by contract (DbC), also known as contract programming, programming by contract and design-by-contract programming, is an approach for designing software.
New!!: Bertrand Meyer and Design by contract · See more »
Edsger W. Dijkstra
Edsger Wybe Dijkstra (11 May 1930 – 6 August 2002) was a Dutch systems scientist, programmer, software engineer, science essayist, and early pioneer in computing science.
New!!: Bertrand Meyer and Edsger W. Dijkstra · See more »
Eiffel
Eiffel may refer to.
New!!: Bertrand Meyer and Eiffel · See more »
Eiffel (programming language)
Eiffel is an object-oriented programming language designed by Bertrand Meyer (an object-orientation proponent and author of Object-Oriented Software Construction) and Eiffel Software.
New!!: Bertrand Meyer and Eiffel (programming language) · See more »
Factory method pattern
In class-based programming, the factory method pattern is a creational pattern that uses factory methods to deal with the problem of creating objects without having to specify the exact class of the object that will be created.
New!!: Bertrand Meyer and Factory method pattern · See more »
Generic programming
Generic programming is a style of computer programming in which algorithms are written in terms of types to-be-specified-later that are then instantiated when needed for specific types provided as parameters.
New!!: Bertrand Meyer and Generic programming · See more »
German Wikipedia
The German Wikipedia (|) is the German-language edition of Wikipedia, a free and publicly editable online encyclopedia.
New!!: Bertrand Meyer and German Wikipedia · See more »
Goto
GoTo (goto, GOTO, GO TO or other case combinations, depending on the programming language) is a statement found in many computer programming languages.
New!!: Bertrand Meyer and Goto · See more »
History of programming languages
The first high-level programming language was Plankalkül, created by Konrad Zuse between 1942 and 1945.
New!!: Bertrand Meyer and History of programming languages · See more »
Inheritance (object-oriented programming)
In object-oriented programming, inheritance is the mechanism of basing an object or class upon another object (prototypal inheritance) or class (class-based inheritance), retaining the same implementation.
New!!: Bertrand Meyer and Inheritance (object-oriented programming) · See more »
International Conference on Service Oriented Computing
The International Conference on Service Oriented Computing, short ICSOC, is an annual conference providing an outstanding forum for academics, industry researchers, developers, and practitioners to report and share groundbreaking work in service-oriented computing.
New!!: Bertrand Meyer and International Conference on Service Oriented Computing · See more »
ITMO University
ITMO University (Университет ИТМО) is a large state university in Saint Petersburg and is one of Russia’s National Research Universities.
New!!: Bertrand Meyer and ITMO University · See more »
Ivar Jacobson
Ivar Hjalmar Jacobson (born 1939) is a Swedish computer scientist and software engineer, known as major contributor to UML, Objectory, Rational Unified Process (RUP), aspect-oriented software development and Essence.
New!!: Bertrand Meyer and Ivar Jacobson · See more »
Jean Ichbiah
Jean David Ichbiah (25 March 1940 – 26 January 2007) was a French computer scientist and the initial chief designer (1977–1983) of Ada, a general-purpose, strongly typed programming language with certified validated compilers.
New!!: Bertrand Meyer and Jean Ichbiah · See more »
Liskov substitution principle
Substitutability is a principle in object-oriented programming stating that, in a computer program, if S is a subtype of T, then objects of type T may be replaced with objects of type S (i.e. an object of type T may be substituted with any object of a subtype S) without altering any of the desirable properties of the program (correctness, task performed, etc.). More formally, the Liskov substitution principle (LSP) is a particular definition of a subtyping relation, called (strong) behavioral subtyping, that was initially introduced by Barbara Liskov in a 1987 conference keynote address titled Data abstraction and hierarchy.
New!!: Bertrand Meyer and Liskov substitution principle · See more »
List of computer scientists
This is a list of computer scientists, people who do work in computer science, in particular researchers and authors.
New!!: Bertrand Meyer and List of computer scientists · See more »
List of Dutch inventions and discoveries
The Netherlands had a considerable part in the making of modern society.
New!!: Bertrand Meyer and List of Dutch inventions and discoveries · See more »
List of ETH Zurich people
This is a list of people associated with ETH Zurich in Switzerland.
New!!: Bertrand Meyer and List of ETH Zurich people · See more »
List of Fellows of the Association for Computing Machinery
This article lists ACM Fellows, an award and fellowship granted by the Association for Computing Machinery (ACM) as its highest honorary grade of membership, reserved for ACM members who have exhibited "professional excellence" in their "technical, professional and leadership contributions" Since 1993, the people that have been elected as Fellows are listed below.
New!!: Bertrand Meyer and List of Fellows of the Association for Computing Machinery · See more »
List of French inventions and discoveries
No description.
New!!: Bertrand Meyer and List of French inventions and discoveries · See more »
List of programmers
This is a list of programmers notable for their contributions to software, either as original author or architect, or for later additions.
New!!: Bertrand Meyer and List of programmers · See more »
List of programming languages by type
This is a list of notable programming languages, grouped by type.
New!!: Bertrand Meyer and List of programming languages by type · See more »
Loop invariant
In computer science, a loop invariant is a property of a program loop that is true before (and after) each iteration.
New!!: Bertrand Meyer and Loop invariant · See more »
Method overriding
Method overriding, in object-oriented programming, is a language feature that allows a subclass or child class to provide a specific implementation of a method that is already provided by one of its superclasses or parent classes.
New!!: Bertrand Meyer and Method overriding · See more »
Meyer (surname)
Meyer is a surname of English, German, Dutch, or Jewish origin.
New!!: Bertrand Meyer and Meyer (surname) · See more »
Multiple inheritance
Multiple inheritance is a feature of some object-oriented computer programming languages in which an object or class can inherit characteristics and features from more than one parent object or parent class.
New!!: Bertrand Meyer and Multiple inheritance · See more »
Object-oriented analysis and design
Object-oriented analysis and design (OOAD) is a popular technical approach for analyzing and designing an application, system, or business by applying object-oriented programming, as well as using visual modeling throughout the development life cycles to foster better stakeholder communication and product quality.
New!!: Bertrand Meyer and Object-oriented analysis and design · See more »
Object-oriented programming
Object-oriented programming (OOP) is a programming paradigm based on the concept of "objects", which may contain data, in the form of fields, often known as attributes; and code, in the form of procedures, often known as methods. A feature of objects is that an object's procedures can access and often modify the data fields of the object with which they are associated (objects have a notion of "this" or "self").
New!!: Bertrand Meyer and Object-oriented programming · See more »
Object-Oriented Software Construction
Object-Oriented Software Construction is a book by Bertrand Meyer, widely considered a foundational text of object-oriented programming.
New!!: Bertrand Meyer and Object-Oriented Software Construction · See more »
Open–closed principle
In object-oriented programming, the open/closed principle states "software entities (classes, modules, functions, etc.) should be open for extension, but closed for modification"; that is, such an entity can allow its behaviour to be extended without modifying its source code.
New!!: Bertrand Meyer and Open–closed principle · See more »
Option–operand separation
Option-operand separation is a principle of imperative computer programming.
New!!: Bertrand Meyer and Option–operand separation · See more »
Outline of computer science
Computer science (also called computing science) is the study of the theoretical foundations of information and computation and their implementation and application in computer systems.
New!!: Bertrand Meyer and Outline of computer science · See more »
Outline of software engineering
The following outline is provided as an overview of and topical guide to software engineering: Software engineering – application of a systematic, disciplined, quantifiable approach to the development, operation, and maintenance of software; that is the application of engineering to software.
New!!: Bertrand Meyer and Outline of software engineering · See more »
Postcondition
In computer programming, a postcondition is a condition or predicate that must always be true just after the execution of some section of code or after an operation in a formal specification.
New!!: Bertrand Meyer and Postcondition · See more »
Precondition
In computer programming, a precondition is a condition or predicate that must always be true just prior to the execution of some section of code or before an operation in a formal specification.
New!!: Bertrand Meyer and Precondition · See more »
Prentice Hall International Series in Computer Science
Prentice Hall International Series in Computer Science is a series of books on computer science published by Prentice Hall.
New!!: Bertrand Meyer and Prentice Hall International Series in Computer Science · See more »
Programming language theory
Programming language theory (PLT) is a branch of computer science that deals with the design, implementation, analysis, characterization, and classification of programming languages and their individual features.
New!!: Bertrand Meyer and Programming language theory · See more »
SCOOP (software)
SCOOP (Simple Concurrent Object Oriented Programming) is a concurrency model designed for the Eiffel programming language, conceived by Eiffel's creator and designer, Bertrand Meyer.
New!!: Bertrand Meyer and SCOOP (software) · See more »
SEMAT
SEMAT (Software Engineering Method and Theory) is an initiative to reshape software engineering such that software engineering qualifies as a rigorous discipline.
New!!: Bertrand Meyer and SEMAT · See more »
Standard Template Library
The Standard Template Library (STL) is a software library for the C++ programming language that influenced many parts of the C++ Standard Library.
New!!: Bertrand Meyer and Standard Template Library · See more »
Structured programming
Structured programming is a programming paradigm aimed at improving the clarity, quality, and development time of a computer program by making extensive use of the structured control flow constructs of selection (if/then/else) and repetition (while and for), block structures, and subroutines in contrast to using simple tests and jumps such as the go to statement, which can lead to "spaghetti code" that is potentially difficult to follow and maintain.
New!!: Bertrand Meyer and Structured programming · See more »
The Journal of Object Technology
The Journal of Object Technology is an online scientific journal covering object-oriented programming and component-based development.
New!!: Bertrand Meyer and The Journal of Object Technology · See more »
Timeline of programming languages
This is a record of historically important programming languages, by decade.
New!!: Bertrand Meyer and Timeline of programming languages · See more »
Uniform access principle
The uniform access principle of computer programming was put forth by Bertrand Meyer (originally in Object-Oriented Software Construction).
New!!: Bertrand Meyer and Uniform access principle · See more »
Use case
In software and systems engineering, a use case is a list of actions or event steps typically defining the interactions between a role (known in the Unified Modeling Language as an actor) and a system to achieve a goal.
New!!: Bertrand Meyer and Use case · See more »
Visitor pattern
In object-oriented programming and software engineering, the visitor design pattern is a way of separating an algorithm from an object structure on which it operates.
New!!: Bertrand Meyer and Visitor pattern · See more »
Void safety
Void safety (also known as null safety) is a guarantee within an object-oriented programming language that no object references will have ''null'' or ''void'' values.
New!!: Bertrand Meyer and Void safety · See more »
Z notation
The Z notation is a formal specification language used for describing and modelling computing systems.
New!!: Bertrand Meyer and Z notation · See more »
References
[1] https://en.wikipedia.org/wiki/Bertrand_Meyer
