Modelling specification construction by successive approximations
Identifieur interne : 001A69 ( Istex/Corpus ); précédent : 001A68; suivant : 001A70Modelling specification construction by successive approximations
Auteurs : Nicole Lévy ; Jeanine SouquièresSource :
- Lecture Notes in Computer Science [ 0302-9743 ]
Abstract
Abstract: Software development lacks tools supporting the steps actually followed by developers, e.g. with successive approximations. The Proplane framework aims at modelling specifications construction. In this framework, a development step is composed of a workplan denoting both the history of goals and the decisions taken, a product denoting the specification being defined, and the links between them. These links are expressed by means of a meta-program. Each step is obtained by the application of a development operator. Operators enable developments with successive approximations to be captured. The use of the framework is illustrated by some steps of the development of the production cell case study.
Url:
DOI: 10.1007/BFb0000482
Links to Exploration step
ISTEX:740B018D15E4D930D40B7439D2A1E03B46B8B2E7Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Modelling specification construction by successive approximations</title>
<author><name sortKey="Levy, Nicole" sort="Levy, Nicole" uniqKey="Levy N" first="Nicole" last="Lévy">Nicole Lévy</name>
<affiliation><mods:affiliation>LORIA, BP. 239, F-54506, Vand∄uvre-les-Nancy</mods:affiliation>
</affiliation>
<affiliation><mods:affiliation>E-mail: Nicole.Levy@loria.fr</mods:affiliation>
</affiliation>
</author>
<author><name sortKey="Souquieres, Jeanine" sort="Souquieres, Jeanine" uniqKey="Souquieres J" first="Jeanine" last="Souquières">Jeanine Souquières</name>
<affiliation><mods:affiliation>LORIA, BP. 239, F-54506, Vand∄uvre-les-Nancy</mods:affiliation>
</affiliation>
<affiliation><mods:affiliation>E-mail: Jeanine Souquieres@loria.fr</mods:affiliation>
</affiliation>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">ISTEX</idno>
<idno type="RBID">ISTEX:740B018D15E4D930D40B7439D2A1E03B46B8B2E7</idno>
<date when="1997" year="1997">1997</date>
<idno type="doi">10.1007/BFb0000482</idno>
<idno type="url">https://api.istex.fr/ark:/67375/HCB-MSNN7KGX-W/fulltext.pdf</idno>
<idno type="wicri:Area/Istex/Corpus">001A69</idno>
<idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">001A69</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Modelling specification construction by successive approximations</title>
<author><name sortKey="Levy, Nicole" sort="Levy, Nicole" uniqKey="Levy N" first="Nicole" last="Lévy">Nicole Lévy</name>
<affiliation><mods:affiliation>LORIA, BP. 239, F-54506, Vand∄uvre-les-Nancy</mods:affiliation>
</affiliation>
<affiliation><mods:affiliation>E-mail: Nicole.Levy@loria.fr</mods:affiliation>
</affiliation>
</author>
<author><name sortKey="Souquieres, Jeanine" sort="Souquieres, Jeanine" uniqKey="Souquieres J" first="Jeanine" last="Souquières">Jeanine Souquières</name>
<affiliation><mods:affiliation>LORIA, BP. 239, F-54506, Vand∄uvre-les-Nancy</mods:affiliation>
</affiliation>
<affiliation><mods:affiliation>E-mail: Jeanine Souquieres@loria.fr</mods:affiliation>
</affiliation>
</author>
</analytic>
<monogr></monogr>
<series><title level="s" type="main" xml:lang="en">Lecture Notes in Computer Science</title>
<title level="s" type="abbrev">Lect Notes Comput Sci</title>
<idno type="ISSN">0302-9743</idno>
<idno type="eISSN">1611-3349</idno>
<idno type="ISSN">0302-9743</idno>
</series>
</biblStruct>
</sourceDesc>
<seriesStmt><idno type="ISSN">0302-9743</idno>
</seriesStmt>
</fileDesc>
<profileDesc><textClass></textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">Abstract: Software development lacks tools supporting the steps actually followed by developers, e.g. with successive approximations. The Proplane framework aims at modelling specifications construction. In this framework, a development step is composed of a workplan denoting both the history of goals and the decisions taken, a product denoting the specification being defined, and the links between them. These links are expressed by means of a meta-program. Each step is obtained by the application of a development operator. Operators enable developments with successive approximations to be captured. The use of the framework is illustrated by some steps of the development of the production cell case study.</div>
</front>
</TEI>
<istex><corpusName>springer-ebooks</corpusName>
<author><json:item><name>Nicole Lévy</name>
<affiliations><json:string>LORIA, BP. 239, F-54506, Vand∄uvre-les-Nancy</json:string>
<json:string>E-mail: Nicole.Levy@loria.fr</json:string>
</affiliations>
</json:item>
<json:item><name>Jeanine Souquières</name>
<affiliations><json:string>LORIA, BP. 239, F-54506, Vand∄uvre-les-Nancy</json:string>
<json:string>E-mail: Jeanine Souquieres@loria.fr</json:string>
</affiliations>
</json:item>
</author>
<arkIstex>ark:/67375/HCB-MSNN7KGX-W</arkIstex>
<language><json:string>eng</json:string>
</language>
<originalGenre><json:string>ReviewPaper</json:string>
</originalGenre>
<abstract>Abstract: Software development lacks tools supporting the steps actually followed by developers, e.g. with successive approximations. The Proplane framework aims at modelling specifications construction. In this framework, a development step is composed of a workplan denoting both the history of goals and the decisions taken, a product denoting the specification being defined, and the links between them. These links are expressed by means of a meta-program. Each step is obtained by the application of a development operator. Operators enable developments with successive approximations to be captured. The use of the framework is illustrated by some steps of the development of the production cell case study.</abstract>
<qualityIndicators><score>7.826</score>
<pdfWordCount>4566</pdfWordCount>
<pdfCharCount>28020</pdfCharCount>
<pdfVersion>1.3</pdfVersion>
<pdfPageCount>14</pdfPageCount>
<pdfPageSize>446.28 x 666 pts</pdfPageSize>
<refBibsNative>false</refBibsNative>
<abstractWordCount>105</abstractWordCount>
<abstractCharCount>714</abstractCharCount>
<keywordCount>0</keywordCount>
</qualityIndicators>
<title>Modelling specification construction by successive approximations</title>
<chapterId><json:string>24</json:string>
<json:string>Chap24</json:string>
</chapterId>
<genre><json:string>conference</json:string>
</genre>
<serie><title>Lecture Notes in Computer Science</title>
<language><json:string>unknown</json:string>
</language>
<copyrightDate>1997</copyrightDate>
<issn><json:string>0302-9743</json:string>
</issn>
<eissn><json:string>1611-3349</json:string>
</eissn>
<editor><json:item><name>Gerhard Goos</name>
</json:item>
<json:item><name>Juris Hartmanis</name>
</json:item>
<json:item><name>Jan van Leeuwen</name>
</json:item>
</editor>
</serie>
<host><title>Algebraic Methodology and Software Technology</title>
<language><json:string>unknown</json:string>
</language>
<copyrightDate>1997</copyrightDate>
<doi><json:string>10.1007/BFb0000458</json:string>
</doi>
<issn><json:string>0302-9743</json:string>
</issn>
<eissn><json:string>1611-3349</json:string>
</eissn>
<eisbn><json:string>978-3-540-69661-2</json:string>
</eisbn>
<bookId><json:string>3540638881</json:string>
</bookId>
<isbn><json:string>978-3-540-63888-9</json:string>
</isbn>
<volume>1349</volume>
<pages><first>351</first>
<last>364</last>
</pages>
<genre><json:string>book-series</json:string>
</genre>
<editor><json:item><name>Michael Johnson</name>
</json:item>
</editor>
<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>Logics and Meanings of Programs</value>
</json:item>
<json:item><value>Special Purpose and Application-Based Systems</value>
</json:item>
<json:item><value>Mathematical Logic and Formal Languages</value>
</json:item>
<json:item><value>Programming Techniques</value>
</json:item>
</subject>
</host>
<ark><json:string>ark:/67375/HCB-MSNN7KGX-W</json:string>
</ark>
<publicationDate>1997</publicationDate>
<copyrightDate>1997</copyrightDate>
<doi><json:string>10.1007/BFb0000482</json:string>
</doi>
<id>740B018D15E4D930D40B7439D2A1E03B46B8B2E7</id>
<score>1</score>
<fulltext><json:item><extension>pdf</extension>
<original>true</original>
<mimetype>application/pdf</mimetype>
<uri>https://api.istex.fr/ark:/67375/HCB-MSNN7KGX-W/fulltext.pdf</uri>
</json:item>
<json:item><extension>zip</extension>
<original>false</original>
<mimetype>application/zip</mimetype>
<uri>https://api.istex.fr/ark:/67375/HCB-MSNN7KGX-W/bundle.zip</uri>
</json:item>
<istex:fulltextTEI uri="https://api.istex.fr/ark:/67375/HCB-MSNN7KGX-W/fulltext.tei"><teiHeader><fileDesc><titleStmt><title level="a" type="main" xml:lang="en">Modelling specification construction by successive approximations</title>
</titleStmt>
<publicationStmt><authority>ISTEX</authority>
<availability><licence>Springer-Verlag</licence>
</availability>
<date when="1997">1997</date>
</publicationStmt>
<notesStmt><note type="conference" source="proceedings" scheme="https://content-type.data.istex.fr/ark:/67375/XTP-BFHXPBJJ-3">conference</note>
<note type="publication-type" subtype="book-series" scheme="https://publication-type.data.istex.fr/ark:/67375/JMC-0G6R5W5T-Z">book-series</note>
</notesStmt>
<sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Modelling specification construction by successive approximations</title>
<author><persName><forename type="first">Nicole</forename>
<surname>Lévy</surname>
</persName>
<email>Nicole.Levy@loria.fr</email>
<affiliation><orgName type="institution">LORIA</orgName>
<address><postBox>BP. 239</postBox>
<postCode>F-54506</postCode>
<settlement>Vand∄uvre-les-Nancy</settlement>
</address>
</affiliation>
</author>
<author><persName><forename type="first">Jeanine</forename>
<surname>Souquières</surname>
</persName>
<email>Jeanine Souquieres@loria.fr</email>
<affiliation><orgName type="institution">LORIA</orgName>
<address><postBox>BP. 239</postBox>
<postCode>F-54506</postCode>
<settlement>Vand∄uvre-les-Nancy</settlement>
</address>
</affiliation>
</author>
<idno type="istex">740B018D15E4D930D40B7439D2A1E03B46B8B2E7</idno>
<idno type="ark">ark:/67375/HCB-MSNN7KGX-W</idno>
<idno type="DOI">10.1007/BFb0000482</idno>
</analytic>
<monogr><title level="m" type="main">Algebraic Methodology and Software Technology</title>
<title level="m" type="sub">6th International Conference, AMAST'97 Sydney, Australia, December13–17, 1997 Proceedings</title>
<idno type="DOI">10.1007/BFb0000458</idno>
<idno type="book-id">3540638881</idno>
<idno type="ISBN">978-3-540-63888-9</idno>
<idno type="eISBN">978-3-540-69661-2</idno>
<idno type="chapter-id">Chap24</idno>
<editor><persName><forename type="first">Michael</forename>
<surname>Johnson</surname>
</persName>
</editor>
<imprint><biblScope unit="vol">1349</biblScope>
<biblScope unit="page" from="351">351</biblScope>
<biblScope unit="page" to="364">364</biblScope>
<biblScope unit="chapter-count">47</biblScope>
</imprint>
</monogr>
<series><title level="s" type="main" xml:lang="en">Lecture Notes in Computer Science</title>
<title level="s" type="abbrev">Lect Notes Comput Sci</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>
<editor><persName><forename type="first">Jan</forename>
<nameLink>van</nameLink>
<surname>Leeuwen</surname>
</persName>
</editor>
<idno type="pISSN">0302-9743</idno>
<idno type="eISSN">1611-3349</idno>
<idno type="seriesID">558</idno>
</series>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><abstract xml:lang="en"><head>Abstract</head>
<p>Software development lacks tools supporting the steps actually followed by developers, e.g. with successive approximations. The Proplane framework aims at modelling specifications construction. In this framework, a development step is composed of a workplan denoting both the history of goals and the decisions taken, a product denoting the specification being defined, and the links between them. These links are expressed by means of a meta-program. Each step is obtained by the application of a development operator. Operators enable developments with successive approximations to be captured. The use of the framework is illustrated by some steps of the development of the production cell case study.</p>
</abstract>
<textClass ana="subject"><keywords scheme="book-subject-collection"><list><label>SUCO11645</label>
<item><term>Computer Science</term>
</item>
</list>
</keywords>
</textClass>
<textClass ana="subject"><keywords scheme="book-subject"><list><label>I</label>
<item><term type="Primary">Computer Science</term>
</item>
<label>I14029</label>
<item><term type="Secondary" subtype="priority-1">Software Engineering</term>
</item>
<label>I1603X</label>
<item><term type="Secondary" subtype="priority-2">Logics and Meanings of Programs</term>
</item>
<label>I13030</label>
<item><term type="Secondary" subtype="priority-3">Special Purpose and Application-Based Systems</term>
</item>
<label>I16048</label>
<item><term type="Secondary" subtype="priority-4">Mathematical Logic and Formal Languages</term>
</item>
<label>I14010</label>
<item><term type="Secondary" subtype="priority-5">Programming Techniques</term>
</item>
</list>
</keywords>
</textClass>
<langUsage><language ident="EN"></language>
</langUsage>
</profileDesc>
</teiHeader>
</istex:fulltextTEI>
<json:item><extension>txt</extension>
<original>false</original>
<mimetype>text/plain</mimetype>
<uri>https://api.istex.fr/ark:/67375/HCB-MSNN7KGX-W/fulltext.txt</uri>
</json:item>
</fulltext>
<metadata><istex:metadataXml wicri:clean="corpus springer-ebooks not 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>
<Editor><EditorName DisplayOrder="Western"><GivenName>Jan</GivenName>
<Particle>van</Particle>
<FamilyName>Leeuwen</FamilyName>
</EditorName>
</Editor>
</EditorGroup>
</SeriesHeader>
<Book Language="En"><BookInfo MediaType="eBook" Language="En" BookProductType="Proceedings" TocLevels="0" NumberingStyle="Unnumbered"><BookID>3540638881</BookID>
<BookTitle>Algebraic Methodology and Software Technology</BookTitle>
<BookSubTitle>6th International Conference, AMAST'97 Sydney, Australia, December13–17, 1997 Proceedings</BookSubTitle>
<BookVolumeNumber>1349</BookVolumeNumber>
<BookDOI>10.1007/BFb0000458</BookDOI>
<BookTitleID>56037</BookTitleID>
<BookPrintISBN>978-3-540-63888-9</BookPrintISBN>
<BookElectronicISBN>978-3-540-69661-2</BookElectronicISBN>
<BookChapterCount>47</BookChapterCount>
<BookCopyright><CopyrightHolderName>Springer-Verlag</CopyrightHolderName>
<CopyrightYear>1997</CopyrightYear>
</BookCopyright>
<BookSubjectGroup><BookSubject Code="I" Type="Primary">Computer Science</BookSubject>
<BookSubject Code="I14029" Priority="1" Type="Secondary">Software Engineering</BookSubject>
<BookSubject Code="I1603X" Priority="2" Type="Secondary">Logics and Meanings of Programs</BookSubject>
<BookSubject Code="I13030" Priority="3" Type="Secondary">Special Purpose and Application-Based Systems</BookSubject>
<BookSubject Code="I16048" Priority="4" Type="Secondary">Mathematical Logic and Formal Languages</BookSubject>
<BookSubject Code="I14010" Priority="5" Type="Secondary">Programming Techniques</BookSubject>
<SubjectCollection Code="SUCO11645">Computer Science</SubjectCollection>
</BookSubjectGroup>
</BookInfo>
<BookHeader><EditorGroup><Editor><EditorName DisplayOrder="Western"><GivenName>Michael</GivenName>
<FamilyName>Johnson</FamilyName>
</EditorName>
</Editor>
</EditorGroup>
</BookHeader>
<Chapter ID="Chap24" Language="En"><ChapterInfo ChapterType="ReviewPaper" NumberingStyle="Unnumbered" TocLevels="0" ContainsESM="No"><ChapterID>24</ChapterID>
<ChapterDOI>10.1007/BFb0000482</ChapterDOI>
<ChapterSequenceNumber>24</ChapterSequenceNumber>
<ChapterTitle Language="En">Modelling specification construction by successive approximations</ChapterTitle>
<ChapterFirstPage>351</ChapterFirstPage>
<ChapterLastPage>364</ChapterLastPage>
<ChapterCopyright><CopyrightHolderName>Springer-Verlag</CopyrightHolderName>
<CopyrightYear>1997</CopyrightYear>
</ChapterCopyright>
<ChapterHistory><OnlineDate><Year>2005</Year>
<Month>9</Month>
<Day>7</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>3540638881</BookID>
<BookTitle>Algebraic Methodology and Software Technology</BookTitle>
</ChapterContext>
</ChapterInfo>
<ChapterHeader><AuthorGroup><Author AffiliationIDS="Aff1"><AuthorName DisplayOrder="Western"><GivenName>Nicole</GivenName>
<FamilyName>Lévy</FamilyName>
</AuthorName>
<Contact><Email>Nicole.Levy@loria.fr</Email>
</Contact>
</Author>
<Author AffiliationIDS="Aff1"><AuthorName DisplayOrder="Western"><GivenName>Jeanine</GivenName>
<FamilyName>Souquières</FamilyName>
</AuthorName>
<Contact><Email>Jeanine Souquieres@loria.fr</Email>
</Contact>
</Author>
<Affiliation ID="Aff1"><OrgName>LORIA</OrgName>
<OrgAddress><Postbox>BP. 239</Postbox>
<Postcode>F-54506</Postcode>
<City>Vand∄uvre-les-Nancy</City>
</OrgAddress>
</Affiliation>
</AuthorGroup>
<Abstract ID="Abs1" Language="En"><Heading>Abstract</Heading>
<Para>Software development lacks tools supporting the steps actually followed by developers, e.g. with successive approximations. The Proplane framework aims at modelling specifications construction. In this framework, a development step is composed of a workplan denoting both the history of goals and the decisions taken, a product denoting the specification being defined, and the links between them. These links are expressed by means of a meta-program. Each step is obtained by the application of a development operator. Operators enable developments with successive approximations to be captured. The use of the framework is illustrated by some steps of the development of the production cell case study.</Para>
</Abstract>
</ChapterHeader>
<NoBody></NoBody>
</Chapter>
</Book>
</Series>
</Publisher>
</istex:document>
</istex:metadataXml>
<mods version="3.6"><titleInfo lang="en"><title>Modelling specification construction by successive approximations</title>
</titleInfo>
<titleInfo type="alternative" contentType="CDATA"><title>Modelling specification construction by successive approximations</title>
</titleInfo>
<name type="personal"><namePart type="given">Nicole</namePart>
<namePart type="family">Lévy</namePart>
<affiliation>LORIA, BP. 239, F-54506, Vand∄uvre-les-Nancy</affiliation>
<affiliation>E-mail: Nicole.Levy@loria.fr</affiliation>
<role><roleTerm type="text">author</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">Jeanine</namePart>
<namePart type="family">Souquières</namePart>
<affiliation>LORIA, BP. 239, F-54506, Vand∄uvre-les-Nancy</affiliation>
<affiliation>E-mail: Jeanine Souquieres@loria.fr</affiliation>
<role><roleTerm type="text">author</roleTerm>
</role>
</name>
<typeOfResource>text</typeOfResource>
<genre displayLabel="ReviewPaper" authority="ISTEX" authorityURI="https://content-type.data.istex.fr" type="conference" valueURI="https://content-type.data.istex.fr/ark:/67375/XTP-BFHXPBJJ-3">conference</genre>
<originInfo><publisher>Springer Berlin Heidelberg</publisher>
<place><placeTerm type="text">Berlin, Heidelberg</placeTerm>
</place>
<dateIssued encoding="w3cdtf">1997</dateIssued>
<copyrightDate encoding="w3cdtf">1997</copyrightDate>
</originInfo>
<language><languageTerm type="code" authority="rfc3066">en</languageTerm>
<languageTerm type="code" authority="iso639-2b">eng</languageTerm>
</language>
<abstract lang="en">Abstract: Software development lacks tools supporting the steps actually followed by developers, e.g. with successive approximations. The Proplane framework aims at modelling specifications construction. In this framework, a development step is composed of a workplan denoting both the history of goals and the decisions taken, a product denoting the specification being defined, and the links between them. These links are expressed by means of a meta-program. Each step is obtained by the application of a development operator. Operators enable developments with successive approximations to be captured. The use of the framework is illustrated by some steps of the development of the production cell case study.</abstract>
<relatedItem type="host"><titleInfo><title>Algebraic Methodology and Software Technology</title>
<subTitle>6th International Conference, AMAST'97 Sydney, Australia, December13–17, 1997 Proceedings</subTitle>
</titleInfo>
<name type="personal"><namePart type="given">Michael</namePart>
<namePart type="family">Johnson</namePart>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<genre type="book-series" authority="ISTEX" authorityURI="https://publication-type.data.istex.fr" valueURI="https://publication-type.data.istex.fr/ark:/67375/JMC-0G6R5W5T-Z">book-series</genre>
<originInfo><publisher>Springer</publisher>
<copyrightDate encoding="w3cdtf">1997</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="I1603X">Logics and Meanings of Programs</topic>
<topic authority="SpringerSubjectCodes" authorityURI="I13030">Special Purpose and Application-Based Systems</topic>
<topic authority="SpringerSubjectCodes" authorityURI="I16048">Mathematical Logic and Formal Languages</topic>
<topic authority="SpringerSubjectCodes" authorityURI="I14010">Programming Techniques</topic>
</subject>
<identifier type="DOI">10.1007/BFb0000458</identifier>
<identifier type="ISBN">978-3-540-63888-9</identifier>
<identifier type="eISBN">978-3-540-69661-2</identifier>
<identifier type="ISSN">0302-9743</identifier>
<identifier type="eISSN">1611-3349</identifier>
<identifier type="BookTitleID">56037</identifier>
<identifier type="BookID">3540638881</identifier>
<identifier type="BookChapterCount">47</identifier>
<identifier type="BookVolumeNumber">1349</identifier>
<part><date>1997</date>
<detail type="volume"><number>1349</number>
<caption>vol.</caption>
</detail>
<extent unit="pages"><start>351</start>
<end>364</end>
</extent>
</part>
<recordInfo><recordOrigin>Springer-Verlag, 1997</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>
<name type="personal"><namePart type="given">Jan</namePart>
<namePart type="family">van Leeuwen</namePart>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<originInfo><publisher>Springer</publisher>
<copyrightDate encoding="w3cdtf">1997</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, 1997</recordOrigin>
</recordInfo>
</relatedItem>
<identifier type="istex">740B018D15E4D930D40B7439D2A1E03B46B8B2E7</identifier>
<identifier type="ark">ark:/67375/HCB-MSNN7KGX-W</identifier>
<identifier type="DOI">10.1007/BFb0000482</identifier>
<identifier type="ChapterID">24</identifier>
<identifier type="ChapterID">Chap24</identifier>
<accessCondition type="use and reproduction" contentType="copyright">Springer-Verlag, 1997</accessCondition>
<recordInfo><recordContentSource authority="ISTEX" authorityURI="https://loaded-corpus.data.istex.fr" valueURI="https://loaded-corpus.data.istex.fr/ark:/67375/XBH-RLRX46XW-4">springer</recordContentSource>
<recordOrigin>Springer-Verlag, 1997</recordOrigin>
</recordInfo>
</mods>
<json:item><extension>json</extension>
<original>false</original>
<mimetype>application/json</mimetype>
<uri>https://api.istex.fr/ark:/67375/HCB-MSNN7KGX-W/record.json</uri>
</json:item>
</metadata>
</istex>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Istex/Corpus
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 001A69 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Istex/Corpus/biblio.hfd -nk 001A69 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Lorraine |area= InforLorV4 |flux= Istex |étape= Corpus |type= RBID |clé= ISTEX:740B018D15E4D930D40B7439D2A1E03B46B8B2E7 |texte= Modelling specification construction by successive approximations }}
![]() | This area was generated with Dilib version V0.6.33. | ![]() |