On the weaving process of aspect-oriented product family algebra

DOI10.1016/J.JLAMP.2015.08.004MaRDI QIDQ898609zbMATH OpenOpenAlexWikidataFDO

Authors Qinglei Zhang, Ridha Khedri

Publication date 18 December 2015

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.08.004

zbMATH Keywords

aspect-orientationfeature-modelingproduct familyproduct family algebraproduct lineweaving process

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theory of software (68N99) Grammars and rewriting systems (68Q42)

Cites work

• An algebraic foundation for automatic feature-based program synthesis
• CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 44486 (Why is no real title available?)
• scientific article; zbMATH DE number 2090099 (Why is no real title available?)
• Software engineering and formal methods. 10th international conference, SEFM 2012, Thessaloniki, Greece, October 1--5, 2012. Proceedings
• Software Product Line Engineering

Cited in

(1)

• Defense in Depth Formulation and Usage in Dynamic Access Control

Describes a project that uses

Uses Software

• CASL
• Maude

This page was built for publication: On the weaving process of aspect-oriented product family algebra

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