OBSCURE

MaRDI QIDQ15114swMATHFDO

Official website http://www.springerlink.com/content/m2q10716p4074752/fulltext.pdf

Described by source

• OBSCURE, a specification language for abstract data types

Cited in

(9)

• Mathematical instruments between material artifacts and ideal machines: their scientific and social role before 1950. Abstracts from the workshop held December 17--23, 2017
• scientific article; zbMATH DE number 4084991 (Why is no real title available?)
• Toward formal development of programs from algebraic specifications: Parameterisation revisited
• SingSurf
• ProMoT
• Mantissa
• Proof systems for structured specifications with observability operators
• scientific article; zbMATH DE number 3936504 (Why is no real title available?)
• Algebraic system specification and development. A survey and annotated bibliography

This page was built for software: OBSCURE