Extended feature algebra

DOI10.1016/J.JLAMP.2015.12.002MaRDI QIDQ2374310zbMATH OpenOpenAlexWikidataFDO

Authors Peter Höfner, Bernhard Möller

Publication date 15 December 2016

Published in Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlamp.2015.12.002

zbMATH Keywords

algebraic characterisation of FOSDfeature algebrafeature-orientation

Mathematics Subject Classification ID

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

Recommendations

• An Algebra for Features and Feature Composition
• Foundations of coloring algebra with consequences for feature-oriented programming
• An algebraic foundation for automatic feature-based program synthesis
• scientific article; zbMATH DE number 2100581
• Structured document algebra in action

Cites work

• A virtual class calculus
• An Algebra for Features and Feature Composition
• An algebraic foundation for automatic feature-based program synthesis
• Exploring modal worlds
• scientific article; zbMATH DE number 1638664 (Why is no real title available?)
• scientific article; zbMATH DE number 2033531 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• Isabelle/HOL. A proof assistant for higher-order logic
• Kleene algebra with domain
• Relational and Kleene-Algebraic Methods in Computer Science
• Structured document algebra in action
• Term Rewriting and All That
• Towards pointer algebra

Cited in

(4)

• Foundations of coloring algebra with consequences for feature-oriented programming
• Structured document algebra in action
• An Algebra for Features and Feature Composition
• An algebraic foundation for automatic feature-based program synthesis

Describes a project that uses

Uses Software

• Waldmeister
• Tribe
• Prover9
• Mace4

This page was built for publication: Extended feature algebra

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