CaLiGraph
Formats
RDF
N-Triples
N3/Turtle
JSON
XML
CSV
OData
Atom
JSON
Microdata
JSON
HTML
Embedded
JSON
Turtle
Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
LODmilla Browser
Sparql Endpoint
About:
clgo:
Formal_specification_language
Property
Value
rdf:
type
owl:
Class
rdfs:
label
Formal specification language
rdfs:
subClassOf
Specification language
prov:
wasDerivedFrom
http://en.wikipedia.org/wiki/Category:Formal_specification_languages
is
rdf:
type
of
OBJ (programming language)
Petri net
TNSDL
TLA+
E-LOTOS
Prototype Verification System
Assertion definition language
Algebraic semantics (computer science)
Perfect Developer
Construction and Analysis of Distributed Processes
Eiffel (programming language)
Stochastic Petri net
Behavior of coupled DEVS
Formal specification
Specification and Description Language
Predicative programming
Z notation
Behavior of DEVS
PowerDEVS
Event segment
Object-Z
Language Of Temporal Ordering Specification
Java Modeling Language
Rigorous Approach to Industrial Software Engineering
Extended ML
Rodin tool
Refinement calculus
CoreASM
Universal Systems Language
PlusCal
Vector addition system
Rosetta-lang
Denotational semantics
Common Algebraic Specification Language
Larch family
Object Constraint Language
Wright (ADL)
Nets within Nets
Alloy (specification language)
Augmented marked graph
Maude system
Timed event system
Semantics (computer science)
Axiomatic semantics
Meta-IV (specification language)
B-Method
Duration calculus
ESC/Java
DEVS
Operational semantics
Message sequence chart
Action semantics
SPARK (programming language)
Vienna Development Method
is
rdfs:
subClassOf
of
Synchronous programming language
Hardware verification language