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 which are arbitrary data structures (structure in the sense of mathematical logic, that is a nonempty set together with a number of functions (operations over the set) and relations).
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.
New!!: Z User Group and APCB ·
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!!: Z User Group and B-Method ·
England is a country that is part of the United Kingdom.
New!!: Z User Group and England ·
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!!: Z User Group and Formal methods ·
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.
New!!: Z User Group and Jonathan Bowen ·
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.
New!!: Z User Group and London ·
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 headquarteed at the University of Limerick, Ireland.
New!!: Z User Group and Michael Hinchey ·
Springer Science+Business Media or Springer is a global publishing company that publishes books, e-books and peer-reviewed journals in science, technical and medical (STM) publishing.
The Z notation is a formal specification language used for describing and modelling computing systems.
New!!: Z User Group and Z notation ·