Structured Document Algebra in Action

DOI10.1007/978-3-319-15545-6_19zbMath1454.68023OpenAlexW184765104MaRDI QIDQ5256355

Andreas Zelend, Dominik Köppl, Bernhard Möller, Peter Höfner, 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)

Related Items

Extended feature algebra

Uses Software

• Classbox/J

Cites Work

• Unnamed Item
• Embedding a demonic semilattice in a relation algebra
• Towards pointer algebra
• An algebraic foundation for automatic feature-based program synthesis
• Demonic operators and monotype factors