Use the form below to find particular standards or projects. Enter your criteria for searching (single or in combination) in the fields below and press the button “Search”. You can also search using the Advance Search facility.
Information technology — Requirements and Guidelines for Test Methods Specifications and Test Method Implementations for Measuring Conformance to POSIX Standards
90.93 Standard confirmed
Information technology — Programming languages — Prolog — Part 1: General core — Technical Corrigendum 1
60.60 Standard published
Information technology — Programming languages — Prolog — Part 1: General core — Technical Corrigendum 2
60.60 Standard published
Information technology — Programming languages — Prolog — Part 1: General core — Technical Corrigendum 3
60.60 Standard published
Information technology — Programming languages — Prolog — Part 1: General core
90.93 Standard confirmed
Information technology — Programming languages — Prolog — Part 2: Modules
90.93 Standard confirmed
Information technology — Z formal specification notation — Syntax, type system and semantics — Technical Corrigendum 1
60.60 Standard published
Information technology — Z formal specification notation — Syntax, type system and semantics
90.93 Standard confirmed
Information technology — Portable Common Tool Environment (PCTE) — Part 1: Abstract specification
90.93 Standard confirmed
Information technology — Portable Common Tool Environment (PCTE) — Part 2: C programming language binding
90.93 Standard confirmed
Information technology — Portable common tool environment (PCTE) — Part 3: Ada programming language binding
90.93 Standard confirmed
Information technology — Portable Common Tool Environment (PCTE) — Part 4: IDL binding (Interface Definition Language)
90.93 Standard confirmed
Information technology — Programming languages, their environments and system software interfaces — Programming language Extended APL
90.93 Standard confirmed
Information technology — Programming languages, their environments and system software interfaces — Programming language ISLISP
90.93 Standard confirmed
Information technology — Programming languages, their environments and system software interfaces — Vienna Development Method — Specification Language — Part 1: Base language
90.93 Standard confirmed
Information technology — Language-Independent Procedure Calling (LIPC)
90.93 Standard confirmed
Information technology — Programming languages, their environments and system software interfaces — Guidelines for the preparation of language-independent service specifications (LISS)
60.60 Standard published
Information technology — Portable Operating System Interface (POSIX®) — Test methods for measuring conformance to POSIX — Part 1: System interfaces — Amendment 1: Realtime Extension (C Language)
60.60 Standard published
