| Titre : | Raisonner pour programmer |
| Auteurs : | Anna Gram, Auteur |
| Type de document : | Monographie imprimée |
| Editeur : | Paris [France] : Dunod, 1986 |
| Collection : | Dunod informatique, ISSN 0291-1604, num. 25 |
| ISBN/ISSN/EAN : | 2-04-016535-5 |
| Format : | 1 vol. (388 p.) / ill. / 24 cm |
| Note générale : | Bibliogr. p. 383-388 |
| Langues: | Français |
| Index. décimale : | 67 |
| Catégories : |
[Agneaux] Logiciels > Développement [Agneaux] Ordinateurs > Programmation |
| Résumé : |
Comment maîtriser la construction des programmes et des logiciels? Comment exprimer les informations qui éclairent leur structure pro-fonde? Face à la diversité des problèmes à informatiser et des méthodes d'ana-lyse et de programmation, peut-on trouver un point de vue unificateur sans être dogmatique? Ces préoccupations sont présentes dans toutes les réflexions actuelles sur la méthodologie de la programmation, le génie informatique et la conception assistée par ordinateur. 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 jus-qu'au développement de petits systèmes d'application. Il s'adresse à tous ceux qui ont une formation élémentaire en programmation, en logique et en mathématiques et qui s'intéressent aux problèmes que pose la création de logiciels : les informaticiens professionnels, les étudiants en informatique et les enseignants de cette discipline pré-occupés par le foisonnement des méthodes et des langages |
| Sommaire : |
1. Analyse et Programmation 2. Location de bateaux 3. Sous-suites ascendantes 4. Traduction de nombres 5. Gestion d'un aéro-club 6. Simulation d'un ascenseur 7. Bilan, compléments et perspectives |
Disponibilité (3)
| Cote | Support | Localisation | Statut |
|---|---|---|---|
| INF/105 | Livre | bibliothèque sciences exactes | Consultable |
| INF/105 | Livre | bibliothèque sciences exactes | Empruntable |
| INF/105 | Livre | bibliothèque sciences exactes | Empruntable |
