specification
111Axiom schema of specification — For the separation axioms in topology, see separation axiom. In axiomatic set theory and the branches of logic, mathematics, and computer science that use it, the axiom schema of specification, axiom schema of separation, subset axiom scheme or… …
112Java Portlet Specification — The Java Portlet Specification defines a contract between the portlet container and portlets and provides a convenient programming model for portlet developers. JSR 168 The Java Portlet Specification V1.0 was developed under the Java Community… …
113Algebraic specification — [cite book|title=Algebraic Specification|first=J. A.|last=Bergstra|coauthors=B. Mahr|publisher=Academic Press|date=1989|isbn=0 201 41635 2] [cite book|title=Algebraic Specification|first=E.|last=Ehrig|coauthors=J. Heering, J.… …
114Programming language specification — A programming language specification is an artifact that defines a programming language so that users and implementors can agree on what programs in that language mean.A programming language specification can take several forms, including the… …
115Pronunciation Lexicon Specification — The Pronunciation Lexicon Specification (PLS) is a W3C Specification, which is designed to enable interoperable specification of pronunciation information for both speech recognition and speech synthesis engines within voice browsing applications …
116Java Specification Request — Ein Java Specification Request (JSR) ist eine Anforderung einer neuen Java Spezifikation oder einer wichtigen Änderung einer existierenden Java Spezifikation, die im Rahmen des Java Community Process (JCP) an das von Sun Microsystems betriebene… …
117Common Algebraic Specification Language — The Common Algebraic Specification Language (CASL) is a general purpose specification language based on first order logic with induction. Partial functions and subsorting are also supported. CASL has been designed by CoFI, the Common Framework… …
118ZigBee specification — ZigBee is the specification of a low cost, low power wireless communications solution, meant to be integrated as the main building block of ubiquitous networks. It is maintained by the ZigBee Alliance, which develops the specification and… …
119Wireless USB specification — Certified Wireless USB (W USB for short) is the specification of a wireless extension of the USB standard which intends to further increase the availability of general USB based solutions. It is maintained by the WiMedia Alliance, and as of 2007… …
120Product design specification — A product design specification (PDS) is a statement of what a not yet designed product is intended to do. Its aim is to ensure that the subsequent design and development of a product meets the needs of the user.The Open University (UK), 2001.… …
