Faster access than browser!
43 relations: Addison-Wesley, Alstom, APCB, Argument, Ariane 5, Atmel, Automatic programming, B-Method, Cambridge University Press, Encapsulation (computer programming), Europe, First-order logic, Formal methods, Formal specification, France, Ib Holm Sørensen, Imperial College Press, Internet Archive, Jean-Raymond Abrial, Kevin Lano, Lecture Notes in Computer Science, Linux, MacOS, Motif (software), Palgrave Macmillan, Paris Métro Line 14, Programming language, RATP Group, Refinement (computing), Rodin tool, Safety-critical system, Set theory, Siemens, Software, Software design, Software development, Solaris (operating system), Springer Science+Business Media, STMicroelectronics, United Kingdom, World Scientific, X Window System, Z notation.
Addison-Wesley
Addison-Wesley is a publisher of textbooks and computer literature.
New!!: B-Method and Addison-Wesley · See more »
Alstom
Alstom is a French multinational company operating worldwide in rail transport markets, active in the fields of passenger transportation, signalling and locomotives, with products including the AGV, TGV, Eurostar, and Pendolino high-speed trains, in addition to suburban, regional and metro trains, and Citadis trams.
New!!: B-Method and Alstom · See more »
APCB
The APCB (Association de Pilotage des Conférences B, or in English The International B Conference Steering Committee) organizes conferences about the B-Method, one of the leading formal methods, used in high-integrity software engineering.
New!!: B-Method and APCB · See more »
Argument
In logic and philosophy, an argument is a series of statements typically used to persuade someone of something or to present reasons for accepting a conclusion.
New!!: B-Method and Argument · See more »
Ariane 5
Ariane 5 is a European heavy-lift launch vehicle that is part of the Ariane rocket family, an expendable launch system used to deliver payloads into geostationary transfer orbit (GTO) or low Earth orbit (LEO).
New!!: B-Method and Ariane 5 · See more »
Atmel
Atmel Corporation is an American-based designer and manufacturer of semiconductors, founded in 1984.
New!!: B-Method and Atmel · See more »
Automatic programming
In computer science, the term automatic programming identifies a type of computer programming in which some mechanism generates a computer program to allow human programmers to write the code at a higher abstraction level.
New!!: B-Method and Automatic programming · See more »
B-Method
The B method is a method of software development based on B, a tool-supported formal method based on an abstract machine notation, used in the development of computer software.
New!!: B-Method and B-Method · See more »
Cambridge University Press
Cambridge University Press (CUP) is the publishing business of the University of Cambridge.
New!!: B-Method and Cambridge University Press · See more »
Encapsulation (computer programming)
In object oriented programming languages, encapsulation is used to refer to one of two related but distinct notions, and sometimes to the combination thereof.
New!!: B-Method and Encapsulation (computer programming) · See more »
Europe
Europe is a continent located entirely in the Northern Hemisphere and mostly in the Eastern Hemisphere.
New!!: B-Method and Europe · See more »
First-order logic
First-order logic—also known as first-order predicate calculus and predicate logic—is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science.
New!!: B-Method and First-order logic · See more »
Formal methods
In computer science, specifically software engineering and hardware engineering, formal methods are a particular kind of mathematically based techniques for the specification, development and verification of software and hardware systems.
New!!: B-Method and Formal methods · See more »
Formal specification
In computer science, formal specifications are mathematically based techniques whose purpose are to help with the implementation of systems and software.
New!!: B-Method and Formal specification · See more »
France
France, officially the French Republic (République française), is a sovereign state whose territory consists of metropolitan France in Western Europe, as well as several overseas regions and territories.
New!!: B-Method and France · See more »
Ib Holm Sørensen
Dr Ib Holm Sørensen (1949–2012) was a computer scientist who made contributions to the Z notation and B-Method.
New!!: B-Method and Ib Holm Sørensen · See more »
Imperial College Press
Imperial College Press (ICP) was formed in 1995 as a partnership between Imperial College of Science, Technology and Medicine in London and World Scientific publishing.
New!!: B-Method and Imperial College Press · See more »
Internet Archive
The Internet Archive is a San Francisco–based nonprofit digital library with the stated mission of "universal access to all knowledge." It provides free public access to collections of digitized materials, including websites, software applications/games, music, movies/videos, moving images, and nearly three million public-domain books.
New!!: B-Method and Internet Archive · See more »
Jean-Raymond Abrial
Jean-Raymond Abrial (born 1938) is a French computer scientist and inventor of the Z and B formal methods.
New!!: B-Method and Jean-Raymond Abrial · See more »
Kevin Lano
Kevin C. Lano (born 1963) is a British computer scientist.
New!!: B-Method and Kevin Lano · See more »
Lecture Notes in Computer Science
Springer Lecture Notes in Computer Science (LNCS) is a series of computer science books published by Springer Science+Business Media (formerly Springer-Verlag) since 1973.
New!!: B-Method and Lecture Notes in Computer Science · See more »
Linux
Linux is a family of free and open-source software operating systems built around the Linux kernel.
New!!: B-Method and Linux · See more »
MacOS
macOS (previously and later) is a series of graphical operating systems developed and marketed by Apple Inc. since 2001.
New!!: B-Method and MacOS · See more »
Motif (software)
In computing, Motif refers to both a graphical user interface (GUI) specification and the widget toolkit for building applications that follow that specification under the X Window System on Unix and Unix-like operating systems.
New!!: B-Method and Motif (software) · See more »
Palgrave Macmillan
Palgrave Macmillan is an international academic and trade publishing company.
New!!: B-Method and Palgrave Macmillan · See more »
Paris Métro Line 14
Paris Métro Line 14 is a line on the Paris Métro that connects the stations Saint Lazare and Olympiades on a north-west south-east diagonal across the centre of Paris.
New!!: B-Method and Paris Métro Line 14 · See more »
Programming language
A programming language is a formal language that specifies a set of instructions that can be used to produce various kinds of output.
New!!: B-Method and Programming language · See more »
RATP Group
The RATP Group (French: Groupe RATP), also known as the Régie Autonome des Transports Parisiens (English: Autonomous Operator of Parisian Transports), is a state-owned public transport operator and maintainer headquartered in Paris, France.
New!!: B-Method and RATP Group · See more »
Refinement (computing)
Refinement is a generic term of computer science that encompasses various approaches for producing correct computer programs and simplifying existing programs to enable their formal verification.
New!!: B-Method and Refinement (computing) · See more »
Rodin tool
The Rodin tool is a tool for formal modelling in Event-B. Event-B is a notation and method developed from the B-Method and is intended to be used with an incremental style of modelling.
New!!: B-Method and Rodin tool · See more »
Safety-critical system
A safety-critical system or life-critical system is a system whose failure or malfunction may result in one (or more) of the following outcomes.
New!!: B-Method and Safety-critical system · See more »
Set theory
Set theory is a branch of mathematical logic that studies sets, which informally are collections of objects.
New!!: B-Method and Set theory · See more »
Siemens
Siemens AG is a German conglomerate company headquartered in Berlin and Munich and the largest industrial manufacturing company in Europe with branch offices abroad.
New!!: B-Method and Siemens · See more »
Software
Computer software, or simply software, is a generic term that refers to a collection of data or computer instructions that tell the computer how to work, in contrast to the physical hardware from which the system is built, that actually performs the work.
New!!: B-Method and Software · See more »
Software design
Software design is the process by which an agent creates a specification of a software artifact, intended to accomplish goals, using a set of primitive components and subject to constraints.
New!!: B-Method and Software design · See more »
Software development
Software development is the process of conceiving, specifying, designing, programming, documenting, testing, and bug fixing involved in creating and maintaining applications, frameworks, or other software components.
New!!: B-Method and Software development · See more »
Solaris (operating system)
Solaris is a Unix operating system originally developed by Sun Microsystems.
New!!: B-Method and Solaris (operating system) · See more »
Springer Science+Business Media
Springer Science+Business Media or Springer, part of Springer Nature since 2015, is a global publishing company that publishes books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing.
New!!: B-Method and Springer Science+Business Media · See more »
STMicroelectronics
STMicroelectronics is a French-Italian multinational electronics and semiconductor manufacturer headquartered in Geneva, Switzerland.
New!!: B-Method and STMicroelectronics · See more »
United Kingdom
The United Kingdom of Great Britain and Northern Ireland, commonly known as the United Kingdom (UK) or Britain,Usage is mixed with some organisations, including the and preferring to use Britain as shorthand for Great Britain is a sovereign country in western Europe.
New!!: B-Method and United Kingdom · See more »
World Scientific
World Scientific Publishing is an academic publisher of scientific, technical, and medical books and journals headquartered in Singapore.
New!!: B-Method and World Scientific · See more »
X Window System
The X Window System (X11, or shortened to simply X) is a windowing system for bitmap displays, common on UNIX-like computer operating systems.
New!!: B-Method and X Window System · See more »
Z notation
The Z notation is a formal specification language used for describing and modelling computing systems.
New!!: B-Method and Z notation · See more »
Redirects here:
B method, B notation, B-Tookit, B-Tool, B-Toolkit, B4free, Clearsy, Event-B.
References
[1] https://en.wikipedia.org/wiki/B-Method
