Applying declarative analysis to industrial automotive software product line models
- 4 February 2023
- journal article
- research article
- Published by Springer Nature in Empirical Software Engineering
- Vol. 28 (2) , 1-29
Abstract
No abstract availableKeywords
All Related Versions
Funding Information
- General Motors of Canada
- Canadian Network for Research and Innovation in Machining Technology, Natural Sciences and Engineering Research Council of Canada
This publication has 40 references indexed in Scilit:
- Type checking annotation-based product linesACM Transactions on Software Engineering and Methodology, 2012
- Visual Analysis of Large Graphs: State‐of‐the‐Art and Future Research ChallengesComputer Graphics Forum, 2011
- Henshin: Advanced Concepts and Tools for In-Place EMF Model Transformations2010
- Strictly declarative specification of sophisticated points-to analysesACM SIGPLAN Notices, 2009
- An Overview of Feature-Oriented Software Development.The Journal of Object Technology, 2009
- Guaranteeing Syntactic Correctness for All Product Line Variants: A Language-Independent Approach2009
- An empirical analysis of c preprocessor useIEEE Transactions on Software Engineering, 2002
- Practical program analysis using general purpose logic programming systems—a case studyACM SIGPLAN Notices, 1996
- Symbolic Boolean manipulation with ordered binary-decision diagramsACM Computing Surveys, 1992
- What you always wanted to know about Datalog (and never dared to ask)IEEE Transactions on Knowledge and Data Engineering, 1989