scientific article; zbMATH DE number 3936504

zbMATH Open0584.68047MaRDI QIDQ3707396FDOQ3707396

Authors: Claus-Werner Lermen, Jacques Loeckx 

Publication date: 1985

Title of this publication is not available (Why is that?)

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

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)

Cited In (2)

• Title not available (Why is that?)
• Title not available (Why is that?)

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)