Software Product Lines Modeling
Complex software systems always exist for a long time, sometimes changing, and this leads to a variety of versions of such a system. In additional complex software systems usually have different (sometimes a lot) configurations due to different hardware and software environments, where they are inte...
Main Authors: | K. M. Lavrischeva, A. K. Petrenko |
---|---|
Format: | Article |
Language: | English |
Published: |
Ivannikov Institute for System Programming of the Russian Academy of Sciences
2018-10-01
|
Series: | Труды Института системного программирования РАН |
Subjects: | |
Online Access: | https://ispranproceedings.elpub.ru/jour/article/view/203 |
Similar Items
-
Verification and analysis of variable operating systems
by: V. V. Kuliamin, et al.
Published: (2018-10-01) -
Integration Points of Operating System Verification Techniques
by: A. K. Petrenko, et al.
Published: (2018-10-01) -
Verification Oriented Process Ontology
by: Natalia O. Garanina, et al.
Published: (2018-12-01) -
Introduction to CEGAR —Counter-Example Guided Abstraction Refinement
by: M. U. Mandrykin, et al.
Published: (2018-10-01) -
Linux kernel configuration build for application systems
by: S. V. Kozin
Published: (2019-02-01)