Resource-usage-aware configuration in software product lines

DOI10.1016/j.jlamp.2015.08.003zbMath1346.68071OpenAlexW1248465890MaRDI QIDQ898611

Damiano Zanardini, Elvira Albert, Karina Villela

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

Mathematics Subject Classification ID

Theory of software (68N99)

Uses Software

• SPEED
• COSTABS
• SACO
• ABS
• SPL Conqueror

Cites Work

• Unnamed Item
• Resource Analysis of Complex Programs with Cost Equations
• Non-linear loop invariant generation using Gröbner bases
• Amortized Resource Analysis with Polynomial Potential
• Termination and Cost Analysis of Loops with Concurrent Interleavings
• SPEED
• Software Product Line Engineering
• Comparing Cost Functions in Resource Analysis

This page was built for publication: Resource-usage-aware configuration in software product lines