scientific article; zbMATH DE number 4206000

MaRDI QIDQ3355245zbMATH OpenFDO

Authors Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs

Publication date 1989

zbMATH Keywords

configuration familiesdesign methodologiesmodulessoftware configuration managementsoftware engineeringversion control

Mathematics Subject Classification ID

Theory of software (68N99) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Cited in

(7)

• Compatibility problems in the development of algebraic module specifications
• scientific article; zbMATH DE number 3938532 (Why is no real title available?)
• scientific article; zbMATH DE number 2013608 (Why is no real title available?)
• scientific article; zbMATH DE number 4117818 (Why is no real title available?)
• scientific article; zbMATH DE number 1860657 (Why is no real title available?)
• Structured document algebra in action
• Software Development in Relation Algebra with Ampersand

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