Raisonner pour programmer
Identifieur interne : 000368 ( Crin/Corpus ); précédent : 000367; suivant : 000369Raisonner pour programmer
Auteurs : J.-P. Finance ; C. Gresse ; P. Jacquet ; G.-R. Perrin ; A. QuéréSource :
English descriptors
- KwdEn :
Abstract
Comment maîtriser la construction des programmes et des logiciels ? Comment exprimer les informations qui éclairent leur structure profonde ? Face à la diversité des proble========mgrave;es à informatiser et des méthodes d'analyse et de programmation, peut-on trouver un point de vue unificateur sans être dogmatique ? En réponse à ces questions, ce livre propose une typologie des étapes élémentaires de construction de logiciels et une organisation des développements sous forme d'arbres d'analyse. Six exemples diversifiés illustrent cette conception, depuis l'élaboration d'algorithmes fins jusqu'au développement de petits systèmes d'application.
Links to Exploration step
CRIN:annagram86aLe document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en" wicri:score="45">Raisonner pour programmer</title></titleStmt><publicationStmt><idno type="RBID">CRIN:annagram86a</idno><date when="1986" year="1986">1986</date><idno type="wicri:Area/Crin/Corpus">000368</idno></publicationStmt><sourceDesc><biblStruct><analytic><title xml:lang="en">Raisonner pour programmer</title><author><name sortKey="Finance, J P" sort="Finance, J P" uniqKey="Finance J" first="J.-P." last="Finance">J.-P. Finance</name></author><author><name sortKey="Gresse, C" sort="Gresse, C" uniqKey="Gresse C" first="C." last="Gresse">C. Gresse</name></author><author><name sortKey="Jacquet, P" sort="Jacquet, P" uniqKey="Jacquet P" first="P." last="Jacquet">P. Jacquet</name></author><author><name sortKey="Perrin, G R" sort="Perrin, G R" uniqKey="Perrin G" first="G.-R." last="Perrin">G.-R. Perrin</name></author><author><name sortKey="Quere, A" sort="Quere, A" uniqKey="Quere A" first="A." last="Quéré">A. Quéré</name></author></analytic></biblStruct></sourceDesc></fileDesc><profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>program developments</term><term>programming methodology</term><term>programming paradigms</term><term>software design</term><term>strategies</term><term>tactics</term></keywords></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="fr" wicri:score="-809">Comment maîtriser la construction des programmes et des logiciels ? Comment exprimer les informations qui éclairent leur structure profonde ? Face à la diversité des proble========mgrave;es à informatiser et des méthodes d'analyse et de programmation, peut-on trouver un point de vue unificateur sans être dogmatique ? En réponse à ces questions, ce livre propose une typologie des étapes élémentaires de construction de logiciels et une organisation des développements sous forme d'arbres d'analyse. Six exemples diversifiés illustrent cette conception, depuis l'élaboration d'algorithmes fins jusqu'au développement de petits systèmes d'application.</div></front></TEI><BibTex type="book"><ref>annagram86a</ref><crinnumber>86-R-145</crinnumber><category>10</category><equipe>INCONNUE</equipe><author><e>Finance, J.-P.</e><e>Gresse, C.</e><e>Jacquet, P.</e><e>Perrin, G.-R.</e><e>Quéré, A.</e></author><title>Raisonner pour programmer</title><publisher>Dunod Informatique</publisher><year>1986</year><keywords><e>software design</e><e>programming methodology</e><e>program developments</e><e>programming paradigms</e><e>tactics</e><e>strategies</e></keywords><abstract>Comment maîtriser la construction des programmes et des logiciels ? Comment exprimer les informations qui éclairent leur structure profonde ? Face à la diversité des proble========mgrave;es à informatiser et des méthodes d'analyse et de programmation, peut-on trouver un point de vue unificateur sans être dogmatique ? En réponse à ces questions, ce livre propose une typologie des étapes élémentaires de construction de logiciels et une organisation des développements sous forme d'arbres d'analyse. Six exemples diversifiés illustrent cette conception, depuis l'élaboration d'algorithmes fins jusqu'au développement de petits systèmes d'application.</abstract></BibTex></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Crin/Corpus
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000368 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Crin/Corpus/biblio.hfd -nk 000368 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Crin
|étape= Corpus
|type= RBID
|clé= CRIN:annagram86a
|texte= Raisonner pour programmer
}}
| This area was generated with Dilib version V0.6.33. |  |