Applied database logic. Volume I: fundamental database issues
Applied database logic. Volume I: fundamental database issues
Principles of artificial intelligence
Principles of artificial intelligence
Integration of Sequential Scenarios
IEEE Transactions on Software Engineering
Software product-line engineering: a family-based software development process
Software product-line engineering: a family-based software development process
Generative programming: methods, tools, and applications
Generative programming: methods, tools, and applications
FORM: A feature-oriented reuse method with domain-specific reference architectures
Annals of Software Engineering
Synthesis of Behavioral Models from Scenarios
IEEE Transactions on Software Engineering
A Product Family Approach to Graceful Degradation
DIPES '00 Proceedings of the IFIP WG10.3/WG10.4/WG10.5 International Workshop on Distributed and Parallel Embedded Systems: Architecture and Design of Distributed Embedded Systems
Generating Product-Lines of Product-Families
Proceedings of the 17th IEEE international conference on Automated software engineering
Integrating Feature Modeling with the RSEB
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Experiences with Software Product Family Evolution
IWPSE '03 Proceedings of the 6th International Workshop on Principles of Software Evolution
Nonfunctional Requirements: From Elicitation to Conceptual Models
IEEE Transactions on Software Engineering
On adaptable middleware product lines
ARM '04 Proceedings of the 3rd workshop on Adaptive and reflective middleware
Component-Oriented Programming
Component-Oriented Programming
Transitioning from Product Line Requirements to Product Line Architecture
COMPSAC '05 Proceedings of the 29th Annual International Computer Software and Applications Conference - Volume 01
Modelling Requirements Variability across Product Lines
RE '05 Proceedings of the 13th IEEE International Conference on Requirements Engineering
On the Design and Development of Program Families
IEEE Transactions on Software Engineering
Electronic Notes in Theoretical Computer Science (ENTCS)
Automated Reasoning in Kleene Algebra
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
SEFM '08 Proceedings of the 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods
Using architectural properties to model and measure graceful degradation
Architecting dependable systems
Resolving architectural mismatches of COTS through architectural reconciliation
ICCBSS'05 Proceedings of the 4th international conference on COTS-Based Software Systems
Feature models, grammars, and propositional formulas
SPLC'05 Proceedings of the 9th international conference on Software Product Lines
FM'06 Proceedings of the 14th international conference on Formal Methods
An algebraic foundation for automatic feature-based program synthesis
Science of Computer Programming
Verification of aspectual composition in feature-modeling
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
A formal approach to software product families
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 formal framework for software product lines
Information and Software Technology
Hi-index | 0.00 |
Experience from recent years has shown that it is often advantageous not to build a single product but rather a family of similar products that share at least one common functionality while having well-identified variabilities. Such product families are built from elementary features that reach from hardware parts to software artefacts such as requirements, architectural elements or patterns, components, middleware, or code. We use the well established mathematical structure of idempotent semirings as the basis for a product family algebra that allows a formal treatment of the above notions. A particular application of the algebra concerns the multi-view reconciliation problem that arises when complex systems are modelled. We use algebraic integration constraints linking features in one view to features in the same or a different view and show in several examples the suitability of this approach for a wide class of integration constraint formulations. Our approach is illustrated with a Haskell prototype implementation of one particular model of product family algebra.