
	Where results make sense

Topic: Specification language

Related Topics

List of programming languages

In the News (Sat 14 Nov 09)

Northern Trust

Marvin Harrison

Peter Chernin

Gary Locke

Match Play

Penelope Cruz

Mickey Rourke

AR Rahman

Danny Boyle

Hugh Jackman

	Specification language - Wikipedia, the free encyclopedia
		A specification language is a formal language used in computer science.
		Unlike most programming languages, which are directly executable formal languages used to implement a system, specification languages are used during system analysis, requirements analysis and design.
		An important use of specification languages is enabling the creation of proofs of program correctness (see theorem prover).
	en.wikipedia.org /wiki/Specification_language (219 words)

	VDM specification language - Wikipedia, the free encyclopedia
		VDM Specification Language (VDM-SL) is a model-oriented specification language, upon which the Vienna Development Method for computer software is based.
		An ISO Standard for the language was released in 1996 (ISO, 1996).
		The "English School" derived from work by Cliff Jones on the aspects of VDM not specifically related to language definition and compiler design (Jones 1980, 1990).
	en.wikipedia.org /wiki/VDM_specification_language (1054 words)

	RFC 2622 (rfc2622) - Routing Policy Specification Language (RPSL) (Site not responding. Last check: 2007-09-17)
		The syntax of a peering specification is: [] [at ]
		The semantics are as follows: The specification indicates the AS (and the router if present) is being defaulted to; the specification, if present, indicates various attributes of defaulting, for example a relative preference if multiple defaults are specified; and the specifications, if present, is a policy filter.
		The language defines a maintainer (mntner class) object which is the entity which controls or "maintains" the objects stored in a database expressed by RPSL.
	www.faqs.org /rfcs/rfc2622.html (12749 words)

	ESI - Accelerating E-Business Applications: Language Spec 1.0 (Site not responding. Last check: 2007-09-17)
		Unlike other in-markup languages, ESI is designed to leverage client tools like caches to improve end-user perceived performance, reduce processing overhead on the origin server, and enhanced availability.
		ESI is an XML language designed to be interposed into markup to provide logic and dispatch services, targetted for processing after the markup has left the origin server, but before it is paginated by the end user's client.
		It is an in-markup scripting language that is interpreted before the page is served to the client.
	www.esi.org /language_spec_1-0.html (2253 words)

	Extensible Markup Language (XML) 1.0 (Third Edition) (Site not responding. Last check: 2007-09-17)
		This version of the XML specification may be distributed freely, as long as all text and legal notices remain intact.
		In this specification, general entities are sometimes referred to with the unqualified term entity when this leads to no ambiguity.] [Definition: Parameter entities are parsed entities for use within the DTD.] These two types of entities use different forms of reference and are recognized in different contexts.
		Specifically, it is a fatal error if an entity encoded in UTF-8 contains any irregular code unit sequences, as defined in Unicode 3.1 [Unicode3].
	www.w3.org /TR/REC-xml (8474 words)

	IEC: SDL
		Specification and description language (SDL) is an object-oriented, formal language defined by The International Telecommunications Union—Telecommunications Standardization Sector (ITU—T) (formerly Comité Consultatif International Telegraphique et Telephonique [CCITT]) as recommendation Z.100.
		The language is intended for the specification of complex, event-driven, real-time, and interactive applications involving many concurrent activities that communicate using discrete signals.
		SDL is an object-oriented formal language defined by the ITU—T for specification of complex, real-time applications.
	www.iec.org /online/tutorials/sdl (250 words)

	Java Language
		After the broad language changes introduced with JDK 1.1, both the 1.2 and 1.3 releases of the Java 2 Platform, Standard Edition introduced minor language changes which, although typically recorded in the Compatibility documents of the product releases, remained otherwise undocumented prior to the publication of the Second Edition.
		The Java language is currently being extended in a number of areas under the Java Community Process (JCP), most notably to add support for generic types.
		The intent is that this section of the Report cover all known problems with the Java Language Specification, with one notable exception: problems relating to the Java memory model, which is described in Chapter 17 of the JLS.
	www.ergnosis.com /java-spec-report/java-language (741 words)

	The CoverPages
		A formal language specification defining the precise syntax and semantics of the BPEL-SPE extension is planned for later release.
		ETRM defines "open formats" as specifications for data file formats that are based on an underlying open standard, developed by an open community, affirmed and maintained by a standards body, and are fully documented and publicly available.
		The specification defines the meaning of the attribute 'xml:id' as an ID attribute in XML documents and processing of the attribute to identify IDs in the absence of validation, without fetching external resources or relying on an internal subset.
	xml.coverpages.org (15824 words)

	Cover Pages: WAP Wireless Markup Language Specification (WML)
		WML (Wireless Markup Language) is a markup language based on XML, and is intended for use in specifying content and user interface for narrowband devices, including cellular phones and pagers.
		WML2 is a language which extends the syntax and semantics of XHTML Basic and CSS Mobile Profile with the unique semantics of WML1, optimised for specifying presentation and user interaction on limited capability devices such as mobile phones and other wireless mobile terminals.
		WML is a language defined according to the specifications of the XML standard.
	www.oasis-open.org /cover/wap-wml.html (10536 words)

	CoFI -- Casl, The Common Algebraic Specification Language (Site not responding. Last check: 2007-09-17)
		An initial design was proposed [12] in May 1997 (with a language summary, abstract syntax, formal semantics, but no agreed concrete syntax) and tentatively approved by IFIP WG1.3.
		A great deal of careful consideration was given to the effect that the constructs available in the language would have on such aspects as the methodology and tools.
		A complete formal semantics for Casl was produced in parallel with the later stages of the language design (in fact Casl had a formal semantics even before its concrete syntax was designed [15]), and the desire for a relatively straightforward semantics was one factor in the choice between various alternatives in the design.
	www.brics.dk /Projects/CoFI/CoFICASL.html (318 words)

	XML Path Language (XPath)
		Comments on this specification may be sent to www-xpath-comments@w3.org; archives of the comments are available.
		This specification is joint work of the XSL Working Group and the XML Linking Working Group and so is part of the W3C Style activity and of the W3C XML activity.
		In many programming languages, a string is represented by a sequence of 16-bit Unicode code values; implementations of XPath in such languages must take care to ensure that a surrogate pair is correctly treated as a single XPath character.
	www.w3.org /TR/xpath#section-Basics (8473 words)

	OPML 1.0 Specification
		Outlines can be used for specifications, legal briefs, product plans, presentations, screenplays, directories, diaries, discussion groups, chat systems and stories.
		There is no specific limit on the length of the text attribute.
		Further, while these copyright restrictions apply to the written OPML specification, no claim of ownership is made by UserLand to the format it describes.
	www.opml.org /spec (1132 words)

	The Java Language Specification
		He is well known as the co-creator of the Scheme programming language and for his reference books for the C programming language (with Samuel Harbison) and for the Common Lisp programming language.
		Steele received the ACM Grace Murray Hopper Award in 1988 and was named an ACM Fellow in 1994, a member of the National Academy of Engineering in 2001, and a fellow of the American Academy of Arts and Science in 2002.
		It describes all aspects of the language, including the semantics of all types, statements, and expressions, as well as threads and binary compatibility.
	java.sun.com /docs/books/jls (750 words)

	The Java Community Process(SM) Program - JSRs: Java Specification Requests - detail JSR# 901
		programming language since the publication of the first edition of the language specification.
		Language Specification, Second Edition includes all changes, clarifications and amendments made to the Java
		programming language since the publication of the first edition of the language specification in 1996.
	www.jcp.org /en/jsr/detail?id=901 (76 words)

	The Java Community Process(SM) Program - JSRs: Java Specification Requests - detail JSR# 241
		Groovy can be a low-threshold language for developers new to the Java platform as well as a productivity-enhancing tool for experienced Java developers.
		There is currently no standard dynamic scripting language specifically designed to take full advantage of the Java platform.
		The Groovy language specification will be based on work in progress on the Groovy open source project at http://groovy.codehaus.org/
	www.jcp.org /en/jsr/detail?id=241 (1241 words)

	mSQL 2.0 Manual - Language Specification
		Although it does not support all the relational operations defined in the ANSI specification, it does provide the capability of "joins" between multiple tables.
		The power of a relational query language starts to become apparent when you join tables together during a select operation.
		Lets say you had two tables defined, one containing staff details and another listing the projects being worked on by each staff member, and each staff member has been assigned an employee number that is unique to that person.
	www.hughes.com.au /library/msql2/manual/spec.htm (1782 words)

	Object Management Group - UML
		OMG is a not-for-profit computer industry specifications consortium; our members define and maintain the UML specification which we publish in the series of documents linked on this page for your free download.
		UML 2.0 Diagram Interchange: This specification extends the UML metamodel with a supplementary package for graph-oriented information, allowing models to be exchanged or stored/retrieved and then displayed as they were originally.
		In our UML 2.0 Specifications Box, version 1.5 will be labeled "Current" until all four of the 2.0 components have completed their final adoption step.
	www.uml.org (1100 words)

	Process Specification Language (PSL)
		ISoftware language uses artificial intelligence and language analysis to help computers reason more precisely than they do now.
		The process specification language should make computers much more useful in manufacturing, federal researchers say.
		Industrial automation systems and integration -- Process specification language -- Part 1: Overview and basic principles becomes an international standard.
	www.mel.nist.gov /psl (328 words)

	PSL Property Specification Language Selected for DesignVision Award
		PSL is a language for specifying the functional behavior of a design.
		The Accellera PSL standard is based upon IBM's "Sugar" language, which was developed and validated at IBM Haifa Research Labs for many years before IBM donated the language to Accellera for standardization.
		Underlying the popularity of PSL are its true interoperability across multiple languages and design flows, its power of expressiveness, and its ease-of-use.
	standards.ieee.org /announcements/pr_designvision.html (730 words)

	comp.specification.z Frequently Asked Questions (FAQ)
		Z (pronounced `zed') is a formal specification notation based on set theory and first order predicate logic.
		The mouse can be used to interact with a view of the typeset specification to inspect properties deduced by the type-checker, to see the expansion of schema calculus expressions, and to reason about conjectures such as proof obligations.
		Some people have looked at animating subsets of Z for rapid prototyping purposes, using logic and functional programming for example, but this is not really the major point of Z, which is to increase human understandability of the specified system and allow the possibility of formal reasoning and development.
	www.faqs.org /faqs/z-faq (2624 words)

	Cover Pages: DSSSL - Document Style Semantics and Specification Language. ISO/IEC 10179:1996
		A related style language which uses DSSSL constructs is the Extensible Style Language (XSL).
		Virtually the entire language as specified in chapters 8 through 12 of the standard is checked for syntactic correctness, and a virtually complete implementation of the core expression language is included, as is the first-ever (as far as I know) implementation of the DSSSL transformation language.
		The semantics of the style language is not implemented, but the query and transformation languages are implemented, as is the core expression language, together with a number of optional compenents, with two exceptions: only 8-bit characters with single-character names are supported, and the functions
	www.oasis-open.org /cover/dsssl.html (6745 words)

	Cecil/Vortex Project Paper: "Specification & Rationale" (Site not responding. Last check: 2007-09-17)
		Cecil is a purely object-oriented language intended to support rapid construction of high-quality, extensible software.
		Cecil's static type system distinguishes between subtyping and code inheritance, but Cecil enables these two graphs to be described with a single set of declarations, streamlining the common case where the two graphs are parallel.
		This document mixes the specification of the language with discussions of design issues and explanations of the reasoning that led to various design decisions.
	www.cs.washington.edu /research/projects/cecil/www/pubs/cecil-spec.html (254 words)

	Ecma WEB SITE
		This Ecma Standard specifies the form and establishes the interpretation of programs written in the C# programming language.
		The syntax and constraints of the C# language;
		The restrictions and limits imposed by a conforming implementation of C#.
	www.ecma-international.org /publications/standards/Ecma-334.htm (161 words)

	OBJ Family: OBJ3 CafeOBJ Maude Kumo FOOPS Eqlog
		All the OBJ languages are rigorously based upon a logical system; more precisely, they are logical languages, in the sense that their programs are sets of sentences in some logical system, and their operational semantics is given by deduction in that logical system.
		The OBJ module system ideas are a further development of ideas pioneered in the Clear language, which was joint work of Joseph Goguen and Rod Burstall in the 1970s.
		It extends OBJ3 with support for behavioral specification and verification, and in particular, it provides circular coinductive rewriting with case analysis for conditional equations over behavioral theories, as well as behavioral and ordinary rewriting over order sorted theories, modulo attributes that can be any combination of associative, commutative and identity.
	www-cse.ucsd.edu /users/goguen/sys/obj.html (2284 words)

	Unified Modeling Language
		OMG is pleased to announce that the UML specification (version 1.4.2, OMG document: formal/05-04-01) is now an accepted ISO specification.
		It's a large specification, made up of four parts (Superstructure, Infrastructure, Object Constraint Language (OCL), and Diagram Interchange).
		Until all of the parts of the UML 2.0 specification become formal specifications, you can refer to the following documents that comprise these parts of the UML 2.0 specification.
	www.omg.org /technology/documents/formal/uml.htm (143 words)

	Rei : A Policy Specification Language (Site not responding. Last check: 2007-09-17)
		Rei is a policy language based in OWL-Lite that allows policies to be specified as constraints over allowable and obligated actions on resources in the environment.
		Rei includes meta policy specifications for conflict resolution, speech acts for remote policy management and policy analysis specifications like what-if analysis and use-case management making it a suitable candidate for adaptable security in the environments under consideration.
		A Policy Specification Language for Governing Open, Dynamic Distributed Environments, Presentation.
	rei.umbc.edu (770 words)

	3Dlabs Developer Support
		One is a thorough overview of the OpenGL Shading Language.
		This release includes support for the OpenGL Shading Language entry points that are new to OpenGL 2.0.
		Our OpenGL Shading Language page contains the definitive specifications, reference pages for new API entry points, and source code and demo programs to help you learn how to use this language.
	developer.3dlabs.com (656 words)

	The Forum Specification Language
		The bottom-up search for uniform proofs is goal-directed to the extent that if the goal has a logical connective as its head, that occurrence of that connective must be introduced: the left-hand side of a sequent is only considered when the goal is atomic.
		In [Chirimar 1995], the sequential and pipled semantics of the DLX risc-processor were specified and shown to be formally correct.
		Being a research programming language, most of UMA Forum features are subject to change; although it intends to be an efficient implementation of a large portion of Forum.
	www.cse.psu.edu /~dale/forum (1593 words)

Try your search on: Qwika (all wikis)