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.
Abstract state machines
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).
New!!: Z User Group and Abstract state machines · See more »
Alloy (specification language)
In computer science and software engineering, Alloy is a declarative specification language for expressing complex structural constraints and behavior in a software system.
New!!: Z User Group and Alloy (specification language) · 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!!: Z User Group and APCB · 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!!: Z User Group and B-Method · See more »
England
England is a country that is part of the United Kingdom.
New!!: Z User Group and England · 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!!: Z User Group 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!!: Z User Group and Formal specification · See more »
Jonathan Bowen
Jonathan P. Bowen FBCS FRSA (born 1956) is a British computer scientist.
New!!: Z User Group and Jonathan Bowen · 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!!: Z User Group and Lecture Notes in Computer Science · See more »
London
London is the capital and most populous city of England and the United Kingdom.
New!!: Z User Group and London · See more »
Michael Hinchey
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.
New!!: Z User Group and Michael Hinchey · 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!!: Z User Group and Springer Science+Business Media · See more »
Steve Reeves (computer scientist)
Steve Reeves is a computer scientist based at the University of Waikato in New Zealand.
New!!: Z User Group and Steve Reeves (computer scientist) · See more »
Z notation
The Z notation is a formal specification language used for describing and modelling computing systems.
New!!: Z User Group and Z notation · See more »
Redirects here:
ABZ Conference, International Conference on Abstract State Machines, Alloy, B and Z, Z User Meeting.