Logo
Unionpedia
Communication
Get it on Google Play
New! Download Unionpedia on your Androidâ„¢ device!
Free
Faster access than browser!
And Ads-free!

Z User Group

The Z User Group exists to promote use and development of the Z notation, a formal specification language for the description of and reasoning about computer-based systems. [1]

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 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).

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 headquarteed 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 is a global publishing company that publishes books, e-books and peer-reviewed journals in science, technical and medical (STM) publishing.

New!!: Z User Group and Springer Science+Business Media · See more »

Steve Reeves (computer scientist)

Prof.

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.

References

[1] https://en.wikipedia.org/wiki/Z_User_Group

OutgoingIncoming
Hey! We are on Facebook now! »