Design and use of software architectures: adopting and evolving a product-line approach
Design and use of software architectures: adopting and evolving a product-line approach
Generative programming: methods, tools, and applications
Generative programming: methods, tools, and applications
High Integrity Software: The SPARK Approach to Safety and Security
High Integrity Software: The SPARK Approach to Safety and Security
A customizable approach to full lifecycle variability management
Science of Computer Programming - Special issue: Software variability management
Product Line Implementation using Aspect-Oriented and Model-Driven Software Development
SPLC '07 Proceedings of the 11th International Software Product Line Conference
Model-Based Design of Product Line Components in the Automotive Domain
SPLC '08 Proceedings of the 2008 12th International Software Product Line Conference
Proceedings of the International Workshop on Security and Dependability for Resource Constrained Embedded Systems
Incorporating certification in feature modelling of an unmanned aerial vehicle product line
Proceedings of the 16th International Software Product Line Conference - Volume 1
Adapting a software product line engineering process for certifying safety critical embedded systems
SAFECOMP'12 Proceedings of the 31st international conference on Computer Safety, Reliability, and Security
Information and Software Technology
Hi-index | 0.00 |
Academic and commercial approaches to software product line development have concentrated on the rapid instantiation of source code assets to minimise product time to market. Generative programming and model-based software engineering approaches have been suggested as effective ways of achieving this. However, for high-integrity software systems the instantiated product source code has to be accompanied by development process assets that demonstrate and support the product assurance arguments. This paper describes an approach to the model-based development of software product lines that is specifically designed to address the needs of high-integrity software systems. The approach consists of a reference architecture model and component-based development style, supported by model transformations to instantiate the project-specific components and associated development assets.