<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of hal-00670282</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-17T17:27:22+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Formal object-oriented development of a voting system test oracle</title>
            <author role="aut">
              <persName>
                <forename type="first">John Paul</forename>
                <surname>Gibson</surname>
              </persName>
              <email type="md5">4bcbce9cf91629de300cbf2af7bb97c0</email>
              <email type="domain">telecom-sudparis.eu</email>
              <idno type="idhal" notation="string">paul-gibson</idno>
              <idno type="idhal" notation="numeric">736999</idno>
              <idno type="halauthorid" notation="string">42093-736999</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-0474-0666</idno>
              <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=FqpABj8AAAAJ&amp;hl=en</idno>
              <idno type="IDREF">https://www.idref.fr/223309435</idno>
              <idno type="IDREF">https://www.idref.fr/25313109X</idno>
              <affiliation ref="#struct-95570"/>
              <affiliation ref="#struct-638"/>
              <affiliation ref="#struct-441569"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Eric</forename>
                <surname>Lallet</surname>
              </persName>
              <email type="md5">70ea921f5d1cbc3ee476ff8c4ef99ede</email>
              <email type="domain">it-sudparis.eu</email>
              <idno type="idhal" notation="numeric">920536</idno>
              <idno type="halauthorid" notation="string">616762-920536</idno>
              <orgName ref="#struct-0"/>
              <affiliation ref="#struct-95570"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Jean-Luc</forename>
                <surname>Raffy</surname>
              </persName>
              <email type="md5">9659516e8827dd6dc358c08274934e6f</email>
              <email type="domain">it-sudparis.eu</email>
              <idno type="idhal" notation="numeric">987739</idno>
              <idno type="halauthorid" notation="string">596783-987739</idno>
              <orgName ref="#struct-0"/>
              <affiliation ref="#struct-95570"/>
              <affiliation ref="#struct-638"/>
              <affiliation ref="#struct-441569"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Médiathèque</forename>
                <surname>Télécom SudParis &amp; Institut Mines-Télécom Business School</surname>
              </persName>
              <email type="md5">8d9568058c47dcee2bc21ac2481f44c9</email>
              <email type="domain">imtbs-tsp.eu</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2012-02-15 10:12:12</date>
              <date type="whenModified">2026-01-21 03:33:01</date>
              <date type="whenReleased">2012-02-15 10:12:26</date>
              <date type="whenProduced">2011-12</date>
              <ref type="externalLink" target="https://api.istex.fr/ark:/67375/VQC-0CK68890-0/fulltext.pdf?sid=hal"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="142673">
                <persName>
                  <forename>Médiathèque</forename>
                  <surname>Télécom SudParis &amp; Institut Mines-Télécom Business School</surname>
                </persName>
                <email type="md5">8d9568058c47dcee2bc21ac2481f44c9</email>
                <email type="domain">imtbs-tsp.eu</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-00670282</idno>
            <idno type="halUri">https://hal.science/hal-00670282</idno>
            <idno type="halBibtex">gibson:hal-00670282</idno>
            <idno type="halRefHtml">&lt;i&gt;Innovations in Systems and Software Engineering (ISSE)&lt;/i&gt;, 2011, 7 (4), pp.237-245. &lt;a target="_blank" href="https://dx.doi.org/10.1007/s11334-011-0167-y"&gt;&amp;#x27E8;10.1007/s11334-011-0167-y&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Innovations in Systems and Software Engineering (ISSE), 2011, 7 (4), pp.237-245. &amp;#x27E8;10.1007/s11334-011-0167-y&amp;#x27E9;</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="TELECOM-SUDPARIS" corresp="INSTITUT-MINES-TELECOM">Télécom SudParis</idno>
            <idno type="stamp" n="INSTITUTS-TELECOM">composantes instituts telecom </idno>
            <idno type="stamp" n="TSP-DISSEM">Distributed Systems, Software Engineering and Middleware group</idno>
            <idno type="stamp" n="INSTITUT-MINES-TELECOM">Institut Mines Telecom</idno>
            <idno type="stamp" n="DEPARTEMENT-DE-MATHEMATIQUES">Collection du Département de Mathématiques</idno>
            <idno type="stamp" n="IP-PARIS-DEPARTEMENT-MATHEMATIQUES">Département de Mathèmatiques</idno>
            <idno type="stamp" n="IP-PARIS-MATHEMATIQUES">IP Paris Département de Mathématiques</idno>
            <idno type="stamp" n="SAMOVAR">Services répartis, Architectures, Modélisation, Validation, Administration des Réseaux</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Formal object-oriented development of a voting system test oracle</title>
                <author role="aut">
                  <persName>
                    <forename type="first">John Paul</forename>
                    <surname>Gibson</surname>
                  </persName>
                  <email type="md5">4bcbce9cf91629de300cbf2af7bb97c0</email>
                  <email type="domain">telecom-sudparis.eu</email>
                  <idno type="idhal" notation="string">paul-gibson</idno>
                  <idno type="idhal" notation="numeric">736999</idno>
                  <idno type="halauthorid" notation="string">42093-736999</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-0474-0666</idno>
                  <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=FqpABj8AAAAJ&amp;hl=en</idno>
                  <idno type="IDREF">https://www.idref.fr/223309435</idno>
                  <idno type="IDREF">https://www.idref.fr/25313109X</idno>
                  <affiliation ref="#struct-95570"/>
                  <affiliation ref="#struct-638"/>
                  <affiliation ref="#struct-441569"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Eric</forename>
                    <surname>Lallet</surname>
                  </persName>
                  <email type="md5">70ea921f5d1cbc3ee476ff8c4ef99ede</email>
                  <email type="domain">it-sudparis.eu</email>
                  <idno type="idhal" notation="numeric">920536</idno>
                  <idno type="halauthorid" notation="string">616762-920536</idno>
                  <orgName ref="#struct-0"/>
                  <affiliation ref="#struct-95570"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Jean-Luc</forename>
                    <surname>Raffy</surname>
                  </persName>
                  <email type="md5">9659516e8827dd6dc358c08274934e6f</email>
                  <email type="domain">it-sudparis.eu</email>
                  <idno type="idhal" notation="numeric">987739</idno>
                  <idno type="halauthorid" notation="string">596783-987739</idno>
                  <orgName ref="#struct-0"/>
                  <affiliation ref="#struct-95570"/>
                  <affiliation ref="#struct-638"/>
                  <affiliation ref="#struct-441569"/>
                </author>
              </analytic>
              <monogr>
                <idno type="localRef">11288</idno>
                <idno type="halJournalId" status="INCOMING">69505</idno>
                <title level="j">Innovations in Systems and Software Engineering (ISSE)</title>
                <imprint>
                  <publisher>Springer London</publisher>
                  <biblScope unit="volume">7</biblScope>
                  <biblScope unit="issue">4</biblScope>
                  <biblScope unit="pp">237-245</biblScope>
                  <date type="datePub">2011-12</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/s11334-011-0167-y</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="et">Event-based</term>
                <term xml:lang="et">UML</term>
                <term xml:lang="et">Java</term>
                <term xml:lang="et">JUnit</term>
              </keywords>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</classCode>
              <classCode scheme="halTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halOldTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halTreeTypology" n="ART">Journal articles</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>We report on the formal development of a test oracle for an electronic-voting system, detailing our approach which was based on a lightweight integration of Event-B, UML, and Java. This lightweight integration focuses on a coherent development process rather than on formal integration at the model/language level. We then briefly review alternative development approaches involving the use of JML and OCL. We conclude that the use of the OCL would offer few benefits, if any, in our formal development process.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="department" xml:id="struct-95570" status="OLD">
          <orgName>Département Logiciels et Réseaux</orgName>
          <orgName type="acronym">LOR</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-352124" type="direct"/>
            <relation active="#struct-302102" type="indirect"/>
            <relation name="563936" active="#struct-563936" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-638" status="VALID">
          <idno type="IdRef">281286515</idno>
          <idno type="ISNI">0000000403830480</idno>
          <idno type="RNSR">200319330C</idno>
          <orgName>Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux</orgName>
          <orgName type="acronym">SAMOVAR</orgName>
          <desc>
            <address>
              <addrLine>Télécom Sudparis, 9 rue Charles Fourier -91011 Evry cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://samovar.telecom-sudparis.eu/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-352124" type="direct"/>
            <relation active="#struct-302102" type="indirect"/>
            <relation name="563936" active="#struct-563936" type="indirect"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-441569" status="VALID">
          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <idno type="ROR">https://ror.org/02feahw73</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.cnrs.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-352124" status="VALID">
          <idno type="IdRef">162347510</idno>
          <idno type="ISNI">0000000406406351</idno>
          <idno type="ROR">https://ror.org/05xvk4r52</idno>
          <idno type="Wikidata">Q43305</idno>
          <orgName>Télécom SudParis</orgName>
          <orgName type="acronym">TSP</orgName>
          <desc>
            <address>
              <addrLine>9 rue Charles Fourier -91011 Evry Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.telecom-sudparis.eu/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-302102" type="direct"/>
            <relation name="563936" active="#struct-563936" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-302102" status="VALID">
          <idno type="IdRef">192427156</idno>
          <idno type="ISNI">000000012202567X</idno>
          <idno type="ROR">https://ror.org/025vp2923</idno>
          <idno type="Wikidata">Q27962533</idno>
          <orgName>Institut Mines-Télécom [Paris]</orgName>
          <orgName type="acronym">IMT</orgName>
          <date type="start">2012-03-01</date>
          <desc>
            <address>
              <addrLine>19 Place Marguerite Perey, 91120 Palaiseau</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.imt.fr/</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-563936" status="VALID">
          <idno type="IdRef">238327159</idno>
          <idno type="ISNI">0000000502717600</idno>
          <idno type="ROR">https://ror.org/042tfbd02</idno>
          <idno type="Wikidata">Q48759778</idno>
          <orgName>Institut Polytechnique de Paris</orgName>
          <orgName type="acronym">IP Paris</orgName>
          <date type="start">2019-06-02</date>
          <desc>
            <address>
              <addrLine>Route de Saclay, 91120 Palaiseau Cedex, France</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.ip-paris.fr</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>