PROPLANE : A specification development environment
Identifieur interne : 00C970 ( Main/Merge ); précédent : 00C969; suivant : 00C971PROPLANE : A specification development environment
Auteurs : J. Souquieres [France] ; N. Levy [France]Source :
- Lecture notes in computer science [ 0302-9743 ] ; 1996.
Descripteurs français
- Pascal (Inist)
English descriptors
- KwdEn :
Abstract
PROPLANE is an environment supporting formal specification activity by providing methodological assistance during the development process. The central key of the system is the notion of operator : the development of a specification is defined as a sequence of steps in which each step maps a development state to the next one by application of some operator. Operators separate the design concepts from the technical details of how they are captured in the target specification language.
Links toward previous steps (curation, corpus...)
- to stream PascalFrancis, to step Corpus: 000D34
- to stream PascalFrancis, to step Curation: 000B57
- to stream PascalFrancis, to step Checkpoint: 000C83
Links to Exploration step
Pascal:96-0393087Le document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en" level="a">PROPLANE : A specification development environment</title>
<author><name sortKey="Souquieres, J" sort="Souquieres, J" uniqKey="Souquieres J" first="J." last="Souquieres">J. Souquieres</name>
<affiliation wicri:level="3"><inist:fA14 i1="01"><s1>CRIN-CNRS B.P. 239 Bâtiment LORIA</s1>
<s2>54506 Vandœuvre-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName><region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy</settlement>
</placeName>
</affiliation>
</author>
<author><name sortKey="Levy, N" sort="Levy, N" uniqKey="Levy N" first="N." last="Levy">N. Levy</name>
<affiliation wicri:level="3"><inist:fA14 i1="01"><s1>CRIN-CNRS B.P. 239 Bâtiment LORIA</s1>
<s2>54506 Vandœuvre-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName><region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy</settlement>
</placeName>
</affiliation>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">INIST</idno>
<idno type="inist">96-0393087</idno>
<date when="1996">1996</date>
<idno type="stanalyst">PASCAL 96-0393087 INIST</idno>
<idno type="RBID">Pascal:96-0393087</idno>
<idno type="wicri:Area/PascalFrancis/Corpus">000D34</idno>
<idno type="wicri:Area/PascalFrancis/Curation">000B57</idno>
<idno type="wicri:Area/PascalFrancis/Checkpoint">000C83</idno>
<idno type="wicri:explorRef" wicri:stream="PascalFrancis" wicri:step="Checkpoint">000C83</idno>
<idno type="wicri:doubleKey">0302-9743:1996:Souquieres J:proplane:a:specification</idno>
<idno type="wicri:Area/Main/Merge">00C970</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="en" level="a">PROPLANE : A specification development environment</title>
<author><name sortKey="Souquieres, J" sort="Souquieres, J" uniqKey="Souquieres J" first="J." last="Souquieres">J. Souquieres</name>
<affiliation wicri:level="3"><inist:fA14 i1="01"><s1>CRIN-CNRS B.P. 239 Bâtiment LORIA</s1>
<s2>54506 Vandœuvre-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName><region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy</settlement>
</placeName>
</affiliation>
</author>
<author><name sortKey="Levy, N" sort="Levy, N" uniqKey="Levy N" first="N." last="Levy">N. Levy</name>
<affiliation wicri:level="3"><inist:fA14 i1="01"><s1>CRIN-CNRS B.P. 239 Bâtiment LORIA</s1>
<s2>54506 Vandœuvre-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName><region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy</settlement>
</placeName>
</affiliation>
</author>
</analytic>
<series><title level="j" type="main">Lecture notes in computer science</title>
<idno type="ISSN">0302-9743</idno>
<imprint><date when="1996">1996</date>
</imprint>
</series>
</biblStruct>
</sourceDesc>
<seriesStmt><title level="j" type="main">Lecture notes in computer science</title>
<idno type="ISSN">0302-9743</idno>
</seriesStmt>
</fileDesc>
<profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>Communication</term>
<term>Formal language</term>
<term>Formal specification</term>
<term>LOTOS</term>
<term>Programming environment</term>
<term>Specification language</term>
<term>Transmission protocol</term>
</keywords>
<keywords scheme="Pascal" xml:lang="fr"><term>Environnement programmation</term>
<term>Langage formel</term>
<term>Langage spécification</term>
<term>Protocole transmission</term>
<term>Communication</term>
<term>Spécification formelle</term>
<term>LOTOS</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">PROPLANE is an environment supporting formal specification activity by providing methodological assistance during the development process. The central key of the system is the notion of operator : the development of a specification is defined as a sequence of steps in which each step maps a development state to the next one by application of some operator. Operators separate the design concepts from the technical details of how they are captured in the target specification language.</div>
</front>
</TEI>
<affiliations><list><country><li>France</li>
</country>
<region><li>Grand Est</li>
<li>Lorraine (région)</li>
</region>
<settlement><li>Vandœuvre-lès-Nancy</li>
</settlement>
</list>
<tree><country name="France"><region name="Grand Est"><name sortKey="Souquieres, J" sort="Souquieres, J" uniqKey="Souquieres J" first="J." last="Souquieres">J. Souquieres</name>
</region>
<name sortKey="Levy, N" sort="Levy, N" uniqKey="Levy N" first="N." last="Levy">N. Levy</name>
</country>
</tree>
</affiliations>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Merge
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 00C970 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Merge/biblio.hfd -nk 00C970 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Lorraine |area= InforLorV4 |flux= Main |étape= Merge |type= RBID |clé= Pascal:96-0393087 |texte= PROPLANE : A specification development environment }}
This area was generated with Dilib version V0.6.33. |