Reusable software requirements and architectures for families of systems
Journal of Systems and Software
Software product-line engineering: a family-based software development process
Software product-line engineering: a family-based software development process
Software product lines: a case study
Software—Practice & Experience
Featured-based approach to object-oriented engineering of applications for reuse
Software—Practice & Experience
Extending the product family approach to support safe reuse
Journal of Systems and Software
Component-based product line engineering with UML
Component-based product line engineering with UML
Fundamentals of Software Engineering
Fundamentals of Software Engineering
Verifying cross-cutting features as open systems
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
A case-study of requirements reuse through product families
Annals of Software Engineering
Rapid Application of Lightweight Formal Methods for Consistency Analyses
IEEE Transactions on Software Engineering
Representing Variability in Software Product Lines: A Case Study
SPLC 2 Proceedings of the Second International Conference on Software Product Lines
Analysis of a software product line architecture: an experience report
Journal of Systems and Software - Special issue on: Software architecture - Engineering quality attributes
Requirements for Evolving Systems: A Telecommunications Perspective
RE '01 Proceedings of the Fifth IEEE International Symposium on Requirements Engineering
DECIMAL and PLFaultCAT: From Product-Line Requirements to Product-Line Member Software Fault Trees
ICSE COMPANION '07 Companion to the proceedings of the 29th International Conference on Software Engineering
Safety analysis of software product lines using state-based modeling
Journal of Systems and Software
Towards automated consistency checks of product line requirements specifications
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Rigorous engineering of product-line requirements: A case study in failure management
Information and Software Technology
Documenting Application-Specific Adaptations in Software Product Line Engineering
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
Utilizing domain models for application design and validation
Information and Software Technology
A systematic review of domain analysis tools
Information and Software Technology
Gaia-PL: A Product Line Engineering Approach for Efficiently Designing Multiagent Systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Row types for delta-oriented programming
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
A product-line approach to promote asset reuse in multi-agent systems
Software Engineering for Multi-Agent Systems IV
Conflict detection in delta-oriented programming
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Hi-index | 0.00 |
A recurring difficulty for organizations that employ a product-line approach to development is that when a new product is added to an existing product line, there is currently no automated way to verify the completeness and consistency of the new product's requirements in terms of the product line. In this paper we address the issue of requirements verification for product lines. We have implemented our approach in a requirements engineering tool called DECIMAL (DECIsion Modeling AppLication). DECIMAL is a requirements verification tool with a rich graphical user interface that automatically checks for completeness and consistency between a new product and the product line to which it belongs. The verification uses an SQL database server as the underlying analysis engine. The paper describes the tool and evaluates it in two applications: a virtual-reality, positional device-driver product line and the feature-interaction resolution problem.