41 relations: Alloy (specification language), APL (programming language), ASCII, Électricité de France, B-Method, Bertrand Meyer, Cambridge University Press, Community Z Tools, Computer program, Elsevier, Ernst Zermelo, Fastest, First-order logic, Formal methods, Formal specification, HOL (proof assistant), International Federation for Information Processing, International Organization for Standardization, Jean-Raymond Abrial, Lambda calculus, LaTeX, Leiden University, Microsoft Word, Model-based testing, Object Constraint Language, Object-Z, Open-source software, PDF, Programming Research Group, Set theory, Specification language, Type (model theory), Unicode, United Kingdom, Université Grenoble Alpes, University of Oxford, Vienna Development Method, Z User Group, Z++, Zermelo–Fraenkel set theory, Zip (file format).
In computer science and software engineering, Alloy is a declarative specification language for expressing complex structural constraints and behavior in a software system.
APL (named after the book A Programming Language) is a programming language developed in the 1960s by Kenneth E. Iverson.
ASCII, abbreviated from American Standard Code for Information Interchange, is a character encoding standard for electronic communication.
Électricité de France S.A. (EDF; Electricity of France) is a French electric utility company, largely owned by the French state.
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.
Bertrand Meyer (born 21 November 1950) is a French academic, author, and consultant in the field of computer languages.
Cambridge University Press (CUP) is the publishing business of the University of Cambridge.
The Community Z Tools (CZT) initiative is based around a SourceForge project to build a set of tools for the Z notation, a formal method useful in software engineering.
A computer program is a collection of instructions for performing a specific task that is designed to solve a specific class of problems.
Elsevier is an information and analytics company and one of the world's major providers of scientific, technical, and medical information.
Ernst Friedrich Ferdinand Zermelo (27 July 1871 – 21 May 1953) was a German logician and mathematician, whose work has major implications for the foundations of mathematics.
Fastest is a model-based testing tool that works with specifications written in the Z notation.
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.
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.
HOL (Higher Order Logic) denotes a family of interactive theorem proving systems using similar (higher-order) logics and implementation strategies.
The International Federation for Information Processing (IFIP) is a global organisation for researchers and professionals working in the field of information and communication technologies (ICT) to conduct research, develop standards and promote information sharing.
The International Organization for Standardization (ISO) is an international standard-setting body composed of representatives from various national standards organizations.
Jean-Raymond Abrial (born 1938) is a French computer scientist and inventor of the Z and B formal methods.
Lambda calculus (also written as λ-calculus) is a formal system in mathematical logic for expressing computation based on function abstraction and application using variable binding and substitution.
LaTeX (or; a shortening of Lamport TeX) is a document preparation system.
Leiden University (abbreviated as LEI; Universiteit Leiden), founded in the city of Leiden, is the oldest university in the Netherlands.
Microsoft Word (or simply Word) is a word processor developed by Microsoft.
Model-based testing is an application of model-based design for designing and optionally also executing artifacts to perform software testing or system testing.
The Object Constraint Language (OCL) is a declarative language describing rules applying to Unified Modeling Language (UML) models developed at IBM and is now part of the UML standard.
Object-Z is an object-oriented extension to the Z notation developed at the University of Queensland, Australia.
Open-source software (OSS) is a type of computer software whose source code is released under a license in which the copyright holder grants users the rights to study, change, and distribute the software to anyone and for any purpose.
The Portable Document Format (PDF) is a file format developed in the 1990s to present documents, including text formatting and images, in a manner independent of application software, hardware, and operating systems.
The Programming Research Group (PRG) was part of the Oxford University Computing Laboratory (OUCL) in Oxford, England, until OUCL became the Department of Computer Science in 2011.
Set theory is a branch of mathematical logic that studies sets, which informally are collections of objects.
A specification language is a formal language in computer science used during systems analysis, requirements analysis and systems design to describe a system at a much higher level than a programming language, which is used to produce the executable code for a system.
In model theory and related areas of mathematics, a type is an object that, loosely speaking, describes how a (real or possible) element or elements in a mathematical structure might behave.
Unicode is a computing industry standard for the consistent encoding, representation, and handling of text expressed in most of the world's writing systems.
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.
The Université Grenoble Alpes (UGA, French: meaning "Grenoble Alps University") is a public research university in Grenoble, France.
The University of Oxford (formally The Chancellor Masters and Scholars of the University of Oxford) is a collegiate research university located in Oxford, England.
The Vienna Development Method (VDM) is one of the longest-established formal methods for the development of computer-based systems.
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.
Z++ (pronounced zee plus plus) was an object-oriented extension to the Z specification language.
In mathematics, Zermelo–Fraenkel set theory, named after mathematicians Ernst Zermelo and Abraham Fraenkel, is an axiomatic system that was proposed in the early twentieth century in order to formulate a theory of sets free of paradoxes such as Russell's paradox.
ZIP is an archive file format that supports lossless data compression.