scientific article; zbMATH DE number 3936504

MaRDI QIDQ3707396zbMATH OpenFDO

Authors Claus-Werner Lermen, Jacques Loeckx

Publication date 1985

zbMATH Keywords

program verificationalgebraic specificationsspecification languageOBSCURE languagesoftware engineering methodology

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)

Recommendations

• OBSCURE, a specification language for abstract data types
• scientific article; zbMATH DE number 3954252
• scientific article; zbMATH DE number 8786
• scientific article; zbMATH DE number 4084991
• scientific article; zbMATH DE number 3890710

Cited in

(2)

• scientific article; zbMATH DE number 3980455 (Why is no real title available?)
• scientific article; zbMATH DE number 3936503 (Why is no real title available?)

Describes a project that uses

Uses Software

• OBSCURE

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3707396)