The following pages link to Software Product Line Engineering (Q5692278):
Displaying 39 items.
- Augmenting measure sensitivity to detect essential, dispensable and highly incompatible features in mass customization (Q320841) (← links)
- Trustworthy variant derivation with translation validation for safety critical product lines (Q338617) (← links)
- A proof system for adaptable class hierarchies (Q478383) (← links)
- Integrating deployment architectures and resource consumption in timed object-oriented models (Q478391) (← links)
- A formal framework for dependability and resilience from a software engineering perspective (Q692989) (← links)
- A theory of software product line refinement (Q714875) (← links)
- A document driven methodology for developing a high quality parallel mesh generation toolbox (Q730984) (← links)
- On the weaving process of aspect-oriented product family algebra (Q898609) (← links)
- Resource-usage-aware configuration in software product lines (Q898611) (← links)
- Product line process theory (Q898612) (← links)
- Decision-making coordination and efficient reasoning techniques for feature-based configuration (Q967553) (← links)
- Preserving correctness during business process model configuration (Q973035) (← links)
- A core calculus for dynamic delta-oriented programming (Q1647772) (← links)
- Extensible structural analysis of Petri net product lines (Q2032833) (← links)
- Language family engineering with product lines of multi-level models (Q2065556) (← links)
- Lifted structural invariant analysis of Petri net product lines (Q2096429) (← links)
- Generalized abstraction-refinement for game-based CTL lifted model checking (Q2193289) (← links)
- FCA for software product line representation: mixing configuration and feature relationships in a unique canonical representation (Q2286383) (← links)
- A verification-driven framework for iterative design of controllers (Q2335947) (← links)
- Improving software product line using an ontological approach (Q2360143) (← links)
- Transformational supervisor synthesis for evolving systems (Q2673766) (← links)
- Revealing Commonalities Concerning Maintenance of Software Product Line Platform Components (Q3058808) (← links)
- Service Based Development of a Cross Domain Reference Architecture (Q3058811) (← links)
- Validating Timed Models of Deployment Components with Parametric Concurrency (Q3067533) (← links)
- Verification of Software Product Lines with Delta-Oriented Slicing (Q3067535) (← links)
- Modular Modelling of Software Product Lines with Feature Nets (Q3095246) (← links)
- The Data Interoperability Problem as an Exemplary Case Study in the Development of Software Collaboration Environments (Q3407326) (← links)
- Model Checking Value-Passing Modal Specifications (Q3455083) (← links)
- The Composition of Event-B Models (Q3535377) (← links)
- (Q5014443) (← links)
- Multi-level Model Product Lines (Q5039529) (← links)
- (Q5114827) (← links)
- From EU Projects to a Family of Model Checkers (Q5256356) (← links)
- Abstract delta modelling (Q5740631) (← links)
- Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints (Q5963087) (← links)
- Exact algorithms for the product configuration problem (Q6080625) (← links)
- Schematic program proofs with abstract execution. Theory and applications (Q6552501) (← links)
- Modular soundness checking of feature model evolution plans (Q6605374) (← links)
- On the benefits of knowledge compilation for feature-model analyses (Q6630715) (← links)
