Tutorial results for Formal specification

1. PNG Specification
   Computers - Data Formats - Graphics - 2D - PNG. The official W3C recommendation specification for PNG. ...
   www.w3.org
   
   
   
2. CSS2 Specification
   Computers - Data Formats - Style Sheets - CSS - Reference - Specifications. The official Cascading Style Sheets 2 specification, presented by the World Wide Web Consortium. A comprehensive standards d ...
   www.w3.org
   
   
   
3. The Annotated XML Specification (version 1.0)
   Computers - Data Formats - Markup Languages - XML - Reference. Tim Bray, one of the authors of the XML specification, presents this annotated version to ...
   www.xml.com
   
   
   
4. Introduction to Formal Specification and Z
   Computers - Programming - Languages - Z - Books. By Ben Potter, Jane Sinclair, David Till; Prentice Hall PTR, 1997, ISBN 0132422077, 2nd edition. For developers; Z notation can greatly improve the way ...
   vig.prenhall.com
   
   
   
5. Scalable Vector Graphics (SVG) 1.1 Specification
   Computers - Data Formats - Graphics - Vector - SVG. Official specification from the W3C. ...
   www.w3.org
   
   
   
6. The Platform for Privacy Preferences 1.0 (P3P1.0) Specification
   Computers - Security - Internet - Privacy - Protocols. This is the specification, W3C recommendation date: 16-05-2002, of the Platform for Privacy Preferences (P3P). This document, along with its normative references, includes all the specification necessary for the implementation of interoperable P3P ...
   www.w3.org
   
   
   
7. The Java Language Specification
   Computers - Programming - Languages - Java - Official Documentation. Sun's formal specification of the Java language (all versions). Online HTML, HTML in ZIP archive, and PDF formats. ...
   java.sun.com
   
   
   
8. Formal Methods Europe
   Computers - Programming - Languages - Specification. An organisation with the mission of promoting and supporting the industrial use of formal methods for computer systems development. The site contains information on formal methods and on FME itself. ...
   www.fmeurope.org
   
   
   
9. The MIDI Specification
   Computers - Multimedia - Music and Audio - MIDI. A free version of the MIDI Specification. ...
   www.borg.com
   
   
   
10. OpenStep Specification
    Computers - Programming - Languages - Objective-C - Compilers and Environments. A copy of NeXT Computer's OpenStep Specification. This is the specification that both Cocoa and GNUstep are based on. ...
    www.gnustep.org
    
    
    
11. JavaHelp Specification
    Computers - Data Formats - Help - JavaHelp. The official JavaHelp specification in Acrobat PDF format. (Sun) ...
    java.sun.com
    
    
    
12. Erlang Specification
    Computers - Programming - Languages - Erlang - FAQs, Help and Tutorials. The Erlang 4.7 specification. (ps.gz) ...
    www.erlang.org
    
    
    
13. APNG Specification
    Computers - Data Formats - Graphics - 2D - PNG. An extension of the PNG image format, adding support for animated images. Includes full specification including file structure and version changes. ...
    wiki.mozilla.org
    
    
    
14. SVF specification
    Computers - Data For. The Simple Vector Format, or SVF, is a vector graphics format which supports hyperlinks and layer information. It was jointly developed by SoftSource and NCSA to provide a useful ...
    www.softsource.com
    
    
    
15. Java Specification Request 48 - WBEM Services Specification
    Computers - Software - Networking - Network Management - WBEM - Implementations. The Java Community Process(SM) Program provides a specification request for Java Interfaces for WBEM. ...
    jcp.org
    
    
    
16. Funge-98 Final Specification
    Computers - Programming - Languages - Befunge. The official specification for the 1998 revision to Befunge-93. ...
    quadium.net
    
    
    
17. HTML 2.0 Specification
    Computers - Data Formats - Markup Languages - HTML - Reference - Specifications. Historical RFC1866 HTML 2.0 specification is discussed. ...
    tools.ietf.org
    
    
    
18. RFC2616 - HTTP/1.1 Specification
    Computers - Internet - Protocols - HTTP. HTTP/1.1 is the latest specification from the World Wide Web Consortium. ...
    tools.ietf.org
    
    
    
19. SourceForge RTSP Specification Tracker
    Computers - Internet - Protocols - RTSP. Official issue/errata list for RTSP, from which the future version of the RTSP specification will be made. ...
    sourceforge.net
    
    
    
20. ECMA-262: ECMAScript specification
    Computers - Programming - Languages - JavaScript - Reference. The official specification for ECMAScript, the vendor-neutral standard for what was originally Netscape's JavaScript. ...
    www.ecma-international.org
    
    
    
21. Online Single Unix Specification
    Computers - Software - Operating Systems - Unix - Documentation. Ordering page for the Open Group's Single Unix Specification. ...
    www.unix.org
    
    
    
22. W3C WebCGM specification
    Computers - Data Formats - Graphics - Vector - WebCGM. The WebCGM specification, now a W3C Recommendation and becoming widely implemented for industrial and technical graphics on the Web, intranets and extranets. ...
    www.w3.org
    
    
    
23. RELAX NG specification
    Computers - Data Formats - Markup Languages - XML - Validation - RELAX NG. Specification of RELAX NG, an alternative to XML Schema for validating XML documents. ...
    www.oasis-open.org
    
    
    
24. ARB Vertex Program Specification
    Computers - Programming - Languages - ARB. The OpenGL low-level vertex shader language specification. Includes detailed documentation on APIs and assembly instructions. ...
    oss.sgi.com
    
    
    
25. ARB Fragment Program Specification
    Computers - Programming - Languages - ARB. The OpenGL low-level fragment shader language specification. Includes detailed documentation on APIs and assembly instructions. ...
    oss.sgi.com