[permalink] [id link]
** Alloy, a specification language inspired by Z notation and implementing the principles of Object Constraint Language ( OCL ).
from
Wikipedia
Some Related Sentences
** and Alloy
** B32 Metal and Metal Alloy Wrought Mill Product Nominal Sizes
** and specification
** ANSI C grammar, Lex specification
** Specification – specifying requirements of a design solution for a product ( product design specification ) or service.
** Advanced Continuous Simulation Language ( ACSL ), which supports textual or graphical model specification
** Mechanical specification of electrical connectors and cables, for example maximum cable length
** Electrical specification of transmission line signal level and impedance
** Radio interface, including electromagnetic spectrum frequency allocation and specification of signal strength, analog bandwidth, etc.
** IDL specification language, the original IDL created by Lamb, Wulf and Nestor at Queen's University, Canada
** The present ( without the specification of a hypersurface or " section ") often means the single spacetime event being considered.
** Omitted-variable bias is the bias that appears in estimates of parameters in a regression analysis when the assumed specification is incorrect, in that it omits an independent variable that should be in the model.
** contract specification
** The core specification is updated to ISO POSIX ( 2003 )
** GS1-128 application standard of the GS1 implementation using the Code 128 barcode specification
** This specification and its companion WS-RM Policy 200502 were submitted to the OASIS Web Services Reliable Exchange ( WS-RX ) Technical Committee for standardization in June, 2005.
** 35 USC § 112 specification and claims
** Microsoft Tablet PC, a pen-enabled personal computer specification announced by Microsoft in 2001
** Goal specification
** VDM specification language, a specification language upon which the Vienna Development Method is based
** ISO / IEC 18023-1: 2006 ( E ) Information technology-SEDRIS-Part 1: Functional specification
** Comprehension in set theory, another name for the axiom schema of specification ( or more specifically, the axiom schema of unrestricted specification )
** Part 1616 – AP210 functional specification
** Part 1306 – AP239 task specification resourced
** XpertRule ( 1993 ), a knowledge specification and generation system.
** and language
** Atlas Autocode, a programming language developed for the Atlas Computer
** Old English, their language
** New Curonian ( nearly extinct ; often considered a separate language, but mutually intelligible to Latvian )
** Chinese character, a written language symbol ( sinogram ) used in Chinese, Japanese, and other languages
** Standard Chinese, the standard form of the Chinese language in China, Taiwan and Singapore, and the variety most commonly taught as a foreign language
** implementing a language, sometimes quite high-level ( e. g. PostScript )
** English studies, the study of English language and literature, often as a school subject
** Ewe language, the language of the Ewe people
** French language, a Romance language originating in what is now northern France
** Frankish language or its modern descendants, Franconian languages
** West Frisian language, spoken in Friesland, Netherlands
** Saterland Frisian language, spoken in Lower Saxony, Germany
** North Frisian language, spoken in Schleswig-Holstein, Germany
** Georgian language
** Yiddish language – a High-German language with Hebrew and Slavic influence, used by Ashkenazi Jews
** Ladino language – a Spanish language with Hebrew and Aramaic influence, used by Sephardi Jews
** Marsian, the language of the Marsi
** ip ( struct ), a structure in the C programming language to store IP packet headers
** Ket language, the language of the Ket people
0.800 seconds.