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 — Programming languages — Prolog — Part 1: General core — Technical Corrigendum 3
60.60 Standard published
Information technology — Programming languages — Prolog — Part 2: Modules
90.93 Standard confirmed
Information technology — Z formal specification notation — Syntax, type system and semantics
90.93 Standard confirmed
Information technology — Z formal specification notation — Syntax, type system and semantics — Technical Corrigendum 1
60.60 Standard published
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 — Portable Operating System Interface (POSIX®) — Test methods for measuring conformance to POSIX — Part 1: System interfaces
90.93 Standard confirmed
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
Information technology — POSIX Ada Language Interfaces — Binding for System Application Program Interface (API)
90.93 Standard confirmed
Information technology — Syntactic metalanguage — Extended BNF
90.93 Standard confirmed