4 Logic Verification of Product-Line Variant Requirements (original) (raw)
Related papers
Logic Verification of Product-Line Variant Requirements
2012 African Conference for Sofware Engineering and Applied Computing, 2012
Formal Modeling of Product-Line Variant Requirements
International Journal of Computer and Communication Engineering, 2013
Logic-Based Analysis and Verification of Software Product Line Variant Requirement Model
International Journal of Knowledge and Systems Science, 2014
Managing and Analysing Software Product Line Requirements
International Journal of Software Engineering & Applications, 2013
Requirements Engineering, 2013
Goal-oriented modeling and verification of feature-oriented product lines
Software & Systems Modeling, 2014
Electronic Proceedings in Theoretical Computer Science, 2015
An Approach for Validating Feature Models in Software Product Lines
Journal of Software Engineering, 2013
Formal Specification of Software Product Lines: A Graph Transformation Based Approach
Journal of Software, 2012
Structural Validation of Software Product Line Variants: A Graph Transformations Based Approach
International Journal of Software Engineering & Applications, 2013
Methods, techniques and tools for product line model verification
2008
Supporting consistency checking between features and software product line use scenarios
Top Productivity through Software Reuse, 2011
Efficient consistency checking of scenario-based product-line specifications
2012 20th IEEE International Requirements Engineering Conference (RE), 2012
Towards Consistency between Features and SPL Use Cases
Proceedings of the 15th International Workshop on Aspect-Oriented Modeling (October 2010)
A Methodology for the Derivation and Verification of Use Cases for Product Lines
Lecture Notes in Computer Science, 2004
2013
An Ontology of Verification Criteria in the Product Line Domain
Centre de Recherche en …, 2009
A Feature-Driven Requirements Engineering Approach for Software Product Lines
David Blanes Domínguez, Raphael Pereira de Oliveira, Javier González Huerta
Model-Driven Requirements Specification for Software Product Lines
Architectures and Functions, 2011
Requirements Modelling and Design Notations for Software Product Lines
Variability Modelling of Software-Intensive Systems, 2007
Verification and validation in software product line engineering
Feature Diagrams and Logics: There and Back Again
11th International Software Product Line Conference (SPLC 2007), 2007
Semantic WebBased Analysis of Product Line Variant Model
International Journal of Computer and Electrical Engineering, 2014
A Model-driven Approach for Software Product Lines Requirements Engineering
Software Engineering and Knowledge Engineering, 2008