OBSCURE(ID:1171/obs001)

Began: 1985
Published: 1985
- 1985

Specification Language

References:

Loeckx, J. "A Formal Description of the Specification Language OBSCURE" TR A85/15, U Saarlandes, Saarbrucken, 1985. view details

Lehmann T. and J. Loeckx. The specification language of OBSCURE. In Recent Trends in Data Type Specification, Selected Papers from the 5th Workshop on Specification of Abstract Data Types, pages 131-153. Springer LNCS 332, 1988 view details

Lehmann, Thomas and Loeckx, Jacques "OBSCURE: A Specification Language for Abstract Data Types" pp303-350 view details
in Acta Informatica 30(4) July, 1993 view details