scientific article; zbMATH DE number 559218

MaRDI QIDQ4289276zbMATH OpenFDO

Authors Hartmut Ehrig

Publication date 28 July 1994

zbMATH Keywords

algebraic specificationsformal methodssoftware developmenttool support

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Abstract data types; algebraic specification (68Q65)

Recommendations

• An Algebra for Features and Feature Composition
• Semantic integration of heterogeneous software specifications.
• Formal methods and software development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985. Volume 2: Colloquium on Software Engineering (CSE)
• scientific article; zbMATH DE number 2189127
• Program entanglement, feature interaction and the feature language extensions

Cited in

(1)

• Program entanglement, feature interaction and the feature language extensions

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