Specification languages
UML specification (including OCL)
OMG Modeling and Metadata Specifications
The Object-Z Specification Language Reference Manual book
The Object-Z Specification Language
The Object-Z Home Page
The Object-Z Home Page
Escher Technologies
Escher Technologies - Building bug-free software
Perfect Developer products
Escher Technologies - Products
Citations from CiteSeer ist
petri net - ResearchIndex document query
exchangeable Routing Language tue staff
This page has moved!
Petri Net Markup Language berlin top about
Petri Net Markup Language
Petri Nets World uni hamburg
Petri Nets World: Online Services for the International Petri Nets Community
Summary of PVS by John Rushby at the Mechanized Reasoning database of Michael Kohlhase and Carolyn Talcott
PVS website at the Computer Science Laboratory, SRI.
PVS Specification and Verification System
RAISE – Rigorous Approach to Industrial Software Engineering web terma projects raise
RAISE - Rigorous Approach to Industrial Software Engineering
RAISE Virtual Library entry raise
WWW Virtual Library: Formal Methods - RAISE
SDL website
Home - Confluence
Telelogic, maker of Tau, an SDL Design Tool (COMMERCIAL)
Telelogic Enterprise Architecture Business Process Management Systems Engineering
SDL forum forum
SDL Forum Society - Home page
The Zed formal specification notation
The World Wide Web Virtual Library:
The Z notation
Mike Spivey's Fuzz Type-Checker for Z oriel fuzz
The fuzz type-checker for Z
ZETA open-source system for development software specifitcations in Z berlin zeta
The ZETA System
Community Z Tools (CZT) project
Welcome to CZT
Suppliers of the ISO formal specification iso iso
ISO - International Organization for Standardization
Tell your friends about http://www.froola.com
Specification proposals by Ian Toyn www users york
Z: Index of Resources
Previous page
This article is licensed under the GNU Free Documentation License.
It uses material from the Wikipedia articles :
Object Constraint Language , Object-Z , Perfect Developer , Petri net , Prototype Verification System , RAISE specification language , Simple Declarative Language , Specification and Design Language , Z , Z notation , .
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".