Category:Formal specification languages

D

• ► Denotational semantics‎ (1 C, 7 P)

H

• ► Hardware verification languages‎ (11 P)

P

• ► Petri nets‎ (20 P)
• ► Process calculi‎ (20 P)

S

• ► Synchronous programming languages‎ (9 P)

T

• ► Temporal logic‎ (14 P)

Z

• ► Z notation‎ (18 P)

• Semantics (computer science)
• Formal specification

A

• Action semantics
• Albatross (programming language)
• Algebraic semantics (computer science)
• Alloy (specification language)
• Assertion definition language
• Augmented marked graph
• Axiomatic semantics

B

• B-Method
• Behavior of coupled DEVS
• Behavior of DEVS
• BHDL

C

• Common Algebraic Specification Language
• Construction and Analysis of Distributed Processes
• CoreASM

D

• Denotational semantics
• DEVS
• PowerDEVS
• Duration calculus

E

• E-LOTOS
• Eiffel (programming language)
• ESC/Java
• Event segment
• Extended ML

J

• Java Modeling Language

L

• Language Of Temporal Ordering Specification
• Larch family
• LePUS3

M

• Maude system
• Message sequence chart
• Meta-IV (specification language)

N

• Nets within Nets

O

• OBJ (programming language)
• Object Constraint Language
• Object-Z
• Operational semantics

P

• Perfect Developer
• Petri net
• PlusCal
• Predicative programming
• Property Specification Language
• Prototype Verification System

R

• Refinement calculus
• Rigorous Approach to Industrial Software Engineering
• Rodin tool
• Rosetta-lang

S

• SPARK (programming language)
• Spec Sharp
• Specification and Description Language
• Stochastic Petri net

T

• Timed event system
• TLA+
• TNSDL

U

• Universal Systems Language

V

• Vector addition system
• Vienna Development Method

W

• Wright (ADL)

Z

• Z notation