index.html

---
layout: default
---
<div>
  <section>
    <h1>Ph.D. dissertation<br/>Variability modeling: Formal methods to represent Software Product Lines</h1>
  </section>
  <section>
    <h2>General information</h2>
    <p>
      University: <a href="http://www.ucm.es/" target="_blank">Complutense University of Madrid</a><br/>
      Faculty: <a href="https://informatica.ucm.es/" target="_blank">Faculty of Informatics</a><br/>
      Department: <a href="https://federwin.sip.ucm.es/sic" target="_blank">Information Systems and Computing</a><br/><br/>
      Author: <a href="http://www.ccamacho.org/" target="_blank">Carlos Camacho</a><br/>
      Supervisors: <a href="http://antares.sip.ucm.es/luis" target="_blank">Dr. Luis Llana Díaz</a> and <a href="http://antares.sip.ucm.es/cana" target="_blank">Dr. Alberto Núñez Covarrubias</a><br/>
      Year: 2017
    </p>
  </section>
  <section>
    <h2>Abstract</h2>
    <p>
      The software development paradigm focused on product lines (SPLs) allows developers both to model systems based
      on product components and to study their commonality and variability. This paradigm dates to late 80's
      and, since then, several contributions have been made for modeling relationships between components.
      Initially, these relationships were defined in a graphical way, serving as a basis for decision making purposes
      in several design phases of the development cycle. However, in order to detect design errors in early phases of the development
      cycle, it is necessary to use different formalism's that
      allow automated analysis over the SPLs.
    </p>
  </section>
  <section>
    <h2>Goals</h2>
    <p>
      The main goal of this Ph.D. thesis is to define novel formal methods, to represent SPLs,
      by using models that lack of
      formal representations. Once these models are defined, we aim to generate information for:
      <ol>
        <li>Determining whether a model generates valid products.</li>
        <li>Establishing differences between valid products.</li>
        <li>Comparing if a product is better than another given its production cost.</li>
        <li>Finding the most frequent feature among all the valid products to efficiently assign resources when tests are performed.</li>
      </ol>
    </p>
  </section>
  <h2>Articles</h2>
    <p>
      The articles presented for this Ph.D. dissertation are the following:
      <ol>
        <li>
          C. Andres, C. Camacho y L. Llana. A formal framework for software product lines. Information
          and Software Technology 55 (11) (2013) 1925–1947. <a href="http://dx.doi.org/10.1016/j.infsof.2013.05.005" target="_blank">doi:10.1016/j.infsof.2013.05.005</a>.
          <ul>
            <li>JCR Ranking 2013: 31/105.</li>
            <li>Quartile: Q2.</li>
            <li>Impact index: 1,328.</li>
            <li>In: Computer Science, Software Engineering.</li>
          </ul>
        </li>
        <li>
          C. Camacho, L. Llana y A. Núñez. Cost-related interface for software product lines. Journal of
          Logical and Algebraic Methods in Programming 85 (2016) 227–244. <a href="http://dx.doi.org/10.1016/j.jlamp.2015.09.009" target="_blank">doi:10.1016/j.jlamp.2015.09.009</a>.
          <ul>
            <li>JCR Ranking 2015: 5/22.</li>
            <li>Quartile: Q1.</li>
            <li>Impact index: 0,636.</li>
            <li>In: Logic.</li>
          </ul>
        </li>
        <li>
          C. Camacho, L. Llana, A. Núñez y M. Núñez. Probabilistic software product lines. Journal of
          Logical and Algebraic Methods in Programming (2019). <a href="http://dx.doi.org/10.1016/j.jlamp.2019.05.007" target="_blank">doi:10.1016/j.jlamp.2019.05.007</a>.
          <ul>
            <li>JCR Ranking 2019:</li>
            <li>Quartile:</li>
            <li>Impact index:</li>
            <li>In: Logic.</li>
          </ul>
        </li>
      </ol>
    </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">Dissertation</header>
          <div class="card-content">
            <div class="inner">
              <a href="{{ site.baseurl }}/resources/00_dissertation.pdf" title="Dissertation" target="_blank">
                <img width="42"
                         src="{{ site.baseurl }}/images/dissertation.png" class="t-hackcss-cards-image"
                         alt="Dissertation"
                         title="Dissertation" />
              </a>
            </div>
          </div>
        </div>
      </div>
      <div class="cell -6of12 t-hackcss-cards-cell">
        <div class="card">
          <header class="card-header">Presentation</header>
          <div class="card-content">
            <div class="inner">
              <a href="{{ site.baseurl }}/resources/00_presentation.pdf" title="Presentation" target="_blank">
                <img width="42"
                           src="{{ site.baseurl }}/images/presentation.png" class="t-hackcss-cards-image"
                           alt="Presentation"
                           title="Presentation" />
                </a>
              </div>
            </div>
          </div>
        </div>
    </div>
  </section>
</div>