Specification languages
Citations from CiteSeer
Tutorial for Alloy 2.0 web mit www alloy tutorial
The Alloy Analyzer alloy mit
Alloy Homepage
B4free free tools
B4free and Clik'n'prove,a set of tools for the development of B models with the B formal method
Site B Grenoble www
Site B Grenoble
B-Core (UK) Ltd core
B-Core, The B-Technology Company:
Home Page
Atelier B tool
Atelier
B: the industrial tool to efficiently deploy the B method
The B-Method in the
WWW Virtual Library: Formal Methods - The B-Method
Software Modeling and Verification Group of the University of Geneva.
.:: SMV: Software Modeling and Verification Group - Geneva University : HomePage
HQL by H. Hernan Moraldo – complete denotational semantics of a small language
H. Hernan Moraldo's website
Presentation by Josh Cogliati
Denotational Semantics
''Denotational Semantics: A Methodology for Language Development'' by David Schmidt
''Structure of Programming Languages I: Denotational Semantics'' by Wolfgang Schreiner
Structure of Programming Languages I:
Denotational Semantics
''Denotation Semantics'' by Lloyd Allison
Denotational Semantics of Computer Programming Languages
RAISE information raise
The IMM/DTU RAISE Page
RAISE: Rigorous Approach to Industrial Software Engineering
DCVALID: A tool for model-checking Duration Calculus formulae
DCVALID: A model checker for Duration Calculus
Duration Calculus – Virtual Library entry
WWW Virtual Library: Formal Methods - Duration Calculus
Don Sannella - Information about Extended ML homepages
Virtual Library formal methods info
Formal Methods Virtual Library
Formal Specification
Formal Specification
A Case for Formal Specification (Technology) by Coryoth 2005-07-30
A Case for Formal Specification || kuro5hin.org
CMS/TSO Pipelines Runtime Library Distribution marist
CMS/TSO Pipelines Runtime Library Distribution
JML home page
The Java Modeling Language (JML) Home Page
World-wide Environment for Learning LOTOS (WELL) stir research well
WELL - World-Wide LOTOS
CASL, The Common Algebraic Specification Language projects
CoFI -- Casl, The Common Algebraic
Specification Language
''Larch: Languages and Tools for Formal Specification'' sds mit larch pub
MIT Larch Home Page sds mit larch
Larch
Object Management Group
Object Management Group
The OBJ family users
OBJ Family: OBJ3 CafeOBJ Maude Kumo FOOPS Eqlog
The OBJ archive info
The OBJ archive
Next page
This article is licensed under the GNU Free Documentation License.
It uses material from the Wikipedia articles :
Alloy language , B-Method , COOPN , Denotational semantics , Dines Bjørner , Duration Calculus , Extended ML , Formal methods , Formal specification , Hartmann pipeline , Java Modeling Language , Language Of Temporal Ordering Specification , Larch family , Meta-Object Facility , OBJ , .
If you use exact copy or modified of this article you should preserve above paragraph and put also : It uses material from
the Froola link list about "Specification languages".