Software Product Line Engineering
From MaRDI portal
Recommendations
Cited in
(40)- A core calculus for dynamic delta-oriented programming
- Extensible structural analysis of Petri net product lines
- Language family engineering with product lines of multi-level models
- Lifted structural invariant analysis of Petri net product lines
- Generalized abstraction-refinement for game-based CTL lifted model checking
- FCA for software product line representation: mixing configuration and feature relationships in a unique canonical representation
- A verification-driven framework for iterative design of controllers
- Improving software product line using an ontological approach
- Transformational supervisor synthesis for evolving systems
- Revealing commonalities concerning maintenance of software product line platform components
- Service based development of a cross domain reference architecture
- Validating timed models of deployment components with parametric concurrency
- Verification of software product lines with delta-oriented slicing
- Modular modelling of software product lines with feature nets
- Augmenting measure sensitivity to detect essential, dispensable and highly incompatible features in mass customization
- Trustworthy variant derivation with translation validation for safety critical product lines
- The data interoperability problem as an exemplary case study in the development of software collaboration environments
- Model Checking Value-Passing Modal Specifications
- The Composition of Event-B Models
- A proof system for adaptable class hierarchies
- Integrating deployment architectures and resource consumption in timed object-oriented models
- scientific article; zbMATH DE number 7437710 (Why is no real title available?)
- Multi-level model product lines. Open and closed variability for modelling language families
- Synthesis of orchestrations and choreographies: bridging the gap between supervisory control and coordination of services
- From EU projects to a family of model checkers. From Kandinsky to KandISTI
- Abstract delta modelling
- Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints
- Exact algorithms for the product configuration problem
- Schematic program proofs with abstract execution. Theory and applications
- Modular soundness checking of feature model evolution plans
- On the benefits of knowledge compilation for feature-model analyses
- Modular soundness checking of feature model evolution plans
- A formal framework for dependability and resilience from a software engineering perspective
- A theory of software product line refinement
- A document driven methodology for developing a high quality parallel mesh generation toolbox
- On the weaving process of aspect-oriented product family algebra
- Resource-usage-aware configuration in software product lines
- Product line process theory
- Decision-making coordination and efficient reasoning techniques for feature-based configuration
- Preserving correctness during business process model configuration
This page was built for publication: Software Product Line Engineering
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5692278)
