Category:Specification languages

From Wikipedia, the free encyclopedia

The main article for this category is Specification language.

This category lists those specification languages known to Wikipedia.

Subcategories

This category has the following 5 subcategories, out of 5 total.

D

  • Data modeling languages
  • Dependently-typed formal languages

F

  • Formal specification languages

H

  • Hardware description languages

U

  • Unified Modeling Language

Pages in category "Specification languages"

The following 28 pages are in this category, out of 28 total. Updates to this list can occasionally be delayed for a few days.

  • Specification language

A

  • Advanced Continuous Simulation Language

B

  • BPEL4People
  • Battle management language
  • Business Process Execution Language

C

  • CO-OPN

F

  • FermaT Transformation System
  • Flow Description Markup Language
  • Framework-specific modeling language

F cont.

  • Fundamental modeling concepts

G

  • General-purpose modeling

H

  • HOOD method
  • Hartmann pipeline

I

  • I*
  • IDL specification language
  • Interface description language

K

  • KM3

L

  • Lightweight Imaging Device Interface Language

M

  • Meta-Object Facility

M cont.

  • Modelica
  • Modeling language

O

  • Object Process Methodology

S

  • Simple Declarative Language

T

  • Tefkat

U

  • Unified Modeling Language

W

  • WS-CDL

Z

  • Z notation
  • Z++
Categories: Computer languages | Technical communication
Views
  • Category
  • Discussion
  • Current revision
Navigation
  • Main Page
  • Contents
  • Featured content
  • Current events
Interaction
  • About Wikipedia
  • Community portal
  • Recent changes
  • Contact Wikipedia
  • Donate to Wikipedia
  • Help
Languages
  • Español
  • Português
  • Русский
  • Tiếng Việt
Powered by MediaWiki
Wikimedia Foundation
  • This page was last modified 15:53, 7 April 2008 by Wikipedia user Allan McInnes. Based on work by Wikipedia user(s) Andreas Kaufmann, Cander0000, VolkovBot, DHN-bot, JonHarder, BD2412, Wikiborg, Leland McInnes, IFaqeer, LeeHunter and Danakil and Anonymous user(s) of Wikipedia.
  • All text is available under the terms of the GNU Free Documentation License. (See Copyrights for details.)
    Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc., a U.S. registered 501(c)(3) tax-deductible nonprofit charity.
  • About Wikipedia
  • Disclaimers