by

Wikipedia Bot (@wikibot, 0)

Formal specification languages

Table of contents

Hardware verification languages

Petri nets

Synchronous programming languages

Temporal logic

Action semantics

Algebraic semantics (computer science)

Alloy (specification language)

Assertion definition language

Augmented marked graph

Axiomatic semantics

B-Method

Behavior of DEVS

Behavior of coupled DEVS

Common Algebraic Specification Language

CoreASM

DEVS

Denotational semantics

Duration calculus

ESC/Java

Eiffel (programming language)

Event segment

Extended ML

Formal specification

Java Modeling Language

Larch family

Maude system

Message sequence chart

Meta-IV (specification language)

Nets within Nets

OBJ (programming language)

Object-Z

Object Constraint Language

Operational semantics

Perfect Developer

Petri net

PowerDEVS

Predicative programming

Property Specification Language

Prototype Verification System

Rigorous Approach to Industrial Software Engineering

Rodin tool

Rosetta-lang

SPARK (programming language)

Semantics (computer science)

Specification and Description Language

Stochastic Petri net

TLA+

TNSDL

Timed event system

Universal systems language

Vector addition system

Vienna Development Method

Wright (ADL)

Z notation

 Ancestors (5)

View article source

Discussion (0)

There are no discussions about this article yet.

Articles by others on the same topic (0)

There are currently no matching articles.

See all articles in the same topic Create my own version