The Z notation: a reference manual
The Z notation: a reference manual
Safeware: system safety and computers
Safeware: system safety and computers
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
Modelling systems: practical tools and techniques in software development
Modelling systems: practical tools and techniques in software development
N degrees of separation: multi-dimensional separation of concerns
Proceedings of the 21st international conference on Software engineering
Model checking
On the criteria to be used in decomposing systems into modules
Communications of the ACM
Aspect-oriented programming: Introduction
Communications of the ACM
Problem frames: analyzing and structuring software development problems
Problem frames: analyzing and structuring software development problems
FORM: A feature-oriented reuse method with domain-specific reference architectures
Annals of Software Engineering
Feature-Oriented Project Line Engineering
IEEE Software
ZUM '97 Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation
Capturing more world knowledge in the requirements specification
ICSE '82 Proceedings of the 6th international conference on Software engineering
Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools
Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools
Validated Designs For Object-oriented Systems
Validated Designs For Object-oriented Systems
Formal Semantics and Verification for Feature Modeling
ICECCS '05 Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems
Software Product Line Engineering: Foundations, Principles and Techniques
Software Product Line Engineering: Foundations, Principles and Techniques
Safety Analysis of Software Product Lines Using State-Based Modeling
ISSRE '05 Proceedings of the 16th IEEE International Symposium on Software Reliability Engineering
An Extension of Problem Frame Notation for Software Product Lines
APSEC '05 Proceedings of the 12th Asia-Pacific Software Engineering Conference
Context-aware feature-oriented modeling with an aspect extension of VDM
Proceedings of the 2007 ACM symposium on Applied computing
Handling Safety-Related Feature Interaction in Safety-Critical Product Lines
ICSE COMPANION '07 Companion to the proceedings of the 29th International Conference on Software Engineering
SPLC '08 Proceedings of the 2008 12th International Software Product Line Conference
An Extensible Aspect-Oriented Modeling Environment
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
Relating requirements and feature configurations: a systematic approach
Proceedings of the 13th International Software Product Line Conference
Context-dependent product line practice for constructing reliable embedded systems
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
Usage context as key driver for feature selection
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
Software fault tree analysis for product lines
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
Using product sets to define complex product decisions
SPLC'05 Proceedings of the 9th international conference on Software Product Lines
FM'06 Proceedings of the 14th international conference on Formal Methods
RE '11 Proceedings of the 2011 IEEE 19th International Requirements Engineering Conference
Structuring variability in the context of embedded systems during software engineering
Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems
Hi-index | 0.00 |
This paper proposes a new style of product line engineering methods. It focuses on constructing embedded systems that take into account the contexts such as the external physical environments. In current product line development projects, Feature Analysis is mainly conducted from the viewpoint of system configurations: how hardware and software components are configured to constitute a system. In most cases, contexts are not considered explicitly. As a result, unexpected and unfavorable behavior might emerge in a system if a developer does not recognize any possible conflicting combinations between the system and contexts. To deal with this problem, this paper provides the notion of a context-dependent product line, which is composed of the system and context lines. The former is obtained by analyzing a family of systems. The latter is obtained by analyzing features of contexts associated to the systems. The system and context lines contain reusable core assets. The configuration of selected system components and contexts can be formally checked at the specification level. In this paper, we show a development process that includes the creation of both product line assets as well as context assets.