Similar to Z言語

Specification and Description Language

B-Method

Specification language

Formal methods

PlusCal

TLA+

Vienna Development Method

Formal specification

Formal verification

Refinement (computing)

Static program analysis

Semantics (computer science)

Unifying Theories of Programming

Process calculus

Petri net

Hoare logic

Model checking

Lambda calculus

Object Constraint Language

QVT

Object-oriented analysis and design

Object Management Group

Model transformation

ASN.1

Backus–Naur form

0

CICS