<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>Iterative Evaluation of Domain-Speci c Languages</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Ankica Barisic</string-name>
          <email>a.barisic@campus.fct.unl.pt</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>CITI, Departamento de Informatica</institution>
          ,
          <addr-line>Faculdade de Ci</addr-line>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>encias e Tecnologia Universidade Nova de Lisboa Campus de Caparica</institution>
          ,
          <addr-line>2829-516 Caparica</addr-line>
          ,
          <country country="PT">Portugal</country>
        </aff>
      </contrib-group>
      <abstract>
        <p>As software moves to the daily routines and responsibilities of people, there is a need for developing tools and languages rapidly. Domain-Speci c Languages (DSLs) are claimed to contribute to this productivity increase, while reducing the required maintenance and programming expertise. DSLs are designed to bridge the gap between the problem domain (essential concepts, domain knowledge, techniques, and paradigms) and the solution domain (technical space, middleware, platforms and programming languages). The sooner we ll in this gap, the sooner we shall increase users productivity. However intuitive this idea may be, we need to have means to assert the quality and success of the developed languages. The alternative is to accept the risk of deriving inappropriate products that bring more harm by decreasing productivity or even increasing maintenance costs.</p>
      </abstract>
      <kwd-group>
        <kwd>Experimental Software Engineering</kwd>
        <kwd>Domain-Speci c Languages</kwd>
        <kwd>Software Language Engineering</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>
        The software industry does not seem to report investment on the evaluation of
DSLs, as shown in a recent systematic literature review [
        <xref ref-type="bibr" rid="ref11">11</xref>
        ]. The lack of
systematic approaches to evaluation, and the lack of guidelines and comprehensive set
of tools may explain this shortcoming in the current practice. This is supported
by the evidence of an interesting return of investment on usability evaluation for
other software products [
        <xref ref-type="bibr" rid="ref20">20</xref>
        ]. Moreover, the bene ts of usability evaluation span
from a reduction of development and maintenance costs, to increased revenues
brought by an improved productivity of the end users [
        <xref ref-type="bibr" rid="ref16">16</xref>
        ].
      </p>
      <p>
        It is arguable that the main reason for the perceived high costs of DSL
evaluation, is the lack of a consistent and computer-aided integration of two di erent
and demanding complementary processes: SLE process, and language evaluation
process. On the one hand, language engineers should become aware of quality
concerns during language development, and identify and apply best practices
into their development plan. On the other hand, evaluation experts should get
better understanding of all the models involved in the software language
development in order to be able to give appropriate and reliable suggestions towards
the improvement of the DSL under development. The focus of this research is
to propose systematic evaluation process for DSLs with usability concern [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ].
2
      </p>
    </sec>
    <sec id="sec-2">
      <title>A language is a means of communication</title>
      <p>
        A programming language is a model that describes the allowed terms and how
to compose them into valid sentences. DSLs that are interest of this research are
generally conceived as communication interfaces between human and computers
[
        <xref ref-type="bibr" rid="ref5">5</xref>
        ]. User Interfaces (UIs) are also seen as a realization of language. Therefore,
from one perspective evaluating DSLs is not much di erent from evaluating
regular User Interfaces (UIs).
      </p>
      <p>
        Empirical, or experimental, evaluation studies of UI with real users is a
crucial phase of its validation [
        <xref ref-type="bibr" rid="ref10">10</xref>
        ]. A relevant set of quantitative and qualitative
measurements must be inferred and combined together to lead to a useful
assessment of the several dimensions that de ne software Quality in Use (such as
E ciency, E ectiveness and Satisfaction), often referred as Usability [
        <xref ref-type="bibr" rid="ref12">12</xref>
        ]. These
complex experimental evaluation studies are typically implemented by software
evaluation experts. Their expertise is essential to properly design the evaluation
sessions, gather, interpret, and synthesize signi cant results. However desirable
it can be to have such software evaluation experts in the teams, it is not always
possible to have them available due to, among several reasons, the cost and time
involved. This calls for the need of automatic tools that support these experts,
as well as language developers. One way to obtain qualitative measurements is
by means of observations and questionnaires to the end users [
        <xref ref-type="bibr" rid="ref21">21</xref>
        ].
      </p>
      <p>There is an increasing awareness to the quality in use of languages, fostered
by the competition of language providers. Better usability is a competitive
advantage, although evaluating it remains challenging. While evaluating competing
languages it is hard to interpret the existing metrics in a fair, unbiased way,
provide reliable design changes and assure that scope of evaluation is preserved to
target user groups.</p>
      <p>When we consider General Purpose Languages (GPLs), their users are part
of population that master well mathematical and technical concepts. In order to
develop programming solutions they need to master also domain concepts. On
other hand, as DSLs are meant to reduce use of computation domain concept
by putting focus on the domain concepts, they are expected to be used by the
much diverse target population.</p>
      <p>
        The increased productivity achieved by using DSLs, when compared to using
GPLs, is one of the strongest claims by the DSL community. With anecdotal
boosted speed development reports of DSLs ([
        <xref ref-type="bibr" rid="ref13">13</xref>
        ], [
        <xref ref-type="bibr" rid="ref18">18</xref>
        ]) in industrial settings,
why bother with its validation? The problem, of course, is that those anecdotal
reports on improvements lack external validity.
3
      </p>
    </sec>
    <sec id="sec-3">
      <title>Approach</title>
      <p>
        As result of inspection of current methodologies and tools for evaluation of UIs
and GPLs we propose an iterative user-centered approach for evaluation of DSLs.
Goal of this approach is to establish formal correspondences between the DSL
development process and the experimental evaluation at all the stages [
        <xref ref-type="bibr" rid="ref6">6</xref>
        ].
      </p>
      <p>
        Approach is described by set of patterns that are introduced in order to
provide a complete solution to a complex problem of placing intended users as a
focal point of DSLs design and conception, and by that ensure that the language
satis es the user requirements [
        <xref ref-type="bibr" rid="ref4">4</xref>
        ]. Using the goal of these interdependent
patterns is to disseminate the knowledge of best practices to end users. It provides
means of performing experimental validation in the most cost-e ective manner
and is expected to give the rationale about correct and usable indicators that
can eventually be reused.
      </p>
      <p>The patterns are divided in three spaces (see Fig.1), that represent di erent
level of abstraction. Agile Development Process gives set of patterns devoted to
project management and engineering of a DSL. This is the most important set
of patterns, as it is trough organization and planning of language development
and evaluation activities and goals we are controlling and tracking success of
produced language. After an iteration, goals are scoped and budget is xed, we
are ready to proceed to design and implementation activities that are guided
by patterns given in Iterative User-Centered Design pattern space. As the users
are the central part of a DSL evaluation, this patterns considers how to engage
the user in the development process and how to collect valuable information
about the DSL and its level of usability while it is being developed. Finally,
they are expected to result with concrete hypothesis, tests, metrics, samples
and statements that should be addressed and validated trough Experimental
Evaluation Design.</p>
      <p>Following these best practices, each development iteration is focusing on
different increment or level of abstraction that will be evaluated or re ned. By
planing carefully development process and organization of responsibilities and
costs, goal is to establish balanced menagment and engineering plan that will
satisfy both: business and user needs, by optimizing impact of evaluation feedback
on language development.</p>
      <p>According to this proposal, language and evaluation goals should be
identied during domain engineering phase of DSL's construction i.e. while eliciting
minimum set of domain concepts. A rst step would be to understand and
specify the context of use of DSLs and which kind of user groups it should target
by constructing User and Context model. In order to achieve that, interviews
or questionnaires with the DSL's intended end users should be designed in
order to capture information about their working environment and the baseline
approach to solve problems. In the language design phase, it is necessary to
identify which quality attributes are impacted by the implementation of which
domain concepts or layer of abstraction. During the implementation phase, the
language engineer can bene t from the collected information by means of tools
or instruments that implements chosen measures directly on the DSL prototype.
Finally, in the testing phase, the language engineer should conduct (at least) an
expert evaluation to validate that the known quality problems and functional
tests passed well. When seams that evaluation goals are met, we should conduct
a user-based evaluation, in a real context of use, to assess the DSL's quality in
use. That is done by giving the users real problems to solve in order to cover the
most important tasks identi ed in the domain. Data about satisfaction and
cognitive workload should also be evaluated subjectively through questionnaires. It
is especially important in this phase to measure all the learnability issues, since
DSLs should be (in principle) easy to learn and remember.
4</p>
    </sec>
    <sec id="sec-4">
      <title>Experimental validation</title>
      <p>
        Under the perspective of SLE, in order to experimentally evaluate a DSL, we
need to know what is the criteria involved, understand notion of quality from
the relevant perspectives and understand the experimental process itself. This
complex challenge with respect to reuse was covered by general model for DSL
experimental evaluation presented in [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ]. This experimental model served as a
set of proof of concept instantiations of the proposed experiment.
      </p>
      <p>
        Experimental model outlines the activities needed to perform an
experimental evaluation of a software engineering claim, following the scienti c method.
In order to e ectively reason about experimental process and eventually
detect aws before it is applied and analysed we systematically compared four
language evaluation experiments ([
        <xref ref-type="bibr" rid="ref7">7</xref>
        ], [
        <xref ref-type="bibr" rid="ref14">14</xref>
        ], [
        <xref ref-type="bibr" rid="ref15">15</xref>
        ], [
        <xref ref-type="bibr" rid="ref19">19</xref>
        ]). These evaluations are
currently exceptional in the realm of DSLs and are chosen precisely for that: they
are examples of best practices in languages evaluation with a concern on quality
in use, from which we can perform some meta-analysis, leading not only to a
collection of lessons learned from the trenches, but also to the identi cation of
opportunities to further improve existing validation e orts.
      </p>
      <p>
        By allowing signi cant changes to correct de ciencies along the development
process instead of just evaluating at the end of it (when it might be too late),
presented user-centered design is ment to reduce development and support costs,
increase sales, and reduce sta cost for employers [
        <xref ref-type="bibr" rid="ref9">9</xref>
        ]. The proof of this claims
is expected to be justi ed by the set of experiments of DSL development in
academical and industrial cases.
      </p>
      <p>Acknowledgments I gratefully thank to my supervisors Vasco Amaral and
Miguel Goul~ao . This work was partially supported by the CITI - PEst - OE
/EEI /UI0527 /2011, (CITI/FCT/UNL) - 2011-2012)</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          1.
          <string-name>
            <given-names>Colin</given-names>
            <surname>Atkinson</surname>
          </string-name>
          and
          <article-title>Thomas Kuhne. Model-Driven Development: A Metamodeling Foundation</article-title>
          . IEEE Softw.,
          <volume>20</volume>
          :
          <fpage>36</fpage>
          {
          <fpage>41</fpage>
          ,
          <year>September 2003</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2.
          <string-name>
            <given-names>A.</given-names>
            <surname>Barisic</surname>
          </string-name>
          ,
          <string-name>
            <given-names>V.</given-names>
            <surname>Amaral</surname>
          </string-name>
          , and
          <string-name>
            <surname>M.</surname>
          </string-name>
          <article-title>Goul~ao. Usability evaluation of domain-speci c languages</article-title>
          .
          <source>In Quality of Information and Communications Technology (QUATIC)</source>
          ,
          <source>2012 Eighth International Conference on the Quality of Information and Communications Technology (QUATIC'2012)</source>
          , pages
          <fpage>342</fpage>
          {
          <fpage>347</fpage>
          . IEEE,
          <year>2012</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3.
          <string-name>
            <given-names>A.</given-names>
            <surname>Barisic</surname>
          </string-name>
          ,
          <string-name>
            <given-names>V.</given-names>
            <surname>Amaral</surname>
          </string-name>
          ,
          <string-name>
            <surname>M.</surname>
          </string-name>
          <article-title>Goul~ao, and</article-title>
          <string-name>
            <given-names>B.</given-names>
            <surname>Barroca</surname>
          </string-name>
          .
          <article-title>Evaluating the usability of domain-speci c languages</article-title>
          . In Marjan Mernik, editor,
          <source>Formal and Practical Aspects of Domain-Speci c Languages: Recent Developments</source>
          , pages
          <volume>386</volume>
          {
          <fpage>407</fpage>
          . IGI Global,
          <year>2012</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          4.
          <string-name>
            <given-names>A.</given-names>
            <surname>Barisic</surname>
          </string-name>
          ,
          <string-name>
            <given-names>V.</given-names>
            <surname>Amaral</surname>
          </string-name>
          , M. Goula~o, and
          <string-name>
            <given-names>M.P.</given-names>
            <surname>Monteiro</surname>
          </string-name>
          .
          <article-title>Patterns for evaluating usability of domain-speci c languages</article-title>
          .
          <source>Proceedings of the 19th Conference on Pattern Languages of Programs (PLoP)</source>
          ,
          <source>SPLASH</source>
          <year>2012</year>
          ,
          <year>September 2012</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          5.
          <string-name>
            <given-names>A.</given-names>
            <surname>Barisic</surname>
          </string-name>
          ,
          <string-name>
            <given-names>V.</given-names>
            <surname>Amaral</surname>
          </string-name>
          ,
          <string-name>
            <surname>M.</surname>
          </string-name>
          <article-title>Goula~o, and</article-title>
          <string-name>
            <given-names>B.</given-names>
            <surname>Barroca</surname>
          </string-name>
          .
          <article-title>How to reach a usable DSL? moving toward a systematic evaluation</article-title>
          .
          <source>ECEASST</source>
          ,
          <volume>50</volume>
          ,
          <year>2011</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          6.
          <string-name>
            <given-names>A.</given-names>
            <surname>Barisic</surname>
          </string-name>
          ,
          <string-name>
            <given-names>V.</given-names>
            <surname>Amaral</surname>
          </string-name>
          ,
          <string-name>
            <surname>M.</surname>
          </string-name>
          <article-title>Goula~o, and</article-title>
          <string-name>
            <given-names>B.</given-names>
            <surname>Barroca</surname>
          </string-name>
          .
          <article-title>Quality in use of DSLs: Current evaluation methods</article-title>
          .
          <source>Proceedings of the 3rd INForum - Simposio de Informatica (INForum2011)</source>
          ,
          <year>September 2011</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          7.
          <string-name>
            <given-names>Ankica</given-names>
            <surname>Barisic</surname>
          </string-name>
          , Vasco Amaral, Miguel Goula~o, and
          <string-name>
            <given-names>Bruno</given-names>
            <surname>Barroca</surname>
          </string-name>
          .
          <article-title>Quality in use of domain-speci c languages: a case study</article-title>
          .
          <source>In Proceedings of the 3rd ACM SIGPLAN workshop on Evaluation and usability of programming languages and tools</source>
          ,
          <source>PLATEAU '11</source>
          , pages
          <fpage>65</fpage>
          {
          <fpage>72</fpage>
          , New York, NY, USA,
          <year>2011</year>
          . ACM.
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          8.
          <string-name>
            <given-names>Fred</given-names>
            <surname>Brooks</surname>
          </string-name>
          .
          <source>The Mythical Man-Month. Addison-Wesley</source>
          ,
          <year>1975</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          9.
          <string-name>
            <given-names>T.</given-names>
            <surname>Catarci</surname>
          </string-name>
          .
          <article-title>What happened when database researchers met usability</article-title>
          .
          <source>Information Systems</source>
          ,
          <volume>25</volume>
          (
          <issue>3</issue>
          ):
          <volume>177</volume>
          {
          <fpage>212</fpage>
          ,
          <year>2000</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          10.
          <string-name>
            <given-names>Alan</given-names>
            <surname>Dix</surname>
          </string-name>
          .
          <article-title>Human computer interaction</article-title>
          .
          <source>Pearson Education</source>
          ,
          <year>2004</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          11. Pedro Gabriel, Miguel Goula~o, and
          <string-name>
            <given-names>Vasco</given-names>
            <surname>Amaral</surname>
          </string-name>
          .
          <article-title>Do software languages engineers evaluate their languages? In Xavier Franch</article-title>
          ,
          <string-name>
            <surname>Itana Maria de Sousa Gimenes</surname>
          </string-name>
          , and
          <article-title>Juan-Pablo Carvallo, editors, XIII Congreso Iberoamericano en "Software Engineering"</article-title>
          (CIbSE'
          <year>2010</year>
          ),
          <source>ISBN: 978-9978-325-10-0</source>
          , pages
          <fpage>149</fpage>
          {
          <fpage>162</fpage>
          ,
          <string-name>
            <surname>Cuenca</surname>
          </string-name>
          , Ecuador,
          <year>2010</year>
          .
          <source>Universidad del Azuay.</source>
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          12. International Standard Organization. Iso/iec fdis 25010:
          <article-title>2011 systems and software engineering { systems and software quality requirements and evaluation (square) { system and software quality models</article-title>
          ,
          <year>March 2011</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          13.
          <string-name>
            <given-names>Steven</given-names>
            <surname>Kelly</surname>
          </string-name>
          and
          <string-name>
            <surname>Juha-Pekka Tolvanen</surname>
          </string-name>
          .
          <article-title>Visual domain-speci c modelling: bene ts and experiences of using metacase tools</article-title>
          .
          <source>In Jean Bezivin and J</source>
          . Ernst, editors, International Workshop on Model Engineering, at ECOOP'
          <year>2000</year>
          ,
          <year>2000</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref14">
        <mixed-citation>
          14.
          <string-name>
            <surname>R.B. Kieburtz</surname>
            ,
            <given-names>L.</given-names>
          </string-name>
          <string-name>
            <surname>McKinney</surname>
            ,
            <given-names>J.M.</given-names>
          </string-name>
          <string-name>
            <surname>Bell</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          <string-name>
            <surname>Hook</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          <string-name>
            <surname>Kotov</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          <string-name>
            <surname>Lewis</surname>
            ,
            <given-names>D.P.</given-names>
          </string-name>
          <string-name>
            <surname>Oliva</surname>
            ,
            <given-names>T.</given-names>
          </string-name>
          <string-name>
            <surname>Sheard</surname>
            ,
            <given-names>I.</given-names>
          </string-name>
          <string-name>
            <surname>Smith</surname>
            , and
            <given-names>L.</given-names>
          </string-name>
          <string-name>
            <surname>Walton</surname>
          </string-name>
          .
          <article-title>A software engineering experiment in software component generation</article-title>
          .
          <source>Proceedings of the 18th international conference on Software engineering, page 552</source>
          ,
          <year>1996</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref15">
        <mixed-citation>
          15.
          <string-name>
            <surname>Toma</surname>
            <given-names>Kosar</given-names>
          </string-name>
          , Marjan Mernik, and
          <article-title>Je rey Carver. Program comprehension of domain-speci c and general-purpose languages: comparison using a family of experiments</article-title>
          .
          <source>Empirical Software Engineering</source>
          , pages
          <volume>1</volume>
          {
          <fpage>29</fpage>
          ,
          <year>2011</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref16">
        <mixed-citation>
          16.
          <string-name>
            <given-names>Aaron</given-names>
            <surname>Marcus</surname>
          </string-name>
          .
          <article-title>The roi of usability</article-title>
          .
          <source>In Bias and Mayhew</source>
          , editors,
          <source>Cost-Justifying Usability. North- Holland: Elsevier</source>
          ,
          <year>2004</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref17">
        <mixed-citation>
          17.
          <string-name>
            <surname>Marjan</surname>
            <given-names>Mernik</given-names>
          </string-name>
          , Jan Heering, and
          <string-name>
            <surname>Anthony</surname>
            <given-names>M.</given-names>
          </string-name>
          <string-name>
            <surname>Sloane</surname>
          </string-name>
          .
          <article-title>When and how to develop domain-speci c languages</article-title>
          .
          <source>ACM Computing Surveys</source>
          ,
          <volume>37</volume>
          (
          <issue>4</issue>
          ):
          <volume>316</volume>
          {
          <fpage>344</fpage>
          ,
          <year>2005</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref18">
        <mixed-citation>
          18. MetaCase. Nokia case study, http://www.metacase.com/papers/metaedit in nokia.pdf.
          <source>Technical report, MetaCase</source>
          ,
          <year>2007</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref19">
        <mixed-citation>
          19.
          <string-name>
            <given-names>N.S.</given-names>
            <surname>Murray</surname>
          </string-name>
          ,
          <string-name>
            <given-names>N.W.</given-names>
            <surname>Paton</surname>
          </string-name>
          ,
          <string-name>
            <given-names>C.A.</given-names>
            <surname>Goble</surname>
          </string-name>
          , and
          <string-name>
            <given-names>J.</given-names>
            <surname>Bryce</surname>
          </string-name>
          .
          <article-title>Kaleidoquery{a ow-based visual language and its evaluation</article-title>
          .
          <source>Journal of Visual Languages &amp; Computing</source>
          ,
          <volume>11</volume>
          (
          <issue>2</issue>
          ):
          <volume>151</volume>
          {
          <fpage>189</fpage>
          ,
          <year>2000</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref20">
        <mixed-citation>
          20.
          <string-name>
            <given-names>Jakob</given-names>
            <surname>Nielsen</surname>
          </string-name>
          and
          <string-name>
            <given-names>S.</given-names>
            <surname>Gilutz</surname>
          </string-name>
          .
          <article-title>Usability return on investment</article-title>
          .
          <source>Technical report</source>
          , Nielsen Norman Group,
          <year>2003</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref21">
        <mixed-citation>
          21.
          <string-name>
            <given-names>J.</given-names>
            <surname>Rubin</surname>
          </string-name>
          and
          <string-name>
            <given-names>D.</given-names>
            <surname>Chisnell</surname>
          </string-name>
          . Handbook of Usability Testing:
          <article-title>How to plan, design and conduct e ective tests</article-title>
          . Wiley-India,
          <year>2008</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref22">
        <mixed-citation>
          22. Eelco Visser.
          <article-title>WebDSL: A case study in domain-speci c language engineering</article-title>
          . In Generative and Transformational Techniques in Software
          <string-name>
            <surname>Engineering</surname>
            <given-names>II</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Ralf</surname>
            <given-names>Lmmel</given-names>
          </string-name>
          , Joost Visser, and Joo Saraiva (Eds.).
          <source>Lecture Notes In Computer Science</source>
          ,
          <volume>5235</volume>
          ,
          <year>2007</year>
          .
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>