English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

Software Product Lines (SPLs) are families of related software productsdeveloped from a common set of artifacts. Most existing analysis tools can beapplied to a single product at a time, but not to an entire SPL. Some toolshave been redesigned/re-implemented to support the kind of variabilityexhibited in SPLs, but this usually takes a lot of effort, and is error-prone.Declarative analyses written in languages like Datalog have been collectivelylifted to SPLs in prior work, which makes the process of applying an existingdeclarative analysis to a product line more straightforward.  In this paper, we take an existing declarative analysis (behaviouralteration) written in the Grok declarative language, port it to Datalog, andapply it to a set of automotive software product lines from General Motors. Wediscuss the design of the analysis pipeline used in this process, present itsscalability results, and provide a means to visualize the analysis results fora subset of products filtered by feature expression. We also reflect on some ofthe lessons learned throughout this project.

Applying Declarative Analysis to Software Product Line Models: An Industrial Study