Structured document algebra in action

DOI10.1007/978-3-319-15545-6_19MaRDI QIDQ5256355zbMATH OpenOpenAlexFDO

Authors Peter Höfner, Dominik Köppl, Bernhard Möller, Andreas Zelend, D. S. Batory

Publication date 22 June 2015

Published in Software, Services, and Systems (Search for Journal in Brave)

Full work available at URL https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-587375

zbMATH Keywords

software product linesalgebraic reasoningfeature-oriented design

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• An Algebra for Features and Feature Composition
• Extended feature algebra
• An algebraic foundation for automatic feature-based program synthesis
• scientific article; zbMATH DE number 4206000
• scientific article; zbMATH DE number 3956412

Cites work

• scientific article; zbMATH DE number 1142323 (Why is no real title available?)
• An algebraic foundation for automatic feature-based program synthesis
• Demonic operators and monotype factors
• Embedding a demonic semilattice in a relation algebra
• Towards pointer algebra

Cited in

(2)

• An Algebra for Features and Feature Composition
• Extended feature algebra

Describes a project that uses

Uses Software

• Classbox/J

This page was built for publication: Structured document algebra in action

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5256355)