-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathsplac.html
58 lines (57 loc) · 2.19 KB
/
splac.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
---
layout: default
---
<div>
<section>
<h1>Cost-related interface for software product lines</h1>
</section>
<section>
<h2>
Abstract
</h2>
<p>
Software Product Lines modeling improves software development processes by automating
system debugging and analysis. The objective of this paper focuses on extending the
formal framework SPLA to represent features such as cost objects and comparisons
between products in terms of production costs. We illustrate this extension with a practical
example by modeling the creation of valid run-lists for Chef, a widely used configuration
management tool. Also, we execute our formal specification in a distributed system using
SCOOP and we provide strategies to optimize the effort required to compute a SPLA term.
</p>
</section>
<section>
<h2>Downloads</h2>
<div class="grid t-hackcss-cards">
<div class="cell -6of12 t-hackcss-cards-cell">
<div class="card">
<header class="card-header">Article</header>
<div class="card-content">
<div class="inner">
<a href="{{ site.baseurl }}/resources/02_cost-related_interface_for_software_product_lines.pdf" title="Article" target="_blank">
<img width="42"
src="{{ site.baseurl }}/images/article.png" class="t-hackcss-cards-image"
alt="Article"
title="Article" />
</a>
</div>
</div>
</div>
</div>
<div class="cell -6of12 t-hackcss-cards-cell">
<div class="card">
<header class="card-header">Implementation</header>
<div class="card-content">
<div class="inner">
<a href="{{ site.baseurl }}/resources/02_splac.zip" title="Implementation" target="_blank">
<img width="42"
src="{{ site.baseurl }}/images/app.png" class="t-hackcss-cards-image"
alt="Implementation"
title="Implementation" />
</a>
</div>
</div>
</div>
</div>
</div>
</section>
</div>