<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//TaxonX//DTD Taxonomic Treatment Publishing DTD v0 20100105//EN" "../../nlm/tax-treatment-NS0.dtd">
<article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:tp="http://www.plazi.org/taxpub" article-type="research-article" dtd-version="3.0" xml:lang="en">
  <front>
    <journal-meta>
      <journal-id journal-id-type="publisher-id">109</journal-id>
      <journal-id journal-id-type="index">urn:lsid:arphahub.com:pub:3dc5f44e-8666-58db-bc76-a455210e8891</journal-id>
      <journal-title-group>
        <journal-title xml:lang="en">JUCS - Journal of Universal Computer Science</journal-title>
        <abbrev-journal-title xml:lang="en">jucs</abbrev-journal-title>
      </journal-title-group>
      <issn pub-type="ppub">0948-695X</issn>
      <issn pub-type="epub">0948-6968</issn>
      <publisher>
        <publisher-name>Journal of Universal Computer Science</publisher-name>
      </publisher>
    </journal-meta>
    <article-meta>
      <article-id pub-id-type="doi">10.3217/jucs-025-08-0967</article-id>
      <article-id pub-id-type="publisher-id">22641</article-id>
      <article-categories>
        <subj-group subj-group-type="heading">
          <subject>Research Article</subject>
        </subj-group>
        <subj-group subj-group-type="scientific_subject">
          <subject>D.2.4 - Software/Program Verification</subject>
          <subject>H.1.2 - User/Machine Systems</subject>
          <subject>H.5.1 - Multimedia Information Systems</subject>
          <subject>I.3.6 - Methodology and Techniques</subject>
          <subject>I.6.4 - Model Validation and Analysis</subject>
        </subj-group>
      </article-categories>
      <title-group>
        <article-title>The Role of Verification and Validation Techniques within Visual Analytics</article-title>
      </title-group>
      <contrib-group content-type="authors">
        <contrib contrib-type="author" corresp="yes">
          <name name-style="western">
            <surname>Weyers</surname>
            <given-names>Benjamin</given-names>
          </name>
          <email xlink:type="simple">weyers@uni-trier.de</email>
          <xref ref-type="aff" rid="A1">1</xref>
        </contrib>
        <contrib contrib-type="author" corresp="no">
          <name name-style="western">
            <surname>Auer</surname>
            <given-names>Ekaterina</given-names>
          </name>
          <xref ref-type="aff" rid="A2">2</xref>
        </contrib>
        <contrib contrib-type="author" corresp="no">
          <name name-style="western">
            <surname>Luther</surname>
            <given-names>Wolfram</given-names>
          </name>
          <xref ref-type="aff" rid="A3">3</xref>
        </contrib>
      </contrib-group>
      <aff id="A1">
        <label>1</label>
        <addr-line content-type="verbatim">University of Trier, Trier, Germany</addr-line>
        <institution>University of Trier</institution>
        <addr-line content-type="city">Trier</addr-line>
        <country>Germany</country>
      </aff>
      <aff id="A2">
        <label>2</label>
        <addr-line content-type="verbatim">University of Applied Sciences Wismar, Wismar, Germany</addr-line>
        <institution>University of Applied Sciences Wismar</institution>
        <addr-line content-type="city">Wismar</addr-line>
        <country>Germany</country>
      </aff>
      <aff id="A3">
        <label>3</label>
        <addr-line content-type="verbatim">University of Duisburg-Essen, Duisburg, Germany</addr-line>
        <institution>University of Duisburg-Essen</institution>
        <addr-line content-type="city">Duisburg</addr-line>
        <country>Germany</country>
      </aff>
      <author-notes>
        <fn fn-type="corresp">
          <p>Corresponding author: Benjamin Weyers (<email xlink:type="simple">weyers@uni-trier.de</email>).</p>
        </fn>
        <fn fn-type="edited-by">
          <p>Academic editor: </p>
        </fn>
      </author-notes>
      <pub-date pub-type="collection">
        <year>2019</year>
      </pub-date>
      <pub-date pub-type="epub">
        <day>28</day>
        <month>08</month>
        <year>2019</year>
      </pub-date>
      <volume>25</volume>
      <issue>8</issue>
      <fpage>967</fpage>
      <lpage>987</lpage>
      <uri content-type="arpha" xlink:href="http://openbiodiv.net/F228C796-2441-530F-98F6-A0E9DDF9FE5A">F228C796-2441-530F-98F6-A0E9DDF9FE5A</uri>
      <uri content-type="zenodo_dep_id" xlink:href="https://zenodo.org/record/4840874">4840874</uri>
      <history>
        <date date-type="received">
          <day>26</day>
          <month>12</month>
          <year>2018</year>
        </date>
        <date date-type="accepted">
          <day>25</day>
          <month>06</month>
          <year>2019</year>
        </date>
      </history>
      <permissions>
        <copyright-statement>Benjamin Weyers, Ekaterina Auer, Wolfram Luther</copyright-statement>
        <license license-type="creative-commons-attribution" xlink:href="" xlink:type="simple">
          <license-p>This article is freely available under the J.UCS Open Content License.</license-p>
        </license>
      </permissions>
      <abstract>
        <label>Abstract</label>
        <p>We suggest to widen the focus of the scientific computations community from an isolated consideration of reliable numerical algorithms using standardized arithmetic to a broad user-centered system modeling and simulation approach relying on an appropriate verification and validation (V&amp;V) design. Most V&amp;V works rarely consider human-related issues specifically. However, modern applications generate and employ huge amounts of heterogeneous data and usually exhibit high complexity - challenges that are best tackled by augmenting human reasoning with automated techniques. That is, novel visual and collaborative approaches are needed to interpret the results, which has to be accounted for in the general V&amp;V procedure. This should include an assessment of (meta-) data and code/outcome quality, selection of methods to propagate and bound uncertainty and, lastly, formally rigorous validation efforts. We present an approach to reliable visual analytics (i.e., analytics subjected to this V&amp;V assessment), which can in turn contribute to the overall V&amp;V procedure after that. Two use cases illustrate the potential of the introduced framework for reliable visual analytics.</p>
      </abstract>
    </article-meta>
  </front>
</article>
