splap.html

---
layout: default
---
<div>
  <section>
    <h1>Probabilistic software product lines</h1>
  </section>
  <section>
    <h2>
    Abstract
    </h2>
    <p>
    This article introduce a probabilistic extension to specify and analyze software product lines.
    We will use probabilistic information to identify those features that are
    more frequently used by computing the probability of having a feature
    in a specific software product line. We redefine the SPLA syntax
    to include probabilistic operators and define new operational and denotational
    semantics. We prove that the expected equivalence between
    these two semantic frameworks holds. Our probabilistic framework is
    supported by a tool. We briefly comment on the characteristics of the
    tool and discuss the advantages of using probabilities to quantify the
    likelihood of having features in potential software product lines.
    </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/03_probabilistic_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/03_splap.tar" 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>