14 relations: Abstract state machines, Alloy (specification language), APCB, B-Method, England, Formal methods, Formal specification, Jonathan Bowen, Lecture Notes in Computer Science, London, Michael Hinchey, Springer Science+Business Media, Steve Reeves (computer scientist), Z notation.
In computer science, an abstract state machine (ASM) is a state machine operating on states that are arbitrary data structures (structure in the sense of mathematical logic, that is a nonempty set together with a number of functions (operations) and relations over the set).
In computer science and software engineering, Alloy is a declarative specification language for expressing complex structural constraints and behavior in a software system.
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.
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.
England is a country that is part of the United Kingdom.
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.
In computer science, formal specifications are mathematically based techniques whose purpose are to help with the implementation of systems and software.
Jonathan P. Bowen FBCS FRSA (born 1956) is a British computer scientist.
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.
London is the capital and most populous city of England and the United Kingdom.
Michael Gerard Hinchey (born 1969) is an Irish computer scientist and Director at the Irish Software Engineering Research Centre (Lero), a multi-university research centre headquartered at the University of Limerick, Ireland.
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.
Steve Reeves is a computer scientist based at the University of Waikato in New Zealand.
The Z notation is a formal specification language used for describing and modelling computing systems.