Les bases de la programmation et du génie logiciel / Guy PIERRA

Titre : Les bases de la programmation et du génie logiciel Type de document : texte imprimé Auteurs : Guy PIERRA Editeur : Dunod Informatique Année de publication : 1991 Importance : 653 p. ISBN/ISSN/EAN : 978-2-04-020722-9 Note générale : Sommaire Intro. Annexes Bibliographie Index alphabétique Table des matières Catégories : Génie logiciel Programmation Index. décimale : 005 Programmation, programmes, organisation des données, logiciel Résumé : Le problème de la programmation Description dun langage algorithmique Programmation structurée : conception d'un algorithme arborescent Analyse modulaire : Conception d'architectures fonctionnelles Organisation des données d'un algorithme : types abstraits et constructeurs de type Analyse modulaire : conception d'architectures modulaires et orientées objets Codage et mise au point des programmes

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00000635	005 PIE	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

Les bases de la programmation et du génie logiciel / Guy PIERRA

Titre : Les bases de la programmation et du génie logiciel Type de document : texte imprimé Auteurs : Guy PIERRA Editeur : Dunod Informatique Année de publication : 1991 Importance : 653 p. Note générale : Sommaire Intro. Annexes Bibliographie Index alphabétique Table des matières Catégories : Génie logiciel Programmation Index. décimale : 005.1 Programmation Résumé : Le problème de la programmation Description dun langage algorithmique Programmation structurée : conception d'un algorithme arborescent Analyse modulaire : Conception d'architectures fonctionnelles Organisation des données d'un algorithme : types abstraits et constructeurs de type Analyse modulaire : conception d'architectures modulaires et orientées objets Codage et mise au point des programmes

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00002010	005.1 PIE	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible
B00002004	005.1 PIE	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

Les bases de la programmation et du génie logiciel / Guy PIERRA

Titre : Les bases de la programmation et du génie logiciel Type de document : texte imprimé Auteurs : Guy PIERRA Editeur : Dunod Informatique Année de publication : 1991 Importance : 653 p. Note générale : Sommaire Intro. Annexes Bibliographie Index alphabétique Table des matières Catégories : Génie logiciel Programmation Index. décimale : 005.13 Langages de programmation Résumé : Le problème de la programmation Description dun langage algorithmique Programmation structurée : conception d'un algorithme arborescent Analyse modulaire : Conception d'architectures fonctionnelles Organisation des données d'un algorithme : types abstraits et constructeurs de type Analyse modulaire : conception d'architectures modulaires et orientées objets Codage et mise au point des programmes

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00002012	005.13 PIE	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible
B00002169	005.13 PIE	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

CIM et temps réel : Mise en oeuvre d'un atelier de génie logiciel et de génie automatique / Henri BRENIER

Titre : CIM et temps réel : Mise en oeuvre d'un atelier de génie logiciel et de génie automatique Type de document : texte imprimé Auteurs : Henri BRENIER Editeur : Dunod Année de publication : 1992 Collection : Informatique Industrielle Importance : 245 p. ISBN/ISSN/EAN : 978-2-10-001141-4 Note générale : Préface Table des matières Introduction Liste des figures Bibliographie Catégories : Automatisation Génie industriel Génie logiciel Gestion Gestion:Informatique Industrie Industrie:Informatique Productique Temps réel (informatique) Index. décimale : 004.33 Temps réel Résumé : CHAMPS D'APPLICATIONS L'usine intégrée Pour une méthode de spécification du CIM Modules à puces intégrés à des produits Pour un langage de modélisation d'OMIC OMIC ET CIM Les outils de manipulation de l'information et de contrôle (OMIC) Gestion des développements CIM LANGAGES DE L'ANALYSE STRUCTUREE Bases cybernétiques des langages de modélisation Systèmes de données (SyD) Systèmes de transformations de données THEORIE DES PHENOMENES Signaux et phénomènes Diagrammes des flux et des influences Phénomènes discrets ou d'automatisme Phénomènes non discrets LA MODELISATION Modélisation de climatiser habitacle Pratique de la modélisations

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00004102	004.33 BRE	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible
00004101	004.33 BRE	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

De Common Lisp à la programmation objet / Habib ABDULRAB

Titre : De Common Lisp à la programmation objet Type de document : texte imprimé Auteurs : Habib ABDULRAB Editeur : Hermès Science Publications Année de publication : 1990 Collection : Traité des Nouvelles Technologies, série Informatique Importance : 225 p. ISBN/ISSN/EAN : 978-2-86601-244-1 Note générale : Table des matières Avant-propos Annexe A : Représentation interne Annexe B : Solutions des exercices Annexe C : Notations Bibliographie Index Catégories : Common LISP (langage de programmation) Génie logiciel Intelligence artificielle Langages de programmation Programmation orientée objets (informatique) Index. décimale : 005.13 Langages de programmation Résumé : Introduction à LISP Primitives de base de LISP Evaluation en LISP Introduction à la programmation par objets Mécanismes de base de la programmation par objets Exploration du graphe d'héritage Implémentation d'un langage à objets Unification

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00000538	005.13 ABD	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

Génie logiciel : les méthodes SADT, SA, E-A, SA-RT, SYS-P-O, OOD, HOOD... / Patrick JAULENT

Titre : Génie logiciel : les méthodes SADT, SA, E-A, SA-RT, SYS-P-O, OOD, HOOD... Type de document : texte imprimé Auteurs : Patrick JAULENT Mention d'édition : Deuxième édition Editeur : Armand Colin Année de publication : 1992 Importance : 295 p. ISBN/ISSN/EAN : 978-2-200-42041-3 Note générale : Table des matières. Annexe. Bibliographie. Catégories : Génie logiciel Industrie Industrie:Informatique Informatique Langages orientés objets (informatique) Temps réel (informatique) Index. décimale : 005.133 Langages spécifiques Résumé : Génie logiciel : Approche industrielle. Conception statique d'un système. Conception dynamique d'un système. La spécification statique du logiciel. La spécification dynamique du logiciel. Les enjeux de la conception du logiciel. La pensée impérative. La conception structurée. La pensée applicative. Le langage ADA.

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00000674	005.133 JAU	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

Le génie logiciel orienté objet : une approche fondée sur les cas d'utilisation / Ivar JACOBSON

Titre : Le génie logiciel orienté objet : une approche fondée sur les cas d'utilisation Type de document : texte imprimé Auteurs : Ivar JACOBSON ; Magnus CHRISTERSON ; Patrik JONNSON ; Gunnar OVERGAARD ; Jean-Marie ANDRE, Traducteur Editeur : Addison-Wesley Publishing Company, Inc. Année de publication : 1993 Importance : 536 p. ISBN/ISSN/EAN : 978-2-87908-042-0 Note générale : Préface Avant-propos Table des matières Annexes Bibliographie Index Catégories : Conception orientée objet Génie logiciel Index. décimale : 005.1 Programmation Résumé : Introduction : Le développement de systèmes, un processus industriel Le cycle de vie du système Qu'est-ce que l'orientation objet? Le développement de systèmes orientés objet La programmation orientée objet Les concepts : Architecture L'analyse La construction Spécialisation pour le temps réel Spécialisation pour les bases de données Les composants Le test Application : Etude de cas : un système de gestion d'entrepôts Etude de cas : les télécommunications Gèrer le génie logiciel orienté objet Les autres méthodologies orientées objet

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00000626	005.1 JAC	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Sorti jusqu'au 30/09/2025

Ingénierie du logiciel avec Ada : De la conception à la réalisation / Grady BOOCH

Titre : Ingénierie du logiciel avec Ada : De la conception à la réalisation Autre titre : Software Engineering with Ada Type de document : texte imprimé Auteurs : Grady BOOCH ; Jean-Pierre ROSEN, Traducteur Mention d'édition : 3e tirage Editeur : InterEditions Année de publication : 1991 Importance : 680 p. ISBN/ISSN/EAN : 978-2-7296-0192-8 Note générale : Table des matières Avant-propos Préface Préface du traducteur Annexes Glossaire Notes Bibliographie Index Catégories : Ada (langage de programmation) Génie logiciel Index. décimale : 005.133 Langages spécifiques Résumé : Premier paquetage : le domaine de problème Second paquetage : présentation d'Ada Troisième paquetage : structures de données Quatrième paquetage : algorithmes et contrôle Cinquième paquetage : concepts d'empaquetage Sixième paquetage : traitement parallèle en temps réel Septième paquetage : développement de systémes Huitième paquetage : programmer pour Ada

Exemplaires (6)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00000465	005.133 BOO	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible
B00000460	005.133 BOO	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible
B00000650	005.133 BOO	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible
B00002015	005.133 BOO	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible
B00000466	005.133 BOO	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	BD/Romans archivés	Disponible
B00000651	005.133 BOO	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	BD/Romans archivés	Disponible

Méthodes de génie logiciel avec ADA 95 / Jean-Pierre ROSEN

Titre : Méthodes de génie logiciel avec ADA 95 Type de document : texte imprimé Auteurs : Jean-Pierre ROSEN Editeur : InterEditions Année de publication : 1995 Importance : 412 p. ISBN/ISSN/EAN : 978-2-7296-0569-8 Note générale : Table des matières Introduction Conclusion Annexes Bibliographie Glossaire Index Catégories : Ada (langage de programmation) Ada (langage de programmation):Ada 95 (langage de programmation) Génie logiciel Index. décimale : 005.1 Programmation Résumé : Une présentation rapide du langage Ada Langages et méthodes Méthodes avec Ada Composants logiciels Organisation de projet et choix fondamentaux Une méthode orientée objet pour les projets de taille moyenne

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00001998	005.1 ROS	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

Spécifications algébriques, algorithmique et programmation / Jean-François DUFOURD

Titre : Spécifications algébriques, algorithmique et programmation Type de document : texte imprimé Auteurs : Jean-François DUFOURD ; Dominique BECHMANN ; Yves BERTRAND Editeur : InterEditions Année de publication : 1995 Importance : 486 p. ISBN/ISSN/EAN : 978-2-7296-0581-0 Note générale : Table des matières Avant-propos Références Index Catégories : Algorithmes Génie logiciel Programmation Index. décimale : 005.13 Langages de programmation Résumé : SPECIFICATION ET PROGRAMME Construction de programmes Spécifications algébriques : 1., le cas équationnel pur Spécifications algébriques : 2., le cas général Implantation et programmation Spécifications étendues Piles, files et listes linéaires Suppression de la récursivité Complexité et optimalité STRUCTURES ET ALGORITHMES Tables Graphes : 1., Spécification et implantation Graphes : 2., Algorithmes classiques Arbres et forêts : 1., Spécification et implantation arbres et forêts : 2., Algorithmes et variétés d'arbres Tris internes Fichiers Tris externes

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00000472	005.13 DUF	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

Vers une conception logique et physique des bases de données avancées dirigée par la variabilité / Selma BOUARAR  

Titre : Vers une conception logique et physique des bases de données avancées dirigée par la variabilité Type de document : thèse Auteurs : Selma BOUARAR, Auteur ; Ladjel BELLATRÈCHE, Directeur de thèse ; Stéphane JEAN, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Isabelle COMYN-WATTIAU, Rapporteur ; Esteban ZIMANYI, Rapporteur ; Xavier BLANC, Examinateur ; Parisa GHODOUS, Examinateur Importance : 227 p. Note générale : NNT 2016ESMA0024 Remerciements Table des matières Introduction générale Bibliographie Annexes Table des figures Liste des tableaux Glossaire Résumé Mots clés Catégories : Analyse des données Bases de données:Conception Bases de données:Interrogation Entrepôts de données Génie logiciel Lignes de produits Ordinateurs:Alimentation en énergie Structure logique Théorie de la pertinence (linguistique) Théorie des modèles Résumé : DE LA NECESSITE D'UNE GESTION EXPLICITE DE LA VARIABILITE POUR LA CONCEPTION DES BASES DE DONNEES Evolution du cycle de la conception des bases de données Gestion de la variabilité de la conception des bases de données APPROCHE PAR ETAPES POUR LA GESTION DE LA VARIABILITE AU SEIN DE LA CONCEPTION DES BASES DE DONNEES La conception des bases de données comme une ligne de produits Impact de la variabilité sur l'optimisation logique Impact de la variabilité sur l'optimisation physique CONCLUSION ET PERSPECTIVES En ligne : https://tel.archives-ouvertes.fr/tel-01470445

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00014146	TH-16 BOU	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

---

1 (1 - 11 / 11) Par page : 25 50 100 200