Formal Reasoning about Software Object Translations
Identifieur interne : 001708 ( Istex/Corpus ); précédent : 001707; suivant : 001709Formal Reasoning about Software Object Translations
Auteurs : Vladis Berzins ; Luqi ; Peter MusialSource :
- Lecture Notes in Computer Science [ 0302-9743 ] ; 2010.
Abstract
Abstract: In this work we examine the problem of verifying translations from outputs of one system to the inputs of another system, which we refer to as the output-to-input translation problem. We present a formalization of this problem along with a verification mechanism based on constraint logic programming. Composition of systems is an important issue in the software reuse domain, and has applicability in other areas of software engineering such as transformation of information from one phase of the development process to another. Some challenges are to verify the translation mechanisms that may be needed to connect independently designed components and assess to what degree is the consumer component functionality enabled after the composition takes place. To this end we use constraint logic programming modeling techniques. Our model allows formalization of the translation problem in the form of constraints and relations between the outputs and the inputs of involved components. Since CLP tools are computationally expensive, we identify characteristics of translation problems for which our technique is practical. We conclude with an application of our translation framework within the Documentation Driven Software Development methodology.
Url:
DOI: 10.1007/978-3-642-12566-9_3
Links to Exploration step
ISTEX:6DEF45FA72B3334740B60E03FBC47E070A3F82C6Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Formal Reasoning about Software Object Translations</title><author><name sortKey="Berzins, Vladis" sort="Berzins, Vladis" uniqKey="Berzins V" first="Vladis" last="Berzins">Vladis Berzins</name><affiliation><mods:affiliation>Computer Science Department, Naval Postgraduate School, 1411 Cunningham Rd., 93943, Monterey, CA, USA</mods:affiliation></affiliation></author><author><name sortKey="Luqi" sort="Luqi" uniqKey="Luqi" last="Luqi">Luqi</name><affiliation><mods:affiliation>Computer Science Department, Naval Postgraduate School, 1411 Cunningham Rd., 93943, Monterey, CA, USA</mods:affiliation></affiliation></author><author><name sortKey="Musial, Peter" sort="Musial, Peter" uniqKey="Musial P" first="Peter" last="Musial">Peter Musial</name><affiliation><mods:affiliation>Computer Science Department, Naval Postgraduate School, 1411 Cunningham Rd., 93943, Monterey, CA, USA</mods:affiliation></affiliation><affiliation><mods:affiliation>Department of Computer Science, University of Puerto Rico, Rio Piedras, P.O. Box 23328, 00931, San Juan, PR, USA</mods:affiliation></affiliation></author></titleStmt><publicationStmt><idno type="wicri:source">ISTEX</idno><idno type="RBID">ISTEX:6DEF45FA72B3334740B60E03FBC47E070A3F82C6</idno><date when="2010" year="2010">2010</date><idno type="doi">10.1007/978-3-642-12566-9_3</idno><idno type="url">https://api.istex.fr/document/6DEF45FA72B3334740B60E03FBC47E070A3F82C6/fulltext/pdf</idno><idno type="wicri:Area/Istex/Corpus">001708</idno></publicationStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Formal Reasoning about Software Object Translations</title><author><name sortKey="Berzins, Vladis" sort="Berzins, Vladis" uniqKey="Berzins V" first="Vladis" last="Berzins">Vladis Berzins</name><affiliation><mods:affiliation>Computer Science Department, Naval Postgraduate School, 1411 Cunningham Rd., 93943, Monterey, CA, USA</mods:affiliation></affiliation></author><author><name sortKey="Luqi" sort="Luqi" uniqKey="Luqi" last="Luqi">Luqi</name><affiliation><mods:affiliation>Computer Science Department, Naval Postgraduate School, 1411 Cunningham Rd., 93943, Monterey, CA, USA</mods:affiliation></affiliation></author><author><name sortKey="Musial, Peter" sort="Musial, Peter" uniqKey="Musial P" first="Peter" last="Musial">Peter Musial</name><affiliation><mods:affiliation>Computer Science Department, Naval Postgraduate School, 1411 Cunningham Rd., 93943, Monterey, CA, USA</mods:affiliation></affiliation><affiliation><mods:affiliation>Department of Computer Science, University of Puerto Rico, Rio Piedras, P.O. Box 23328, 00931, San Juan, PR, USA</mods:affiliation></affiliation></author></analytic><monogr></monogr><series><title level="s">Lecture Notes in Computer Science</title><imprint><date>2010</date></imprint><idno type="ISSN">0302-9743</idno><idno type="eISSN">1611-3349</idno></series><idno type="istex">6DEF45FA72B3334740B60E03FBC47E070A3F82C6</idno><idno type="DOI">10.1007/978-3-642-12566-9_3</idno><idno type="ChapterID">Chap3</idno><idno type="ChapterID">3</idno></biblStruct></sourceDesc></fileDesc><profileDesc><textClass></textClass><langUsage><language ident="en">en</language></langUsage></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">Abstract: In this work we examine the problem of verifying translations from outputs of one system to the inputs of another system, which we refer to as the output-to-input translation problem. We present a formalization of this problem along with a verification mechanism based on constraint logic programming. Composition of systems is an important issue in the software reuse domain, and has applicability in other areas of software engineering such as transformation of information from one phase of the development process to another. Some challenges are to verify the translation mechanisms that may be needed to connect independently designed components and assess to what degree is the consumer component functionality enabled after the composition takes place. To this end we use constraint logic programming modeling techniques. Our model allows formalization of the translation problem in the form of constraints and relations between the outputs and the inputs of involved components. Since CLP tools are computationally expensive, we identify characteristics of translation problems for which our technique is practical. We conclude with an application of our translation framework within the Documentation Driven Software Development methodology.</div></front></TEI><istex><corpusName>springer</corpusName><author><json:item><name>Vladis Berzins</name><affiliations><json:string>Computer Science Department, Naval Postgraduate School, 1411 Cunningham Rd., 93943, Monterey, CA, USA</json:string></affiliations></json:item><json:item><name>Luqi</name><affiliations><json:string>Computer Science Department, Naval Postgraduate School, 1411 Cunningham Rd., 93943, Monterey, CA, USA</json:string></affiliations></json:item><json:item><name>Peter Musial</name><affiliations><json:string>Computer Science Department, Naval Postgraduate School, 1411 Cunningham Rd., 93943, Monterey, CA, USA</json:string><json:string>Department of Computer Science, University of Puerto Rico, Rio Piedras, P.O. Box 23328, 00931, San Juan, PR, USA</json:string></affiliations></json:item></author><language><json:string>eng</json:string></language><abstract>Abstract: In this work we examine the problem of verifying translations from outputs of one system to the inputs of another system, which we refer to as the output-to-input translation problem. We present a formalization of this problem along with a verification mechanism based on constraint logic programming. Composition of systems is an important issue in the software reuse domain, and has applicability in other areas of software engineering such as transformation of information from one phase of the development process to another. Some challenges are to verify the translation mechanisms that may be needed to connect independently designed components and assess to what degree is the consumer component functionality enabled after the composition takes place. To this end we use constraint logic programming modeling techniques. Our model allows formalization of the translation problem in the form of constraints and relations between the outputs and the inputs of involved components. Since CLP tools are computationally expensive, we identify characteristics of translation problems for which our technique is practical. We conclude with an application of our translation framework within the Documentation Driven Software Development methodology.</abstract><qualityIndicators><score>8.708</score><pdfVersion>1.6</pdfVersion><pdfPageSize>430 x 660 pts</pdfPageSize><refBibsNative>false</refBibsNative><keywordCount>0</keywordCount><abstractCharCount>1260</abstractCharCount><pdfWordCount>8921</pdfWordCount><pdfCharCount>42964</pdfCharCount><pdfPageCount>16</pdfPageCount><abstractWordCount>184</abstractWordCount></qualityIndicators><title>Formal Reasoning about Software Object Translations</title><genre><json:string>Book Chapter</json:string></genre><serie><editor><json:item><name>David Hutchison</name><affiliations><json:string>Lancaster University, Lancaster, UK</json:string></affiliations></json:item><json:item><name>Takeo Kanade</name><affiliations><json:string>Carnegie Mellon University, Pittsburgh, PA, USA</json:string></affiliations></json:item><json:item><name>Josef Kittler</name><affiliations><json:string>University of Surrey, Guildford, UK</json:string></affiliations></json:item><json:item><name>Jon M. Kleinberg</name><affiliations><json:string>Cornell University, Ithaca, NY, USA</json:string></affiliations></json:item><json:item><name>Friedemann Mattern</name><affiliations><json:string>ETH Zurich, Zurich, Switzerland</json:string></affiliations></json:item><json:item><name>John C. Mitchell</name><affiliations><json:string>Stanford University, Stanford, CA, USA</json:string></affiliations></json:item><json:item><name>Moni Naor</name><affiliations><json:string>Weizmann Institute of Science, Rehovot, Israel</json:string></affiliations></json:item><json:item><name>Oscar Nierstrasz</name><affiliations><json:string>University of Bern, Bern, Switzerland</json:string></affiliations></json:item><json:item><name>C. Pandu Rangan</name><affiliations><json:string>Indian Institute of Technology, Madras, India</json:string></affiliations></json:item><json:item><name>Bernhard Steffen</name><affiliations><json:string>University of Dortmund, Dortmund, Germany</json:string></affiliations></json:item><json:item><name>Madhu Sudan</name><affiliations><json:string>Massachusetts Institute of Technology, MA, USA</json:string></affiliations></json:item><json:item><name>Demetri Terzopoulos</name><affiliations><json:string>University of California, Los Angeles, CA, USA</json:string></affiliations></json:item><json:item><name>Doug Tygar</name><affiliations><json:string>University of California, Berkeley, CA, USA</json:string></affiliations></json:item><json:item><name>Moshe Y. Vardi</name><affiliations><json:string>Rice University, Houston, TX, USA</json:string></affiliations></json:item><json:item><name>Gerhard Weikum</name><affiliations><json:string>Max-Planck Institute of Computer Science, Saarbrücken, Germany</json:string></affiliations></json:item></editor><issn><json:string>0302-9743</json:string></issn><genre><json:string>book series</json:string></genre><language><json:string>unknown</json:string></language><eissn><json:string>1611-3349</json:string></eissn><title>Lecture Notes in Computer Science</title><copyrightDate>2010</copyrightDate></serie><host><volume>6028</volume><editor><json:item><name>Christine Choppy</name><affiliations><json:string>Institut Galilée, Laboratoire d’Informatique de l’Université Paris Nord, UMR CNRS 7030, 99 Avenue J.B. Clément, 93430, Villetaneuse, France</json:string><json:string>E-mail: Christine.Choppy@lipn.univ-paris13.fr</json:string></affiliations></json:item><json:item><name>Oleg Sokolsky</name><affiliations><json:string>Department of Computer Science and Information Science, University of Pennsylvania, 3300 Walnut Street, 19104-6389, Philadelphia, PA, USA</json:string><json:string>E-mail: sokolsky@cis.upenn.edu</json:string></affiliations></json:item></editor><pages><last>58</last><first>43</first></pages><subject><json:item><value>Computer Science</value></json:item><json:item><value>Computer Science</value></json:item><json:item><value>Software Engineering</value></json:item><json:item><value>Information Systems Applications (incl.Internet)</value></json:item><json:item><value>Information Storage and Retrieval</value></json:item><json:item><value>Computer Communication Networks</value></json:item><json:item><value>Database Management</value></json:item><json:item><value>System Performance and Evaluation</value></json:item></subject><isbn><json:string>978-3-642-12565-2</json:string></isbn><genre><json:string>book series</json:string></genre><language><json:string>unknown</json:string></language><eisbn><json:string>978-3-642-12566-9</json:string></eisbn><title>Foundations of Computer Software. Future Trends and Techniques for Development</title><copyrightDate>2010</copyrightDate><doi><json:string>10.1007/978-3-642-12566-9</json:string></doi></host><copyrightDate>2010</copyrightDate><doi><json:string>10.1007/978-3-642-12566-9_3</json:string></doi><id>6DEF45FA72B3334740B60E03FBC47E070A3F82C6</id><fulltext><json:item><original>true</original><mimetype>application/pdf</mimetype><extension>pdf</extension><uri>https://api.istex.fr/document/6DEF45FA72B3334740B60E03FBC47E070A3F82C6/fulltext/pdf</uri></json:item><json:item><original>false</original><mimetype>application/zip</mimetype><extension>zip</extension><uri>https://api.istex.fr/document/6DEF45FA72B3334740B60E03FBC47E070A3F82C6/fulltext/zip</uri></json:item><istex:fulltextTEI uri="https://api.istex.fr/document/6DEF45FA72B3334740B60E03FBC47E070A3F82C6/fulltext/tei"><teiHeader><fileDesc><titleStmt><title level="a" type="main" xml:lang="en">Formal Reasoning about Software Object Translations</title><respStmt xml:id="ISTEX-API" resp="Références bibliographiques récupérées via GROBID" name="ISTEX-API (INIST-CNRS)"></respStmt></titleStmt><publicationStmt><authority>ISTEX</authority><publisher>Springer Berlin Heidelberg</publisher><pubPlace>Berlin, Heidelberg</pubPlace><date>2010</date></publicationStmt><notesStmt><note>This work is sponsored through AOR grant for development of the DDD framework. In addition P.M. Musial is funded through the NRC Postdoctoral Fellowship.</note></notesStmt><sourceDesc><biblStruct type="inbook"><analytic><title level="a" type="main" xml:lang="en">Formal Reasoning about Software Object Translations</title><author><persName><forename type="first">Vladis</forename><surname>Berzins</surname></persName><affiliation>Computer Science Department, Naval Postgraduate School, 1411 Cunningham Rd., 93943, Monterey, CA, USA</affiliation></author><author><persName><surname>Luqi</surname></persName><affiliation>Computer Science Department, Naval Postgraduate School, 1411 Cunningham Rd., 93943, Monterey, CA, USA</affiliation></author><author><persName><forename type="first">Peter</forename><surname>Musial</surname></persName><affiliation>Computer Science Department, Naval Postgraduate School, 1411 Cunningham Rd., 93943, Monterey, CA, USA</affiliation><affiliation>Department of Computer Science, University of Puerto Rico, Rio Piedras, P.O. Box 23328, 00931, San Juan, PR, USA</affiliation></author></analytic><monogr><title level="m">Foundations of Computer Software. Future Trends and Techniques for Development</title><title level="m" type="sub">15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers</title><idno type="pISBN">978-3-642-12565-2</idno><idno type="eISBN">978-3-642-12566-9</idno><idno type="DOI">10.1007/978-3-642-12566-9</idno><idno type="BookID">978-3-642-12566-9</idno><idno type="BookTitleID">210768</idno><idno type="BookSequenceNumber">6028</idno><idno type="BookVolumeNumber">6028</idno><idno type="BookChapterCount">13</idno><editor><persName><forename type="first">Christine</forename><surname>Choppy</surname></persName><email>Christine.Choppy@lipn.univ-paris13.fr</email><affiliation>Institut Galilée, Laboratoire d’Informatique de l’Université Paris Nord, UMR CNRS 7030, 99 Avenue J.B. Clément, 93430, Villetaneuse, France</affiliation></editor><editor><persName><forename type="first">Oleg</forename><surname>Sokolsky</surname></persName><email>sokolsky@cis.upenn.edu</email><affiliation>Department of Computer Science and Information Science, University of Pennsylvania, 3300 Walnut Street, 19104-6389, Philadelphia, PA, USA</affiliation></editor><imprint><publisher>Springer Berlin Heidelberg</publisher><pubPlace>Berlin, Heidelberg</pubPlace><date>2010</date><biblScope unit="volume">6028</biblScope><biblScope unit="page" from="43">43</biblScope><biblScope unit="page" to="58">58</biblScope></imprint></monogr><series><title level="s">Lecture Notes in Computer Science</title><editor><persName><forename type="first">David</forename><surname>Hutchison</surname></persName><affiliation>Lancaster University, Lancaster, UK</affiliation></editor><editor><persName><forename type="first">Takeo</forename><surname>Kanade</surname></persName><affiliation>Carnegie Mellon University, Pittsburgh, PA, USA</affiliation></editor><editor><persName><forename type="first">Josef</forename><surname>Kittler</surname></persName><affiliation>University of Surrey, Guildford, UK</affiliation></editor><editor><persName><forename type="first">Jon</forename><forename type="first">M.</forename><surname>Kleinberg</surname></persName><affiliation>Cornell University, Ithaca, NY, USA</affiliation></editor><editor><persName><forename type="first">Friedemann</forename><surname>Mattern</surname></persName><affiliation>ETH Zurich, Zurich, Switzerland</affiliation></editor><editor><persName><forename type="first">John</forename><forename type="first">C.</forename><surname>Mitchell</surname></persName><affiliation>Stanford University, Stanford, CA, USA</affiliation></editor><editor><persName><forename type="first">Moni</forename><surname>Naor</surname></persName><affiliation>Weizmann Institute of Science, Rehovot, Israel</affiliation></editor><editor><persName><forename type="first">Oscar</forename><surname>Nierstrasz</surname></persName><affiliation>University of Bern, Bern, Switzerland</affiliation></editor><editor><persName><forename type="first">C.</forename><surname>Pandu Rangan</surname></persName><affiliation>Indian Institute of Technology, Madras, India</affiliation></editor><editor><persName><forename type="first">Bernhard</forename><surname>Steffen</surname></persName><affiliation>University of Dortmund, Dortmund, Germany</affiliation></editor><editor><persName><forename type="first">Madhu</forename><surname>Sudan</surname></persName><affiliation>Massachusetts Institute of Technology, MA, USA</affiliation></editor><editor><persName><forename type="first">Demetri</forename><surname>Terzopoulos</surname></persName><affiliation>University of California, Los Angeles, CA, USA</affiliation></editor><editor><persName><forename type="first">Doug</forename><surname>Tygar</surname></persName><affiliation>University of California, Berkeley, CA, USA</affiliation></editor><editor><persName><forename type="first">Moshe</forename><forename type="first">Y.</forename><surname>Vardi</surname></persName><affiliation>Rice University, Houston, TX, USA</affiliation></editor><editor><persName><forename type="first">Gerhard</forename><surname>Weikum</surname></persName><affiliation>Max-Planck Institute of Computer Science, Saarbrücken, Germany</affiliation></editor><biblScope><date>2010</date></biblScope><idno type="pISSN">0302-9743</idno><idno type="eISSN">1611-3349</idno><idno type="seriesId">558</idno></series><idno type="istex">6DEF45FA72B3334740B60E03FBC47E070A3F82C6</idno><idno type="DOI">10.1007/978-3-642-12566-9_3</idno><idno type="ChapterID">Chap3</idno><idno type="ChapterID">3</idno></biblStruct></sourceDesc></fileDesc><profileDesc><creation><date>2010</date></creation><langUsage><language ident="en">en</language></langUsage><abstract xml:lang="en"><p>Abstract: In this work we examine the problem of verifying translations from outputs of one system to the inputs of another system, which we refer to as the output-to-input translation problem. We present a formalization of this problem along with a verification mechanism based on constraint logic programming. Composition of systems is an important issue in the software reuse domain, and has applicability in other areas of software engineering such as transformation of information from one phase of the development process to another. Some challenges are to verify the translation mechanisms that may be needed to connect independently designed components and assess to what degree is the consumer component functionality enabled after the composition takes place. To this end we use constraint logic programming modeling techniques. Our model allows formalization of the translation problem in the form of constraints and relations between the outputs and the inputs of involved components. Since CLP tools are computationally expensive, we identify characteristics of translation problems for which our technique is practical. We conclude with an application of our translation framework within the Documentation Driven Software Development methodology.</p></abstract><textClass><keywords scheme="Book Subject Collection"><list><label>SUCO11645</label><item><term>Computer Science</term></item></list></keywords></textClass><textClass><keywords scheme="Book Subject Group"><list><label>I</label><label>I14029</label><label>I18040</label><label>I18032</label><label>I13022</label><label>I18024</label><label>I13049</label><item><term>Computer Science</term></item><item><term>Software Engineering</term></item><item><term>Information Systems Applications (incl.Internet)</term></item><item><term>Information Storage and Retrieval</term></item><item><term>Computer Communication Networks</term></item><item><term>Database Management</term></item><item><term>System Performance and Evaluation</term></item></list></keywords></textClass></profileDesc><revisionDesc><change>undefined</change><change>[object Object]</change></revisionDesc></teiHeader></istex:fulltextTEI><json:item><original>false</original><mimetype>text/plain</mimetype><extension>txt</extension><uri>https://api.istex.fr/document/6DEF45FA72B3334740B60E03FBC47E070A3F82C6/fulltext/txt</uri></json:item></fulltext><metadata><istex:metadataXml wicri:clean="Springer, Publisher found" wicri:toSee="no header"><istex:xmlDeclaration>version="1.0" encoding="UTF-8"</istex:xmlDeclaration><istex:docType PUBLIC="-//Springer-Verlag//DTD A++ V2.4//EN" URI="http://devel.springer.de/A++/V2.4/DTD/A++V2.4.dtd" name="istex:docType"></istex:docType><istex:document><Publisher><PublisherInfo><PublisherName>Springer Berlin Heidelberg</PublisherName><PublisherLocation>Berlin, Heidelberg</PublisherLocation></PublisherInfo><Series><SeriesInfo SeriesType="Series" TocLevels="0"><SeriesID>558</SeriesID><SeriesPrintISSN>0302-9743</SeriesPrintISSN><SeriesElectronicISSN>1611-3349</SeriesElectronicISSN><SeriesTitle Language="En">Lecture Notes in Computer Science</SeriesTitle></SeriesInfo><SeriesHeader><EditorGroup><Editor AffiliationIDS="Aff1"><EditorName DisplayOrder="Western"><GivenName>David</GivenName><FamilyName>Hutchison</FamilyName></EditorName></Editor><Editor AffiliationIDS="Aff2"><EditorName DisplayOrder="Western"><GivenName>Takeo</GivenName><FamilyName>Kanade</FamilyName></EditorName></Editor><Editor AffiliationIDS="Aff3"><EditorName DisplayOrder="Western"><GivenName>Josef</GivenName><FamilyName>Kittler</FamilyName></EditorName></Editor><Editor AffiliationIDS="Aff4"><EditorName DisplayOrder="Western"><GivenName>Jon</GivenName><GivenName>M.</GivenName><FamilyName>Kleinberg</FamilyName></EditorName></Editor><Editor AffiliationIDS="Aff5"><EditorName DisplayOrder="Western"><GivenName>Friedemann</GivenName><FamilyName>Mattern</FamilyName></EditorName></Editor><Editor AffiliationIDS="Aff6"><EditorName DisplayOrder="Western"><GivenName>John</GivenName><GivenName>C.</GivenName><FamilyName>Mitchell</FamilyName></EditorName></Editor><Editor AffiliationIDS="Aff7"><EditorName DisplayOrder="Western"><GivenName>Moni</GivenName><FamilyName>Naor</FamilyName></EditorName></Editor><Editor AffiliationIDS="Aff8"><EditorName DisplayOrder="Western"><GivenName>Oscar</GivenName><FamilyName>Nierstrasz</FamilyName></EditorName></Editor><Editor AffiliationIDS="Aff9"><EditorName DisplayOrder="Western"><GivenName>C.</GivenName><FamilyName>Pandu Rangan</FamilyName></EditorName></Editor><Editor AffiliationIDS="Aff10"><EditorName DisplayOrder="Western"><GivenName>Bernhard</GivenName><FamilyName>Steffen</FamilyName></EditorName></Editor><Editor AffiliationIDS="Aff11"><EditorName DisplayOrder="Western"><GivenName>Madhu</GivenName><FamilyName>Sudan</FamilyName></EditorName></Editor><Editor AffiliationIDS="Aff12"><EditorName DisplayOrder="Western"><GivenName>Demetri</GivenName><FamilyName>Terzopoulos</FamilyName></EditorName></Editor><Editor AffiliationIDS="Aff13"><EditorName DisplayOrder="Western"><GivenName>Doug</GivenName><FamilyName>Tygar</FamilyName></EditorName></Editor><Editor AffiliationIDS="Aff14"><EditorName DisplayOrder="Western"><GivenName>Moshe</GivenName><GivenName>Y.</GivenName><FamilyName>Vardi</FamilyName></EditorName></Editor><Editor AffiliationIDS="Aff15"><EditorName DisplayOrder="Western"><GivenName>Gerhard</GivenName><FamilyName>Weikum</FamilyName></EditorName></Editor><Affiliation ID="Aff1"><OrgName>Lancaster University</OrgName><OrgAddress><City>Lancaster</City><Country>UK</Country></OrgAddress></Affiliation><Affiliation ID="Aff2"><OrgName>Carnegie Mellon University</OrgName><OrgAddress><City>Pittsburgh</City><State>PA</State><Country>USA</Country></OrgAddress></Affiliation><Affiliation ID="Aff3"><OrgName>University of Surrey</OrgName><OrgAddress><City>Guildford</City><Country>UK</Country></OrgAddress></Affiliation><Affiliation ID="Aff4"><OrgName>Cornell University</OrgName><OrgAddress><City>Ithaca</City><State>NY</State><Country>USA</Country></OrgAddress></Affiliation><Affiliation ID="Aff5"><OrgName>ETH Zurich</OrgName><OrgAddress><City>Zurich</City><Country>Switzerland</Country></OrgAddress></Affiliation><Affiliation ID="Aff6"><OrgName>Stanford University</OrgName><OrgAddress><City>Stanford</City><State>CA</State><Country>USA</Country></OrgAddress></Affiliation><Affiliation ID="Aff7"><OrgName>Weizmann Institute of Science</OrgName><OrgAddress><City>Rehovot</City><Country>Israel</Country></OrgAddress></Affiliation><Affiliation ID="Aff8"><OrgName>University of Bern</OrgName><OrgAddress><City>Bern</City><Country>Switzerland</Country></OrgAddress></Affiliation><Affiliation ID="Aff9"><OrgName>Indian Institute of Technology</OrgName><OrgAddress><City>Madras</City><Country>India</Country></OrgAddress></Affiliation><Affiliation ID="Aff10"><OrgName>University of Dortmund</OrgName><OrgAddress><City>Dortmund</City><Country>Germany</Country></OrgAddress></Affiliation><Affiliation ID="Aff11"><OrgName>Massachusetts Institute of Technology</OrgName><OrgAddress><State>MA</State><Country>USA</Country></OrgAddress></Affiliation><Affiliation ID="Aff12"><OrgName>University of California</OrgName><OrgAddress><City>Los Angeles</City><State>CA</State><Country>USA</Country></OrgAddress></Affiliation><Affiliation ID="Aff13"><OrgName>University of California</OrgName><OrgAddress><City>Berkeley</City><State>CA</State><Country>USA</Country></OrgAddress></Affiliation><Affiliation ID="Aff14"><OrgName>Rice University</OrgName><OrgAddress><City>Houston</City><State>TX</State><Country>USA</Country></OrgAddress></Affiliation><Affiliation ID="Aff15"><OrgName>Max-Planck Institute of Computer Science</OrgName><OrgAddress><City>Saarbrücken</City><Country>Germany</Country></OrgAddress></Affiliation></EditorGroup></SeriesHeader><Book Language="En"><BookInfo BookProductType="Proceedings" ContainsESM="No" Language="En" MediaType="eBook" NumberingDepth="2" NumberingStyle="ContentOnly" OutputMedium="All" TocLevels="0"><BookID>978-3-642-12566-9</BookID><BookTitle>Foundations of Computer Software. Future Trends and Techniques for Development</BookTitle><BookSubTitle>15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers</BookSubTitle><BookVolumeNumber>6028</BookVolumeNumber><BookSequenceNumber>6028</BookSequenceNumber><BookDOI>10.1007/978-3-642-12566-9</BookDOI><BookTitleID>210768</BookTitleID><BookPrintISBN>978-3-642-12565-2</BookPrintISBN><BookElectronicISBN>978-3-642-12566-9</BookElectronicISBN><BookChapterCount>13</BookChapterCount><BookCopyright><CopyrightHolderName>Springer-Verlag Berlin Heidelberg</CopyrightHolderName><CopyrightYear>2010</CopyrightYear></BookCopyright><BookSubjectGroup><BookSubject Code="I" Type="Primary">Computer Science</BookSubject><BookSubject Code="I14029" Priority="1" Type="Secondary">Software Engineering</BookSubject><BookSubject Code="I18040" Priority="2" Type="Secondary">Information Systems Applications (incl.Internet)</BookSubject><BookSubject Code="I18032" Priority="3" Type="Secondary">Information Storage and Retrieval</BookSubject><BookSubject Code="I13022" Priority="4" Type="Secondary">Computer Communication Networks</BookSubject><BookSubject Code="I18024" Priority="5" Type="Secondary">Database Management</BookSubject><BookSubject Code="I13049" Priority="6" Type="Secondary">System Performance and Evaluation</BookSubject><SubjectCollection Code="SUCO11645">Computer Science</SubjectCollection></BookSubjectGroup><BookContext><SeriesID>558</SeriesID></BookContext></BookInfo><BookHeader><EditorGroup><Editor AffiliationIDS="Aff16"><EditorName DisplayOrder="Western"><GivenName>Christine</GivenName><FamilyName>Choppy</FamilyName></EditorName><Contact><Email>Christine.Choppy@lipn.univ-paris13.fr</Email></Contact></Editor><Editor AffiliationIDS="Aff17"><EditorName DisplayOrder="Western"><GivenName>Oleg</GivenName><FamilyName>Sokolsky</FamilyName></EditorName><Contact><Email>sokolsky@cis.upenn.edu</Email></Contact></Editor><Affiliation ID="Aff16"><OrgDivision>Institut Galilée</OrgDivision><OrgName>Laboratoire d’Informatique de l’Université Paris Nord, UMR CNRS 7030</OrgName><OrgAddress><Street>99 Avenue J.B. Clément</Street><Postcode>93430</Postcode><City>Villetaneuse</City><Country>France</Country></OrgAddress></Affiliation><Affiliation ID="Aff17"><OrgDivision>Department of Computer Science and Information Science</OrgDivision><OrgName>University of Pennsylvania</OrgName><OrgAddress><Street>3300 Walnut Street</Street><Postcode>19104-6389</Postcode><City>Philadelphia</City><State>PA</State><Country>USA</Country></OrgAddress></Affiliation></EditorGroup></BookHeader><Chapter ID="Chap3" Language="En"><ChapterInfo ChapterType="OriginalPaper" ContainsESM="No" NumberingDepth="2" NumberingStyle="ContentOnly" TocLevels="0"><ChapterID>3</ChapterID><ChapterDOI>10.1007/978-3-642-12566-9_3</ChapterDOI><ChapterSequenceNumber>3</ChapterSequenceNumber><ChapterTitle Language="En">Formal Reasoning about Software Object Translations </ChapterTitle><ChapterFirstPage>43</ChapterFirstPage><ChapterLastPage>58</ChapterLastPage><ChapterCopyright><CopyrightHolderName>Springer-Verlag Berlin Heidelberg</CopyrightHolderName><CopyrightYear>2010</CopyrightYear></ChapterCopyright><ChapterGrants Type="Regular"><MetadataGrant Grant="OpenAccess"></MetadataGrant><AbstractGrant Grant="OpenAccess"></AbstractGrant><BodyPDFGrant Grant="Restricted"></BodyPDFGrant><BodyHTMLGrant Grant="Restricted"></BodyHTMLGrant><BibliographyGrant Grant="Restricted"></BibliographyGrant><ESMGrant Grant="Restricted"></ESMGrant></ChapterGrants><ChapterContext><SeriesID>558</SeriesID><BookID>978-3-642-12566-9</BookID><BookTitle>Foundations of Computer Software</BookTitle></ChapterContext></ChapterInfo><ChapterHeader><AuthorGroup><Author AffiliationIDS="Aff18"><AuthorName DisplayOrder="Western"><GivenName>Vladis</GivenName><FamilyName>Berzins</FamilyName></AuthorName></Author><Author AffiliationIDS="Aff18"><AuthorName DisplayOrder="Western"><NoGivenName></NoGivenName><FamilyName>Luqi</FamilyName></AuthorName></Author><Author AffiliationIDS="Aff18 Aff19"><AuthorName DisplayOrder="Western"><GivenName>Peter</GivenName><FamilyName>Musial</FamilyName></AuthorName></Author><Affiliation ID="Aff18"><OrgDivision>Computer Science Department</OrgDivision><OrgName>Naval Postgraduate School</OrgName><OrgAddress><Street>1411 Cunningham Rd.</Street><City>Monterey</City><State>CA</State><Postcode>93943</Postcode><Country>USA</Country></OrgAddress></Affiliation><Affiliation ID="Aff19"><OrgDivision>Department of Computer Science</OrgDivision><OrgName>University of Puerto Rico, Rio Piedras</OrgName><OrgAddress><Postbox>P.O. Box 23328</Postbox><City>San Juan</City><State>PR</State><Postcode>00931</Postcode><Country>USA</Country></OrgAddress></Affiliation></AuthorGroup><Abstract ID="Abs1" Language="En"><Heading>Abstract</Heading><Para>In this work we examine the problem of verifying translations from outputs of one system to the inputs of another system, which we refer to as the <Emphasis Type="Italic">output-to-input translation problem</Emphasis>. We present a formalization of this problem along with a verification mechanism based on constraint logic programming. Composition of systems is an important issue in the software reuse domain, and has applicability in other areas of software engineering such as transformation of information from one phase of the development process to another. Some challenges are to verify the translation mechanisms that may be needed to connect independently designed components and assess to what degree is the consumer component functionality enabled after the composition takes place. To this end we use constraint logic programming modeling techniques. Our model allows formalization of the translation problem in the form of constraints and relations between the outputs and the inputs of involved components. Since CLP tools are computationally expensive, we identify characteristics of translation problems for which our technique is practical. We conclude with an application of our translation framework within the Documentation Driven Software Development methodology.</Para></Abstract><ArticleNote Type="Misc"><SimplePara>This work is sponsored through AOR grant for development of the DDD framework. In addition P.M. Musial is funded through the NRC Postdoctoral Fellowship.</SimplePara></ArticleNote></ChapterHeader><NoBody></NoBody></Chapter></Book></Series></Publisher></istex:document></istex:metadataXml><mods version="3.6"><titleInfo lang="en"><title>Formal Reasoning about Software Object Translations</title></titleInfo><titleInfo type="alternative" contentType="CDATA" lang="en"><title>Formal Reasoning about Software Object Translations</title></titleInfo><name type="personal"><namePart type="given">Vladis</namePart><namePart type="family">Berzins</namePart><affiliation>Computer Science Department, Naval Postgraduate School, 1411 Cunningham Rd., 93943, Monterey, CA, USA</affiliation><role><roleTerm type="text">author</roleTerm></role></name><name type="personal"><namePart type="family">Luqi</namePart><affiliation>Computer Science Department, Naval Postgraduate School, 1411 Cunningham Rd., 93943, Monterey, CA, USA</affiliation><role><roleTerm type="text">author</roleTerm></role></name><name type="personal"><namePart type="given">Peter</namePart><namePart type="family">Musial</namePart><affiliation>Computer Science Department, Naval Postgraduate School, 1411 Cunningham Rd., 93943, Monterey, CA, USA</affiliation><affiliation>Department of Computer Science, University of Puerto Rico, Rio Piedras, P.O. Box 23328, 00931, San Juan, PR, USA</affiliation><role><roleTerm type="text">author</roleTerm></role></name><typeOfResource>text</typeOfResource><genre type="Book Chapter">OriginalPaper</genre><originInfo><publisher>Springer Berlin Heidelberg</publisher><place><placeTerm type="text">Berlin, Heidelberg</placeTerm></place><copyrightDate encoding="w3cdtf">2010</copyrightDate></originInfo><language><languageTerm type="code" authority="rfc3066">en</languageTerm><languageTerm type="code" authority="iso639-2b">eng</languageTerm></language><physicalDescription><internetMediaType>text/html</internetMediaType></physicalDescription><abstract lang="en">Abstract: In this work we examine the problem of verifying translations from outputs of one system to the inputs of another system, which we refer to as the output-to-input translation problem. We present a formalization of this problem along with a verification mechanism based on constraint logic programming. Composition of systems is an important issue in the software reuse domain, and has applicability in other areas of software engineering such as transformation of information from one phase of the development process to another. Some challenges are to verify the translation mechanisms that may be needed to connect independently designed components and assess to what degree is the consumer component functionality enabled after the composition takes place. To this end we use constraint logic programming modeling techniques. Our model allows formalization of the translation problem in the form of constraints and relations between the outputs and the inputs of involved components. Since CLP tools are computationally expensive, we identify characteristics of translation problems for which our technique is practical. We conclude with an application of our translation framework within the Documentation Driven Software Development methodology.</abstract><note>This work is sponsored through AOR grant for development of the DDD framework. In addition P.M. Musial is funded through the NRC Postdoctoral Fellowship.</note><relatedItem type="host"><titleInfo><title>Foundations of Computer Software. Future Trends and Techniques for Development</title><subTitle>15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers</subTitle></titleInfo><name type="personal"><namePart type="given">Christine</namePart><namePart type="family">Choppy</namePart><affiliation>Institut Galilée, Laboratoire d’Informatique de l’Université Paris Nord, UMR CNRS 7030, 99 Avenue J.B. Clément, 93430, Villetaneuse, France</affiliation><affiliation>E-mail: Christine.Choppy@lipn.univ-paris13.fr</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Oleg</namePart><namePart type="family">Sokolsky</namePart><affiliation>Department of Computer Science and Information Science, University of Pennsylvania, 3300 Walnut Street, 19104-6389, Philadelphia, PA, USA</affiliation><affiliation>E-mail: sokolsky@cis.upenn.edu</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><genre type="book series">Proceedings</genre><originInfo><copyrightDate encoding="w3cdtf">2010</copyrightDate><issuance>monographic</issuance></originInfo><subject><genre>Book Subject Collection</genre><topic authority="SpringerSubjectCodes" authorityURI="SUCO11645">Computer Science</topic></subject><subject><genre>Book Subject Group</genre><topic authority="SpringerSubjectCodes" authorityURI="I">Computer Science</topic><topic authority="SpringerSubjectCodes" authorityURI="I14029">Software Engineering</topic><topic authority="SpringerSubjectCodes" authorityURI="I18040">Information Systems Applications (incl.Internet)</topic><topic authority="SpringerSubjectCodes" authorityURI="I18032">Information Storage and Retrieval</topic><topic authority="SpringerSubjectCodes" authorityURI="I13022">Computer Communication Networks</topic><topic authority="SpringerSubjectCodes" authorityURI="I18024">Database Management</topic><topic authority="SpringerSubjectCodes" authorityURI="I13049">System Performance and Evaluation</topic></subject><identifier type="DOI">10.1007/978-3-642-12566-9</identifier><identifier type="ISBN">978-3-642-12565-2</identifier><identifier type="eISBN">978-3-642-12566-9</identifier><identifier type="BookTitleID">210768</identifier><identifier type="BookID">978-3-642-12566-9</identifier><identifier type="BookChapterCount">13</identifier><identifier type="BookVolumeNumber">6028</identifier><identifier type="BookSequenceNumber">6028</identifier><part><date>2010</date><detail type="volume"><number>6028</number><caption>vol.</caption></detail><extent unit="pages"><start>43</start><end>58</end></extent></part><recordInfo><recordOrigin>Springer-Verlag Berlin Heidelberg, 2010</recordOrigin></recordInfo></relatedItem><relatedItem type="series"><titleInfo><title>Lecture Notes in Computer Science</title></titleInfo><name type="personal"><namePart type="given">David</namePart><namePart type="family">Hutchison</namePart><affiliation>Lancaster University, Lancaster, UK</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Takeo</namePart><namePart type="family">Kanade</namePart><affiliation>Carnegie Mellon University, Pittsburgh, PA, USA</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Josef</namePart><namePart type="family">Kittler</namePart><affiliation>University of Surrey, Guildford, UK</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Jon</namePart><namePart type="given">M.</namePart><namePart type="family">Kleinberg</namePart><affiliation>Cornell University, Ithaca, NY, USA</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Friedemann</namePart><namePart type="family">Mattern</namePart><affiliation>ETH Zurich, Zurich, Switzerland</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">John</namePart><namePart type="given">C.</namePart><namePart type="family">Mitchell</namePart><affiliation>Stanford University, Stanford, CA, USA</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Moni</namePart><namePart type="family">Naor</namePart><affiliation>Weizmann Institute of Science, Rehovot, Israel</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Oscar</namePart><namePart type="family">Nierstrasz</namePart><affiliation>University of Bern, Bern, Switzerland</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">C.</namePart><namePart type="family">Pandu Rangan</namePart><affiliation>Indian Institute of Technology, Madras, India</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Bernhard</namePart><namePart type="family">Steffen</namePart><affiliation>University of Dortmund, Dortmund, Germany</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Madhu</namePart><namePart type="family">Sudan</namePart><affiliation>Massachusetts Institute of Technology, MA, USA</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Demetri</namePart><namePart type="family">Terzopoulos</namePart><affiliation>University of California, Los Angeles, CA, USA</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Doug</namePart><namePart type="family">Tygar</namePart><affiliation>University of California, Berkeley, CA, USA</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Moshe</namePart><namePart type="given">Y.</namePart><namePart type="family">Vardi</namePart><affiliation>Rice University, Houston, TX, USA</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Gerhard</namePart><namePart type="family">Weikum</namePart><affiliation>Max-Planck Institute of Computer Science, Saarbrücken, Germany</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><genre type="book series">series</genre><originInfo><copyrightDate encoding="w3cdtf">2010</copyrightDate><issuance>serial</issuance></originInfo><identifier type="ISSN">0302-9743</identifier><identifier type="eISSN">1611-3349</identifier><identifier type="SeriesID">558</identifier><recordInfo><recordOrigin>Springer-Verlag Berlin Heidelberg, 2010</recordOrigin></recordInfo></relatedItem><identifier type="istex">6DEF45FA72B3334740B60E03FBC47E070A3F82C6</identifier><identifier type="DOI">10.1007/978-3-642-12566-9_3</identifier><identifier type="ChapterID">Chap3</identifier><identifier type="ChapterID">3</identifier><accessCondition type="use and reproduction" contentType="Copyright">Springer-Verlag Berlin Heidelberg</accessCondition><recordInfo><recordOrigin>Springer-Verlag Berlin Heidelberg, 2010</recordOrigin></recordInfo></mods></metadata><enrichments><istex:refBibTEI uri="https://api.istex.fr/document/6DEF45FA72B3334740B60E03FBC47E070A3F82C6/enrichments/refBib"><teiHeader></teiHeader><text><front></front><body></body><back><listBibl><biblStruct xml:id="b0"><monogr><title></title><author><persName><forename type="first">Gen</forename><surname>Voca</surname></persName></author><imprint></imprint></monogr></biblStruct><biblStruct xml:id="b1"><analytic><title level="a" type="main">ComDeValCo – a framework for software component definition, validation, and composition</title><author><persName><forename type="first">B</forename><surname>Pârv</surname></persName></author><author><persName><forename type="first">S</forename><surname>Motogna</surname></persName></author><author><persName><forename type="first">I</forename><surname>Laz˘ Ar</surname></persName></author><author><persName><forename type="first">I</forename><surname>Czibula</surname></persName></author><author><persName><forename type="first">L</forename><surname>Laz˘ Ar</surname></persName></author></analytic><monogr><title level="j">Studia Universitatis Babes-Bolyai Informatica LII</title><imprint><biblScope unit="issue">2</biblScope><biblScope unit="page" from="59" to="68"></biblScope><date type="published" when="2007"></date></imprint></monogr></biblStruct><biblStruct xml:id="b2"><analytic><title level="a" type="main">Component composition validation</title><author><persName><forename type="first">A</forename><surname>Speck</surname></persName></author><author><persName><forename type="first">E</forename><surname>Pulvermüller</surname></persName></author><author><persName><forename type="first">M</forename><surname>Jerger</surname></persName></author><author><persName><forename type="first">B</forename><surname>Franczyk</surname></persName></author></analytic><monogr><title level="j">International Journal of Applied Mathematics and Computer Science</title><imprint><biblScope unit="volume">12</biblScope><biblScope unit="issue">4</biblScope><biblScope unit="page" from="581" to="589"></biblScope><date type="published" when="2002"></date></imprint></monogr></biblStruct><biblStruct xml:id="b3"><analytic><title level="a" type="main">Composition validation and subjectivity in GenVoca generators</title><author><persName><forename type="first">D</forename><surname>Batory</surname></persName></author><author><persName><forename type="first">B</forename><surname>Geraci</surname></persName></author></analytic><monogr><title level="j">IEEE Transactions on Software Engineering</title><imprint><biblScope unit="volume">23</biblScope><biblScope unit="issue">2</biblScope><biblScope unit="page" from="67" to="82"></biblScope><date type="published" when="1997"></date></imprint></monogr></biblStruct><biblStruct xml:id="b4"><analytic><title level="a" type="main">Decoupling web application concerns through weaving operations</title><author><persName><forename type="first">A</forename><surname>Cicchetti</surname></persName></author><author><persName><forename type="first">Di</forename><surname>Ruscio</surname></persName></author><author><persName><forename type="first">D</forename></persName></author></analytic><monogr><title level="j">Sci. Comput. Program</title><imprint><biblScope unit="volume">70</biblScope><biblScope unit="issue">1</biblScope><biblScope unit="page" from="62" to="86"></biblScope><date type="published" when="2008"></date></imprint></monogr></biblStruct><biblStruct xml:id="b5"><monogr><title level="m" type="main">Distributed Algorithms</title><author><persName><forename type="first">N</forename><surname>Lynch</surname></persName></author><imprint><date type="published" when="1996"></date><publisher>Morgan Kaufmann Publishers</publisher><pubPlace>San Francisco</pubPlace></imprint></monogr></biblStruct><biblStruct xml:id="b6"><analytic><title></title><author><persName><forename type="first">E</forename><surname>Meijer</surname></persName></author><author><persName><forename type="first">P</forename><surname>Drayton</surname></persName></author></analytic><monogr><title level="m">Static typing where possible, dynamic typing when needed (2005) 8. Choco Constraint Programming System</title><imprint></imprint></monogr></biblStruct><biblStruct xml:id="b7"><analytic><title level="a" type="main">Constraint logic programming: A survey</title><author><persName><forename type="first">J</forename><surname>Jaffar</surname></persName></author><author><persName><forename type="first">M</forename><surname>Maher</surname></persName></author></analytic><monogr><title level="j">Journal of Logic Programming</title><imprint><biblScope unit="volume">19</biblScope><biblScope unit="issue">20</biblScope><biblScope unit="page" from="503" to="581"></biblScope><date type="published" when="1994"></date></imprint></monogr></biblStruct><biblStruct xml:id="b8"><analytic><title level="a" type="main">Artificial Intelligence: A Modern Approach</title><author><persName><forename type="first">S</forename><surname>Russell</surname></persName></author><author><persName><forename type="first">P</forename><surname>Norvig</surname></persName></author></analytic><monogr><title level="j">Prentice Hall Series in Artificial Intelligence</title><imprint><date type="published" when="2003"></date></imprint></monogr></biblStruct><biblStruct xml:id="b9"><analytic><title level="a" type="main">Theory and practice of constraint propagation</title><author><persName><forename type="first">R</forename><surname>Bartak</surname></persName></author></analytic><monogr><title level="m">Proceedings of the 3rd Workshop on Constraint Programming in Decision and Control</title><meeting>the 3rd Workshop on Constraint Programming in Decision and Control</meeting><imprint><date type="published" when="2001"></date></imprint></monogr></biblStruct><biblStruct xml:id="b10"><monogr><title level="m" type="main">Dependable software architecture based on quantifiable compositional model</title><author><persName><surname>Luqi</surname></persName></author><imprint><date type="published" when="2008-01"></date><publisher>NPS</publisher></imprint></monogr></biblStruct><biblStruct xml:id="b11"><analytic><title></title><author><persName><forename type="first">P</forename><surname>Deransart</surname></persName></author><author><persName><forename type="first">M</forename><surname>Hermenegildo</surname></persName></author><author><persName><forename type="first">J</forename><surname>Maluszynski</surname></persName></author></analytic><monogr><title level="m">DiSCiPl 1999</title><meeting><address><addrLine>Heidelberg</addrLine></address></meeting><imprint><publisher>Springer</publisher><date type="published" when="2000"></date></imprint></monogr></biblStruct><biblStruct xml:id="b12"><analytic><title level="a" type="main">Constraint logic programming</title><author><persName><forename type="first">J</forename><surname>Jaffar</surname></persName></author><author><persName><forename type="first">J</forename><forename type="middle">L</forename><surname>Lassez</surname></persName></author></analytic><monogr><title level="m">Proceedings of 14th ACM Symposium on Principles of Programming Languages</title><meeting>14th ACM Symposium on Principles of Programming Languages</meeting><imprint><date type="published" when="1987"></date><biblScope unit="page" from="111" to="119"></biblScope></imprint></monogr></biblStruct><biblStruct xml:id="b13"><monogr><title></title><author><persName><forename type="first">F</forename><surname>Rossi</surname></persName></author><author><persName><forename type="first">P</forename><surname>Van Beek</surname></persName></author><author><persName><forename type="first">T</forename><surname>Walsh</surname></persName></author><imprint><date type="published" when="2006"></date><publisher>Handbook of Constraint Programming Elsevier</publisher><pubPlace>Amsterdam</pubPlace></imprint></monogr></biblStruct><biblStruct xml:id="b14"><analytic><title level="a" type="main">Programming in CLP(BNR)</title><author><persName><forename type="first">F</forename><surname>Benhamou</surname></persName></author><author><persName><forename type="first">W</forename><surname>Older</surname></persName></author></analytic><monogr><title level="m">Proceedings of 1'st Workshop on Principles and Practice of Constraint Programming</title><meeting>1'st Workshop on Principles and Practice of Constraint Programming</meeting><imprint><date type="published" when="1993"></date></imprint></monogr></biblStruct><biblStruct xml:id="b15"><analytic><title level="a" type="main">Constraint logic programming language CAL</title><author><persName><forename type="first">A</forename><surname>Aiba</surname></persName></author><author><persName><forename type="first">K</forename><surname>Sakai</surname></persName></author><author><persName><forename type="first">Y</forename><surname>Sato</surname></persName></author><author><persName><forename type="first">D</forename><surname>Hawley</surname></persName></author><author><persName><forename type="first">R</forename><surname>Hasegawa</surname></persName></author></analytic><monogr><title level="m">Proceedings of the International Conference on Fifth Generation Computer Systems</title><meeting>the International Conference on Fifth Generation Computer Systems</meeting><imprint><date type="published" when="1988"></date><biblScope unit="page" from="263" to="276"></biblScope></imprint></monogr></biblStruct><biblStruct xml:id="b16"><analytic><title level="a" type="main">The constraint logic programming lanugage CHIP</title><author><persName><forename type="first">M</forename><surname>Dincbas</surname></persName></author><author><persName><forename type="first">P</forename><surname>Van Hentenryc</surname></persName></author><author><persName><forename type="first">H</forename><surname>Simons</surname></persName></author><author><persName><forename type="first">A</forename><surname>Aggoun</surname></persName></author></analytic><monogr><title level="m">Proceedings of the 2nd International Conference on Fifth Generation Computer Systems</title><meeting>the 2nd International Conference on Fifth Generation Computer Systems</meeting><imprint><date type="published" when="1988"></date><biblScope unit="page" from="249" to="264"></biblScope></imprint></monogr></biblStruct><biblStruct xml:id="b17"><analytic><title level="a" type="main">The CLP(R) language and system</title><author><persName><forename type="first">J</forename><surname>Jaffar</surname></persName></author><author><persName><forename type="first">S</forename><surname>Michaylov</surname></persName></author><author><persName><forename type="first">R</forename><surname>Yap</surname></persName></author></analytic><monogr><title level="j">ACM Transactions on Programming Languages</title><imprint><biblScope unit="volume">14</biblScope><biblScope unit="issue">3</biblScope><biblScope unit="page" from="339" to="395"></biblScope><date type="published" when="1992"></date></imprint></monogr></biblStruct><biblStruct xml:id="b18"><analytic><title level="a" type="main">An introduction to prolog III</title><author><persName><forename type="first">A</forename><surname>Colmerauer</surname></persName></author></analytic><monogr><title level="j">Communications of the ACM</title><imprint><biblScope unit="volume">33</biblScope><biblScope unit="issue">7</biblScope><biblScope unit="page" from="68" to="90"></biblScope><date type="published" when="1990"></date></imprint></monogr></biblStruct><biblStruct xml:id="b19"><analytic><title level="a" type="main">RISC-CLP(Real): Logic programming with non-linear constraints over the reals</title><author><persName><forename type="first">H</forename><surname>Hong</surname></persName></author></analytic><monogr><title level="m">Constraint Logic Programming: Selected Research</title><editor>Benhamou, F., Colmerauer, A.</editor><meeting><address><addrLine>Cambridge</addrLine></address></meeting><imprint><publisher>MIT Press</publisher><date type="published" when="1993"></date><biblScope unit="page" from="133" to="159"></biblScope></imprint></monogr></biblStruct><biblStruct xml:id="b20"><monogr><title level="m" type="main">REF-ARF: A system for solving problems stated as procedures</title><author><persName><forename type="first">R</forename><surname>Fikes</surname></persName></author><imprint><date type="published" when="1970"></date><biblScope unit="page" from="27" to="120"></biblScope></imprint></monogr></biblStruct><biblStruct xml:id="b21"><analytic><title level="a" type="main">Constraint-based deductive model checking</title><author><persName><forename type="first">G</forename><surname>Delzanno</surname></persName></author><author><persName><forename type="first">A</forename><surname>Podelski</surname></persName></author></analytic><monogr><title level="j">International Journal on Software Tools for Technology Transfer</title><imprint><biblScope unit="volume">3</biblScope><biblScope unit="issue">3</biblScope><biblScope unit="page" from="250" to="270"></biblScope><date type="published" when="2001"></date></imprint></monogr></biblStruct><biblStruct xml:id="b22"><monogr><title level="m" type="main">Concepts, Techniques, and Models of Computer Programming</title><author><persName><forename type="first">P</forename><surname>Van Roy</surname></persName></author><author><persName><forename type="first">S</forename><surname>Haridi</surname></persName></author><imprint><date type="published" when="2004"></date><publisher>MIT Press</publisher><pubPlace>Cambridge</pubPlace></imprint></monogr></biblStruct><biblStruct xml:id="b23"><analytic><title></title><author><persName><forename type="first">P</forename><surname>Van Roy</surname></persName></author></analytic><monogr><title level="m">MOZ 2004</title><meeting><address><addrLine>Heidelberg</addrLine></address></meeting><imprint><publisher>Springer</publisher><date type="published" when="2005"></date></imprint></monogr></biblStruct><biblStruct xml:id="b24"><monogr><title level="m" type="main">Documentation driven development for complex real-time systems</title><author><persName><forename type="first">L</forename><forename type="middle">Z</forename><surname>Luqi</surname></persName></author><author><persName><forename type="first">V</forename><surname>Berzins</surname></persName></author><author><persName><forename type="first">Y</forename><surname>Qiao</surname></persName></author><imprint><date type="published" when="2004"></date><biblScope unit="page" from="936" to="952"></biblScope></imprint></monogr></biblStruct><biblStruct xml:id="b25"><monogr><title level="m" type="main">Putting teeth into open architectures: Infrastructure for reducing the need for retesting</title><author><persName><forename type="first">V</forename><surname>Berzins</surname></persName></author><author><persName><forename type="first">M</forename><surname>Rodríguez</surname></persName></author><author><persName><forename type="first">M</forename><surname>Wessman</surname></persName></author><imprint><date type="published" when="2007-03"></date><biblScope unit="page" from="285" to="312"></biblScope></imprint></monogr></biblStruct></listBibl></back></text></istex:refBibTEI></enrichments></istex></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Musique/explor/MozartV1/Data/Istex/Corpus
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 001708 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Istex/Corpus/biblio.hfd -nk 001708 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Musique
|area= MozartV1
|flux= Istex
|étape= Corpus
|type= RBID
|clé= ISTEX:6DEF45FA72B3334740B60E03FBC47E070A3F82C6
|texte= Formal Reasoning about Software Object Translations
}}
| This area was generated with Dilib version V0.6.20. |  |