Model Checking of Domain Artifacts in Product Line Engineering

2009 ◽  
Author(s):  
Kim Lauenroth ◽  
Klaus Pohl ◽  
Simon Toehning
Keyword(s):  
Model Checking ◽  
Product Line ◽  
Product Line Engineering ◽  
Line Engineering

Dohko: an autonomic system for provision, configuration, and management of inter-cloud environments based on a software product line engineering method

2017 ◽  
Vol 20 (3) ◽  
pp. 1951-1976 ◽  
Author(s):  
Alessandro Ferreira Leite ◽  
Vander Alves ◽  
Genaína Nunes Rodrigues ◽  
Claude Tadonki ◽  
Christine Eisenbeis ◽  
...  
Keyword(s):  
Software Product Line ◽  
Product Line ◽  
Engineering Method ◽  
Autonomic System ◽  
Product Line Engineering ◽  
Software Product Line Engineering ◽  
Software Product ◽  
Cloud Environments ◽  
Line Engineering
Sign in / Sign up

Export Citation Format

Share Document