OBSCURE

swMATH2575MaRDI QIDQ15114

No author found.

Described by source

• OBSCURE, a specification language for abstract data types

Related Items (6)

Unnamed Item ⋮ Proof systems for structured specifications with observability operators ⋮ Mathematical instruments between material artifacts and ideal machines: their scientific and social role before 1950. Abstracts from the workshop held December 17--23, 2017 ⋮ Algebraic system specification and development. A survey and annotated bibliography ⋮ Unnamed Item ⋮ Toward formal development of programs from algebraic specifications: Parameterisation revisited

This page was built for software: OBSCURE