Improving a Framework for Modelling Specifications Development
Identifieur interne : 00CC44 ( Main/Merge ); précédent : 00CC43; suivant : 00CC45Improving a Framework for Modelling Specifications Development
Auteurs : N. LévySource :
English descriptors
Abstract
Formal specifications are used in a wide variety of areas, especially where the integrity of systems is critical. Tools and methodologies mainly exist to aid the steps of verification and refinement. But little is done to assist the software engineer in the production of formal specifications. Although the quality of the specification is crucial regarding to the quality of the program derived from it. A framework has been proposed for modelling developments. In this framework, a development step is composed of a workplan, a product and links between them. Each new step is obtained by the application of a development operator, an operator which enables the incremental construction and modification of the specification. Capturing alternative definitions of particular concepts and strategies is made possible by the definition of librairies of such operators. We propose an improvement of the framework, redefining the links between the workplan and the product and describing them by a meta-program, the specification being the result of its evaluation. This meta-program describes the construction of the specification and is incrementally developed by application of the operators.
Links toward previous steps (curation, corpus...)
- to stream Crin, to step Corpus: 001860
- to stream Crin, to step Curation: 001860
- to stream Crin, to step Checkpoint: 002B99
Links to Exploration step
CRIN:levy95aLe document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en" wicri:score="365">Improving a Framework for Modelling Specifications Development</title></titleStmt><publicationStmt><idno type="RBID">CRIN:levy95a</idno><date when="1995" year="1995">1995</date><idno type="wicri:Area/Crin/Corpus">001860</idno><idno type="wicri:Area/Crin/Curation">001860</idno><idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Curation">001860</idno><idno type="wicri:Area/Crin/Checkpoint">002B99</idno><idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Checkpoint">002B99</idno><idno type="wicri:Area/Main/Merge">00CC44</idno></publicationStmt><sourceDesc><biblStruct><analytic><title xml:lang="en">Improving a Framework for Modelling Specifications Development</title><author><name sortKey="Levy, N" sort="Levy, N" uniqKey="Levy N" first="N." last="Lévy">N. Lévy</name></author></analytic></biblStruct></sourceDesc></fileDesc><profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>development process</term><term>formal specification</term><term>meta-programming language</term></keywords></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="en" wicri:score="4140">Formal specifications are used in a wide variety of areas, especially where the integrity of systems is critical. Tools and methodologies mainly exist to aid the steps of verification and refinement. But little is done to assist the software engineer in the production of formal specifications. Although the quality of the specification is crucial regarding to the quality of the program derived from it. A framework has been proposed for modelling developments. In this framework, a development step is composed of a workplan, a product and links between them. Each new step is obtained by the application of a development operator, an operator which enables the incremental construction and modification of the specification. Capturing alternative definitions of particular concepts and strategies is made possible by the definition of librairies of such operators. We propose an improvement of the framework, redefining the links between the workplan and the product and describing them by a meta-program, the specification being the result of its evaluation. This meta-program describes the construction of the specification and is incrementally developed by application of the operators.</div></front></TEI></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 00CC44 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Merge/biblio.hfd -nk 00CC44 | 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é= CRIN:levy95a
|texte= Improving a Framework for Modelling Specifications Development
}}
| This area was generated with Dilib version V0.6.33. |  |