Models and paradigms of interaction
Identifieur interne : 000A06 ( Istex/Corpus ); précédent : 000A05; suivant : 000A07Models and paradigms of interaction
Auteurs : Peter WegnerSource :
- Lecture Notes in Computer Science [ 0302-9743 ] ; 1994.
Abstract
Abstract: Objects have inherently greater computation power than functions because they provide clients with continuing services over time. They determine a marriage contract for interactive services that cannot be expressed by a pattern of time-independent sales contracts. Objects express the programming-in-the-large paradigm of software engineering, while functions express the programming-in-the-small paradigm of the analysis of algorithms. Objects have a functional semantics specified by their interface, a serial semantics specified by traces of interface procedures, and a fully abstract semantics that specifies behavior over time for all possible interactions. They assign meaning to the time between the execution of interface procedures as well as to algorithmic effects. Church's thesis that computable functions capture the intuitive notion of effective computation for algorithms cannot be extended to objects. Components are defined by generalizing from accidental to necessary properties of persistent interaction units. Scalability for software problems, defined as “asymptotic openness”, is shown to be the analog of complexity for algorithmic problems. Paradigms of interaction are examined for functions and procedures, objects and processes, APIs and frameworks, databases, GUIs, robots, and virtual-reality systems. Early models of computing stressed computation over interaction for both theoretical reasons (greater tractability) and practical reasons (there were no software components with which to interact). However, scalable software systems, personal computers, and databases require a balance between algorithmic and interactive problem solving. Models of interaction express the behavior of actual software systems and therefore capture the intuitive notion of truly effective computation more completely than mere algorithms.
Url:
DOI: 10.1007/BFb0017531
Links to Exploration step
ISTEX:B51C26EECC9E88B1F7410389FE25DE645496EC0BLe document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Models and paradigms of interaction</title><author><name sortKey="Wegner, Peter" sort="Wegner, Peter" uniqKey="Wegner P" first="Peter" last="Wegner">Peter Wegner</name><affiliation><mods:affiliation>Brown University, 02912, Providence, RI</mods:affiliation></affiliation><affiliation><mods:affiliation>E-mail: pw@cs.brown.edu</mods:affiliation></affiliation></author></titleStmt><publicationStmt><idno type="wicri:source">ISTEX</idno><idno type="RBID">ISTEX:B51C26EECC9E88B1F7410389FE25DE645496EC0B</idno><date when="1994" year="1994">1994</date><idno type="doi">10.1007/BFb0017531</idno><idno type="url">https://api.istex.fr/document/B51C26EECC9E88B1F7410389FE25DE645496EC0B/fulltext/pdf</idno><idno type="wicri:Area/Istex/Corpus">000A06</idno></publicationStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Models and paradigms of interaction</title><author><name sortKey="Wegner, Peter" sort="Wegner, Peter" uniqKey="Wegner P" first="Peter" last="Wegner">Peter Wegner</name><affiliation><mods:affiliation>Brown University, 02912, Providence, RI</mods:affiliation></affiliation><affiliation><mods:affiliation>E-mail: pw@cs.brown.edu</mods:affiliation></affiliation></author></analytic><monogr></monogr><series><title level="s">Lecture Notes in Computer Science</title><imprint><date>1994</date></imprint><idno type="ISSN">0302-9743</idno><idno type="eISSN">1611-3349</idno><idno type="ISSN">0302-9743</idno></series><idno type="istex">B51C26EECC9E88B1F7410389FE25DE645496EC0B</idno><idno type="DOI">10.1007/BFb0017531</idno><idno type="ChapterID">1</idno><idno type="ChapterID">Chap1</idno></biblStruct></sourceDesc><seriesStmt><idno type="ISSN">0302-9743</idno></seriesStmt></fileDesc><profileDesc><textClass></textClass><langUsage><language ident="en">en</language></langUsage></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">Abstract: Objects have inherently greater computation power than functions because they provide clients with continuing services over time. They determine a marriage contract for interactive services that cannot be expressed by a pattern of time-independent sales contracts. Objects express the programming-in-the-large paradigm of software engineering, while functions express the programming-in-the-small paradigm of the analysis of algorithms. Objects have a functional semantics specified by their interface, a serial semantics specified by traces of interface procedures, and a fully abstract semantics that specifies behavior over time for all possible interactions. They assign meaning to the time between the execution of interface procedures as well as to algorithmic effects. Church's thesis that computable functions capture the intuitive notion of effective computation for algorithms cannot be extended to objects. Components are defined by generalizing from accidental to necessary properties of persistent interaction units. Scalability for software problems, defined as “asymptotic openness”, is shown to be the analog of complexity for algorithmic problems. Paradigms of interaction are examined for functions and procedures, objects and processes, APIs and frameworks, databases, GUIs, robots, and virtual-reality systems. Early models of computing stressed computation over interaction for both theoretical reasons (greater tractability) and practical reasons (there were no software components with which to interact). However, scalable software systems, personal computers, and databases require a balance between algorithmic and interactive problem solving. Models of interaction express the behavior of actual software systems and therefore capture the intuitive notion of truly effective computation more completely than mere algorithms.</div></front></TEI><istex><corpusName>springer</corpusName><author><json:item><name>Peter Wegner</name><affiliations><json:string>Brown University, 02912, Providence, RI</json:string><json:string>E-mail: pw@cs.brown.edu</json:string></affiliations></json:item></author><language><json:string>eng</json:string></language><abstract>Abstract: Objects have inherently greater computation power than functions because they provide clients with continuing services over time. They determine a marriage contract for interactive services that cannot be expressed by a pattern of time-independent sales contracts. Objects express the programming-in-the-large paradigm of software engineering, while functions express the programming-in-the-small paradigm of the analysis of algorithms. Objects have a functional semantics specified by their interface, a serial semantics specified by traces of interface procedures, and a fully abstract semantics that specifies behavior over time for all possible interactions. They assign meaning to the time between the execution of interface procedures as well as to algorithmic effects. Church's thesis that computable functions capture the intuitive notion of effective computation for algorithms cannot be extended to objects. Components are defined by generalizing from accidental to necessary properties of persistent interaction units. Scalability for software problems, defined as “asymptotic openness”, is shown to be the analog of complexity for algorithmic problems. Paradigms of interaction are examined for functions and procedures, objects and processes, APIs and frameworks, databases, GUIs, robots, and virtual-reality systems. Early models of computing stressed computation over interaction for both theoretical reasons (greater tractability) and practical reasons (there were no software components with which to interact). However, scalable software systems, personal computers, and databases require a balance between algorithmic and interactive problem solving. Models of interaction express the behavior of actual software systems and therefore capture the intuitive notion of truly effective computation more completely than mere algorithms.</abstract><qualityIndicators><score>7.964</score><pdfVersion>1.3</pdfVersion><pdfPageSize>439.28 x 666 pts</pdfPageSize><refBibsNative>false</refBibsNative><keywordCount>0</keywordCount><abstractCharCount>1861</abstractCharCount><pdfWordCount>13884</pdfWordCount><pdfCharCount>92006</pdfCharCount><pdfPageCount>32</pdfPageCount><abstractWordCount>247</abstractWordCount></qualityIndicators><title>Models and paradigms of interaction</title><genre.original><json:string>ReviewPaper</json:string></genre.original><chapterId><json:string>1</json:string><json:string>Chap1</json:string></chapterId><genre><json:string>conference [eBooks]</json:string></genre><serie><editor><json:item><name>Gerhard Goos</name></json:item><json:item><name>Juris Hartmanis</name></json:item></editor><issn><json:string>0302-9743</json:string></issn><language><json:string>unknown</json:string></language><eissn><json:string>1611-3349</json:string></eissn><title>Lecture Notes in Computer Science</title><copyrightDate>1994</copyrightDate></serie><host><editor><json:item><name>Rachid Guerraoui</name></json:item><json:item><name>Oscar Nierstrasz</name></json:item><json:item><name>Michel Riveill</name></json:item></editor><subject><json:item><value>Computer Science</value></json:item><json:item><value>Computer Science</value></json:item><json:item><value>Programming Techniques</value></json:item><json:item><value>Software Engineering</value></json:item><json:item><value>Programming Languages, Compilers, Interpreters</value></json:item></subject><isbn><json:string>978-3-540-57932-8</json:string></isbn><language><json:string>unknown</json:string></language><eissn><json:string>1611-3349</json:string></eissn><title>Object-Based Distributed Programming</title><genre.original><json:string>Proceedings</json:string></genre.original><bookId><json:string>3-540-57932-X</json:string></bookId><volume>791</volume><pages><last>32</last><first>1</first></pages><issn><json:string>0302-9743</json:string></issn><genre><json:string>Book Series</json:string></genre><eisbn><json:string>978-3-540-48389-2</json:string></eisbn><copyrightDate>1994</copyrightDate><doi><json:string>10.1007/BFb0017530</json:string></doi></host><publicationDate>1994</publicationDate><copyrightDate>1994</copyrightDate><doi><json:string>10.1007/BFb0017531</json:string></doi><id>B51C26EECC9E88B1F7410389FE25DE645496EC0B</id><score>1</score><fulltext><json:item><original>true</original><mimetype>application/pdf</mimetype><extension>pdf</extension><uri>https://api.istex.fr/document/B51C26EECC9E88B1F7410389FE25DE645496EC0B/fulltext/pdf</uri></json:item><json:item><original>false</original><mimetype>application/zip</mimetype><extension>zip</extension><uri>https://api.istex.fr/document/B51C26EECC9E88B1F7410389FE25DE645496EC0B/fulltext/zip</uri></json:item><istex:fulltextTEI uri="https://api.istex.fr/document/B51C26EECC9E88B1F7410389FE25DE645496EC0B/fulltext/tei"><teiHeader><fileDesc><titleStmt><title level="a" type="main" xml:lang="en">Models and paradigms of interaction</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><availability><p>SPRINGER</p></availability><date>1994</date></publicationStmt><sourceDesc><biblStruct type="inbook"><analytic><title level="a" type="main" xml:lang="en">Models and paradigms of interaction</title><author><persName><forename type="first">Peter</forename><surname>Wegner</surname></persName><email>pw@cs.brown.edu</email><affiliation>Brown University, 02912, Providence, RI</affiliation></author></analytic><monogr><title level="m">Object-Based Distributed Programming</title><title level="m" type="sub">ECOOP '93 Workshop Kaiserslautern, Germany, July 26–27, 1993 Proceedings</title><idno type="pISBN">978-3-540-57932-8</idno><idno type="eISBN">978-3-540-48389-2</idno><idno type="pISSN">0302-9743</idno><idno type="eISSN">1611-3349</idno><idno type="DOI">10.1007/BFb0017530</idno><idno type="BookID">3-540-57932-X</idno><idno type="BookTitleID">39106</idno><idno type="BookVolumeNumber">791</idno><idno type="BookChapterCount">14</idno><editor><persName><forename type="first">Rachid</forename><surname>Guerraoui</surname></persName></editor><editor><persName><forename type="first">Oscar</forename><surname>Nierstrasz</surname></persName></editor><editor><persName><forename type="first">Michel</forename><surname>Riveill</surname></persName></editor><imprint><publisher>Springer Berlin Heidelberg</publisher><pubPlace>Berlin, Heidelberg</pubPlace><date type="published" when="1994"></date><biblScope unit="volume">791</biblScope><biblScope unit="page" from="1">1</biblScope><biblScope unit="page" to="32">32</biblScope></imprint></monogr><series><title level="s">Lecture Notes in Computer Science</title><editor><persName><forename type="first">Gerhard</forename><surname>Goos</surname></persName></editor><editor><persName><forename type="first">Juris</forename><surname>Hartmanis</surname></persName></editor><biblScope><date>1994</date></biblScope><idno type="pISSN">0302-9743</idno><idno type="eISSN">1611-3349</idno><idno type="seriesId">558</idno></series><idno type="istex">B51C26EECC9E88B1F7410389FE25DE645496EC0B</idno><idno type="DOI">10.1007/BFb0017531</idno><idno type="ChapterID">1</idno><idno type="ChapterID">Chap1</idno></biblStruct></sourceDesc></fileDesc><profileDesc><creation><date>1994</date></creation><langUsage><language ident="en">en</language></langUsage><abstract xml:lang="en"><p>Abstract: Objects have inherently greater computation power than functions because they provide clients with continuing services over time. They determine a marriage contract for interactive services that cannot be expressed by a pattern of time-independent sales contracts. Objects express the programming-in-the-large paradigm of software engineering, while functions express the programming-in-the-small paradigm of the analysis of algorithms. Objects have a functional semantics specified by their interface, a serial semantics specified by traces of interface procedures, and a fully abstract semantics that specifies behavior over time for all possible interactions. They assign meaning to the time between the execution of interface procedures as well as to algorithmic effects. Church's thesis that computable functions capture the intuitive notion of effective computation for algorithms cannot be extended to objects. Components are defined by generalizing from accidental to necessary properties of persistent interaction units. Scalability for software problems, defined as “asymptotic openness”, is shown to be the analog of complexity for algorithmic problems. Paradigms of interaction are examined for functions and procedures, objects and processes, APIs and frameworks, databases, GUIs, robots, and virtual-reality systems. Early models of computing stressed computation over interaction for both theoretical reasons (greater tractability) and practical reasons (there were no software components with which to interact). However, scalable software systems, personal computers, and databases require a balance between algorithmic and interactive problem solving. Models of interaction express the behavior of actual software systems and therefore capture the intuitive notion of truly effective computation more completely than mere algorithms.</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>I14010</label><label>I14029</label><label>I14037</label><item><term>Computer Science</term></item><item><term>Programming Techniques</term></item><item><term>Software Engineering</term></item><item><term>Programming Languages, Compilers, Interpreters</term></item></list></keywords></textClass></profileDesc><revisionDesc><change when="1994">Published</change><change xml:id="refBibs-istex" who="#ISTEX-API" when="2016-3-20">References added</change></revisionDesc></teiHeader></istex:fulltextTEI><json:item><original>false</original><mimetype>text/plain</mimetype><extension>txt</extension><uri>https://api.istex.fr/document/B51C26EECC9E88B1F7410389FE25DE645496EC0B/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 TocLevels="0"><SeriesID>558</SeriesID><SeriesPrintISSN>0302-9743</SeriesPrintISSN><SeriesElectronicISSN>1611-3349</SeriesElectronicISSN><SeriesTitle Language="En">Lecture Notes in Computer Science</SeriesTitle><SeriesAbbreviatedTitle>Lect Notes Comput Sci</SeriesAbbreviatedTitle></SeriesInfo><SeriesHeader><EditorGroup><Editor><EditorName DisplayOrder="Western"><GivenName>Gerhard</GivenName><FamilyName>Goos</FamilyName></EditorName></Editor><Editor><EditorName DisplayOrder="Western"><GivenName>Juris</GivenName><FamilyName>Hartmanis</FamilyName></EditorName></Editor></EditorGroup></SeriesHeader><Book Language="En"><BookInfo MediaType="eBook" Language="En" BookProductType="Proceedings" TocLevels="0" NumberingStyle="Unnumbered"><BookID>3-540-57932-X</BookID><BookTitle>Object-Based Distributed Programming</BookTitle><BookSubTitle>ECOOP '93 Workshop Kaiserslautern, Germany, July 26–27, 1993 Proceedings</BookSubTitle><BookVolumeNumber>791</BookVolumeNumber><BookDOI>10.1007/BFb0017530</BookDOI><BookTitleID>39106</BookTitleID><BookPrintISBN>978-3-540-57932-8</BookPrintISBN><BookElectronicISBN>978-3-540-48389-2</BookElectronicISBN><BookChapterCount>14</BookChapterCount><BookCopyright><CopyrightHolderName>Springer-Verlag</CopyrightHolderName><CopyrightYear>1994</CopyrightYear></BookCopyright><BookSubjectGroup><BookSubject Code="I" Type="Primary">Computer Science</BookSubject><BookSubject Code="I14010" Priority="1" Type="Secondary">Programming Techniques</BookSubject><BookSubject Code="I14029" Priority="2" Type="Secondary">Software Engineering</BookSubject><BookSubject Code="I14037" Priority="3" Type="Secondary">Programming Languages, Compilers, Interpreters</BookSubject><SubjectCollection Code="SUCO11645">Computer Science</SubjectCollection></BookSubjectGroup></BookInfo><BookHeader><EditorGroup><Editor><EditorName DisplayOrder="Western"><GivenName>Rachid</GivenName><FamilyName>Guerraoui</FamilyName></EditorName></Editor><Editor><EditorName DisplayOrder="Western"><GivenName>Oscar</GivenName><FamilyName>Nierstrasz</FamilyName></EditorName></Editor><Editor><EditorName DisplayOrder="Western"><GivenName>Michel</GivenName><FamilyName>Riveill</FamilyName></EditorName></Editor></EditorGroup></BookHeader><Chapter ID="Chap1" Language="En"><ChapterInfo ChapterType="ReviewPaper" NumberingStyle="Unnumbered" TocLevels="0" ContainsESM="No"><ChapterID>1</ChapterID><ChapterDOI>10.1007/BFb0017531</ChapterDOI><ChapterSequenceNumber>1</ChapterSequenceNumber><ChapterTitle Language="En">Models and paradigms of interaction</ChapterTitle><ChapterFirstPage>1</ChapterFirstPage><ChapterLastPage>32</ChapterLastPage><ChapterCopyright><CopyrightHolderName>Springer-Verlag</CopyrightHolderName><CopyrightYear>1994</CopyrightYear></ChapterCopyright><ChapterHistory><OnlineDate><Year>2005</Year><Month>6</Month><Day>9</Day></OnlineDate></ChapterHistory><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>3-540-57932-X</BookID><BookTitle>Object-Based Distributed Programming</BookTitle></ChapterContext></ChapterInfo><ChapterHeader><AuthorGroup><Author AffiliationIDS="Aff1"><AuthorName DisplayOrder="Western"><GivenName>Peter</GivenName><FamilyName>Wegner</FamilyName></AuthorName><Contact><Email>pw@cs.brown.edu</Email></Contact></Author><Affiliation ID="Aff1"><OrgName>Brown University</OrgName><OrgAddress><Postcode>02912</Postcode><City>Providence</City><State>RI</State></OrgAddress></Affiliation></AuthorGroup><Abstract ID="Abs1" Language="En"><Heading>Abstract</Heading><Para>Objects have inherently greater computation power than functions because they provide clients with continuing services over time. They determine a <Emphasis Type="Italic">marriage contract</Emphasis> for interactive services that cannot be expressed by a pattern of time-independent <Emphasis Type="Italic">sales contracts</Emphasis>. Objects express the programming-in-the-large paradigm of software engineering, while functions express the programming-in-the-small paradigm of the analysis of algorithms. Objects have a <Emphasis Type="Italic">functional semantics</Emphasis> specified by their interface, a <Emphasis Type="Italic">serial semantics</Emphasis> specified by traces of interface procedures, and a <Emphasis Type="Italic">fully abstract semantics</Emphasis> that specifies behavior over time for all possible interactions. They assign meaning to the time between the execution of interface procedures as well as to algorithmic effects. Church's thesis that computable functions capture the intuitive notion of effective computation for algorithms cannot be extended to objects.</Para><Para>Components are defined by generalizing from accidental to necessary properties of persistent interaction units. Scalability for software problems, defined as “asymptotic openness”, is shown to be the analog of complexity for algorithmic problems. Paradigms of interaction are examined for functions and procedures, objects and processes, APIs and frameworks, databases, GUIs, robots, and virtual-reality systems. Early models of computing stressed computation over interaction for both theoretical reasons (greater tractability) and practical reasons (there were no software components with which to interact). However, scalable software systems, personal computers, and databases require a balance between algorithmic and interactive problem solving. Models of interaction express the behavior of actual software systems and therefore capture the intuitive notion of truly effective computation more completely than mere algorithms.</Para></Abstract><KeywordGroup Language="En"><Heading>Keywords</Heading><Keyword>model</Keyword><Keyword>interaction</Keyword><Keyword>object</Keyword><Keyword>component</Keyword><Keyword>interface</Keyword><Keyword>algorithm</Keyword><Keyword>problem</Keyword><Keyword>complexity</Keyword><Keyword>scalability</Keyword><Keyword>computability</Keyword><Keyword>semantics</Keyword><Keyword>API</Keyword><Keyword>framework</Keyword><Keyword>database</Keyword><Keyword>GUI</Keyword><Keyword>robot</Keyword><Keyword>virtual reality</Keyword></KeywordGroup></ChapterHeader><NoBody></NoBody></Chapter></Book></Series></Publisher></istex:document></istex:metadataXml><mods version="3.6"><titleInfo lang="en"><title>Models and paradigms of interaction</title></titleInfo><titleInfo type="alternative" contentType="CDATA" lang="en"><title>Models and paradigms of interaction</title></titleInfo><name type="personal"><namePart type="given">Peter</namePart><namePart type="family">Wegner</namePart><affiliation>Brown University, 02912, Providence, RI</affiliation><affiliation>E-mail: pw@cs.brown.edu</affiliation><role><roleTerm type="text">author</roleTerm></role></name><typeOfResource>text</typeOfResource><genre type="conference [eBooks]" displayLabel="ReviewPaper"></genre><originInfo><publisher>Springer Berlin Heidelberg</publisher><place><placeTerm type="text">Berlin, Heidelberg</placeTerm></place><dateIssued encoding="w3cdtf">1994</dateIssued><copyrightDate encoding="w3cdtf">1994</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: Objects have inherently greater computation power than functions because they provide clients with continuing services over time. They determine a marriage contract for interactive services that cannot be expressed by a pattern of time-independent sales contracts. Objects express the programming-in-the-large paradigm of software engineering, while functions express the programming-in-the-small paradigm of the analysis of algorithms. Objects have a functional semantics specified by their interface, a serial semantics specified by traces of interface procedures, and a fully abstract semantics that specifies behavior over time for all possible interactions. They assign meaning to the time between the execution of interface procedures as well as to algorithmic effects. Church's thesis that computable functions capture the intuitive notion of effective computation for algorithms cannot be extended to objects. Components are defined by generalizing from accidental to necessary properties of persistent interaction units. Scalability for software problems, defined as “asymptotic openness”, is shown to be the analog of complexity for algorithmic problems. Paradigms of interaction are examined for functions and procedures, objects and processes, APIs and frameworks, databases, GUIs, robots, and virtual-reality systems. Early models of computing stressed computation over interaction for both theoretical reasons (greater tractability) and practical reasons (there were no software components with which to interact). However, scalable software systems, personal computers, and databases require a balance between algorithmic and interactive problem solving. Models of interaction express the behavior of actual software systems and therefore capture the intuitive notion of truly effective computation more completely than mere algorithms.</abstract><relatedItem type="host"><titleInfo><title>Object-Based Distributed Programming</title><subTitle>ECOOP '93 Workshop Kaiserslautern, Germany, July 26–27, 1993 Proceedings</subTitle></titleInfo><name type="personal"><namePart type="given">Rachid</namePart><namePart type="family">Guerraoui</namePart><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Oscar</namePart><namePart type="family">Nierstrasz</namePart><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Michel</namePart><namePart type="family">Riveill</namePart><role><roleTerm type="text">editor</roleTerm></role></name><genre type="Book Series" displayLabel="Proceedings"></genre><originInfo><copyrightDate encoding="w3cdtf">1994</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="I14010">Programming Techniques</topic><topic authority="SpringerSubjectCodes" authorityURI="I14029">Software Engineering</topic><topic authority="SpringerSubjectCodes" authorityURI="I14037">Programming Languages, Compilers, Interpreters</topic></subject><identifier type="DOI">10.1007/BFb0017530</identifier><identifier type="ISBN">978-3-540-57932-8</identifier><identifier type="eISBN">978-3-540-48389-2</identifier><identifier type="ISSN">0302-9743</identifier><identifier type="eISSN">1611-3349</identifier><identifier type="BookTitleID">39106</identifier><identifier type="BookID">3-540-57932-X</identifier><identifier type="BookChapterCount">14</identifier><identifier type="BookVolumeNumber">791</identifier><part><date>1994</date><detail type="volume"><number>791</number><caption>vol.</caption></detail><extent unit="pages"><start>1</start><end>32</end></extent></part><recordInfo><recordOrigin>Springer-Verlag, 1994</recordOrigin></recordInfo></relatedItem><relatedItem type="series"><titleInfo><title>Lecture Notes in Computer Science</title></titleInfo><name type="personal"><namePart type="given">Gerhard</namePart><namePart type="family">Goos</namePart><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Juris</namePart><namePart type="family">Hartmanis</namePart><role><roleTerm type="text">editor</roleTerm></role></name><originInfo><copyrightDate encoding="w3cdtf">1994</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, 1994</recordOrigin></recordInfo></relatedItem><identifier type="istex">B51C26EECC9E88B1F7410389FE25DE645496EC0B</identifier><identifier type="DOI">10.1007/BFb0017531</identifier><identifier type="ChapterID">1</identifier><identifier type="ChapterID">Chap1</identifier><accessCondition type="use and reproduction" contentType="copyright">Springer-Verlag, 1994</accessCondition><recordInfo><recordContentSource>SPRINGER</recordContentSource><recordOrigin>Springer-Verlag, 1994</recordOrigin></recordInfo></mods></metadata><enrichments><istex:refBibTEI uri="https://api.istex.fr/document/B51C26EECC9E88B1F7410389FE25DE645496EC0B/enrichments/refBib"><teiHeader></teiHeader><text><front></front><body></body><back><listBibl><biblStruct xml:id="b0"><monogr><title level="m" type="main">The interactive behavior of objects and software systems cannot be completely specified by computable functions</title><imprint></imprint></monogr></biblStruct><biblStruct xml:id="b1"><monogr><title level="m" type="main">Developing Software for the User Interface</title><author><persName><forename type="first">Len</forename><surname>Bass</surname></persName></author><author><persName><forename type="first">Joelle</forename><surname>Coutaz</surname></persName></author><imprint><date type="published" when="1991"></date><publisher>Addison Wesley</publisher></imprint></monogr></biblStruct><biblStruct xml:id="b2"><analytic><title></title><author><persName><forename type="first">R</forename><forename type="middle">A</forename><surname>Brooks</surname></persName></author></analytic><monogr><title level="m">Proc 12th International Joint Conference on Artificial Intelligence</title><meeting>12th International Joint Conference on Artificial Intelligence</meeting><imprint><date type="published" when="1991-08"></date></imprint></monogr></biblStruct><biblStruct xml:id="b3"><analytic><title></title><author><persName><forename type="first">M</forename><surname>Garey</surname></persName></author><author><persName><forename type="first">D</forename><surname>Johnson</surname></persName></author></analytic><monogr><title level="j">Computers and Intractability</title><imprint><date type="published" when="1979"></date></imprint></monogr></biblStruct><biblStruct xml:id="b4"><monogr><title level="m" type="main">Object-Oriented Software Engineering</title><author><persName><forename type="first">I</forename><surname>Jacobson</surname></persName></author><imprint><date type="published" when="1991"></date><publisher>Addison-Wesley/ACM-Press</publisher></imprint></monogr></biblStruct><biblStruct xml:id="b5"><monogr><title level="m" type="main">The Art of Computer Programming</title><author><persName><forename type="first">D</forename><forename type="middle">E</forename><surname>Knuth</surname></persName></author><imprint><date type="published" when="1969"></date><publisher>Addison Wesley</publisher></imprint></monogr></biblStruct><biblStruct xml:id="b6"><analytic><title></title><author><persName><forename type="first">Robin</forename><surname>Milner</surname></persName></author></analytic><monogr><title level="j">Elements of Interaction, CACM Turing Lecture)</title><imprint><date type="published" when="1992"></date></imprint></monogr></biblStruct><biblStruct xml:id="b7"><monogr><title level="m" type="main">The Emperor's New Mind</title><author><persName><forename type="first">Roger</forename><surname>Penrose</surname></persName></author><imprint><date type="published" when="1989"></date><pubPlace>Oxford</pubPlace></imprint></monogr></biblStruct><biblStruct xml:id="b8"><monogr><title level="m" type="main">The Open Society and its Enemies</title><author><persName><forename type="first">K</forename><surname>Popper</surname></persName></author><imprint><date type="published" when="1966"></date><publisher>Princeton University Press</publisher></imprint></monogr></biblStruct><biblStruct xml:id="b9"><analytic><title></title><author><persName><forename type="first">James</forename><surname>Rumbaugh</surname></persName></author><author><persName><forename type="first">Michael</forename><surname>Blaha</surname></persName></author><author><persName><forename type="first">William</forename><surname>Premerlani</surname></persName></author><author><persName><forename type="first">Frederick</forename><surname>Eddy</surname></persName></author><author><persName><forename type="first">William</forename><surname>Lorensen</surname></persName></author></analytic><monogr><title level="j">Object-Oriented Modeling and Design</title><imprint><publisher>Prentice Hall</publisher><publisher>Prentice Hall</publisher><date type="published" when="1990"></date></imprint></monogr></biblStruct><biblStruct xml:id="b10"><monogr><title level="m" type="main">The Sciences of the Artificial</title><author><persName><forename type="first">H</forename><surname>Simon</surname></persName></author><imprint><date type="published" when="1982"></date><publisher>MIT Press</publisher></imprint></monogr><note>Second. Edition</note></biblStruct><biblStruct xml:id="b11"><analytic><title></title><author><persName><forename type="first">A</forename><forename type="middle">M</forename><surname>Turing</surname></persName></author></analytic><monogr><title level="j">Computing Machinery and Intelligence</title><imprint><date type="published" when="1950"></date></imprint></monogr></biblStruct><biblStruct xml:id="b12"><analytic><title></title><author><persName><forename type="first">P</forename><surname>Wegner</surname></persName></author></analytic><monogr><title level="m">Research Direciions in Concurrent O.bject-Oriented Programming</title><meeting><address><addrLine>Eds Agha, Wegner, Yonezawa</addrLine></address></meeting><imprint><publisher>MIT Press</publisher><date type="published" when="1993-11"></date></imprint></monogr></biblStruct></listBibl></back></text></istex:refBibTEI></enrichments></istex></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Ticri/CIDE/explor/HapticV1/Data/Istex/Corpus
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000A06 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Istex/Corpus/biblio.hfd -nk 000A06 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Ticri/CIDE
|area= HapticV1
|flux= Istex
|étape= Corpus
|type= RBID
|clé= ISTEX:B51C26EECC9E88B1F7410389FE25DE645496EC0B
|texte= Models and paradigms of interaction
}}
| This area was generated with Dilib version V0.6.23. |  |