Guaranteeing correct evolution of software product lines: setting up the problem
SERENE'11 Proceedings of the Third international conference on Software engineering for resilient systems
Managing evolution in software product lines: a model-checking perspective
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
Specifying system families with TLA+
SEPADS'12/EDUCATION'12 Proceedings of the 11th WSEAS international conference on Software Engineering, Parallel and Distributed Systems, and proceedings of the 9th WSEAS international conference on Engineering Education
Simulation-based abstractions for software product-line model checking
Proceedings of the 34th International Conference on Software Engineering
Behavioural modelling and verification of real-time software product lines
Proceedings of the 16th International Software Product Line Conference - Volume 1
Proceedings of the 16th International Software Product Line Conference - Volume 1
Towards an executable algebra for product lines
Proceedings of the 16th International Software Product Line Conference - Volume 2
Towards an incremental automata-based approach for software product-line model checking
Proceedings of the 16th International Software Product Line Conference - Volume 2
Demonstration of a model checker for the analysis of product variability
Proceedings of the 16th International Software Product Line Conference - Volume 2
Conditioned model slicing of feature-annotated state machines
FOSD '12 Proceedings of the 4th International Workshop on Feature-Oriented Software Development
A compositional framework to derive product line behavioural descriptions
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
A vision for behavioural model-driven validation of software product lines
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Assume-guarantee testing of evolving software product line architectures
SERENE'12 Proceedings of the 4th international conference on Software Engineering for Resilient Systems
Beyond boolean product-line model checking: dealing with feature attributes and multi-features
Proceedings of the 2013 International Conference on Software Engineering
Generating counterexamples of model-based software product lines: an exploratory study
Proceedings of the 17th International Software Product Line Conference
Topologically configurable systems as product families
Proceedings of the 17th International Software Product Line Conference
ProVeLines: a product line of verifiers for software product lines
Proceedings of the 17th International Software Product Line Conference co-located workshops
Combining declarative and procedural views in the specification and analysis of product families
Proceedings of the 17th International Software Product Line Conference co-located workshops
A formal framework for software product lines
Information and Software Technology
Towards statistical prioritization for software product lines testing
Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems
Formal semantics, modular specification, and symbolic verification of product-line behaviour
Science of Computer Programming
Hi-index | 0.00 |
We illustrate how to manage variability in a single logical framework consisting of a Modal Transition System (MTS) and an associated set of formulae expressed in the branching-time temporal logic MHML interpreted in a deontic way over such MTSs. We discuss the commonalities and differences with the framework of Classen et al. based on Featured Transition Systems and Linear-time Temporal Logic.