scientific article; zbMATH DE number 4007699

MaRDI QIDQ3757373zbMATH OpenFDO

Authors Horst Reichel

Publication date 1986

zbMATH Keywords

observabilitypartialityparameterized specificationprogramming in the largebehavioural equivalence of many-sorted algebrasinstitution of canons of behaviourparemeterized viewed canon of behaviour

Mathematics Subject Classification ID

Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 785047
• Behavioural specification for hierarchical object composition
• scientific article; zbMATH DE number 4113952
• scientific article; zbMATH DE number 2079667
• Toward formal development of programs from algebraic specifications: Parameterisation revisited

Cited in

(3)

• Programming for behaviour
• scientific article; zbMATH DE number 3956411 (Why is no real title available?)
• scientific article; zbMATH DE number 4113952 (Why is no real title available?)

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 Q3757373)