scientific article; zbMATH DE number 4007699

zbMATH Open0621.68005MaRDI QIDQ3757373FDOQ3757373

Authors: Horst Reichel 

Publication date: 1986

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

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

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)

Cited In (3)

• Programming for behaviour
• Title not available (Why is that?)
• Title not available (Why is that?)

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)