الفهرس الالي لمكتبة كلية العلوم الدقيقة و الاعلام الالي
Résultat de la recherche
8 résultat(s) recherche sur le mot-clé 'ingénierie'
Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche Interroger des sources externes
Ingénierie de la spécialisation de programmes, 1. Ingénierie de la spécialisation de programmes / Renaud Marlet
Titre de série : Ingénierie de la spécialisation de programmes, 1 Titre : Ingénierie de la spécialisation de programmes Type de document : texte imprimé Auteurs : Renaud Marlet, Auteur Editeur : Paris : Hermès sciences publications-Lavoisier Année de publication : impr. 2011 Collection : Collection Logique et programmation, ISSN 2256-9243 Importance : 1 vol. (349 p.) Format : 24 cm ISBN/ISSN/EAN : 978-2-7462-2101-7 Note générale : Bibliogr. p. 281-308. Index Langues : Français (fre) Mots-clés : Ingénierie programmes Index. décimale : 006 Résumé : La spécialisation de programmes, aussi appelée évaluation partielle, est une technique générale destinée à rendre les programmes plus performants (plus rapides et possiblement plus petits) quand certaines entrées peuvent être connues à l'avance. Du point de vue du génie logiciel, la spécialisation facilite aussi grandement l'écriture des programmes et leur maintenance. La spécialisation de programmes, est conçu à la fois pour les chercheurs et les ingénieurs logiciels, tant architectes que développeurs, en fait une large présentation pratique. Ce volume pose la problématique de l'adaptation par la spécialisation. Il présente les grands principes de la spécialisation de programmes ainsi que les techniques de spécialisation, en se concentrant plus particulièrement sur la spécialisation dite hors ligne. A titre illustratif, il décrit aussi l'architecture de Tempo, spécialiseur hors ligne pour le langage C, capable d'effectuer des spécialisations en cours d'exécution. Il est illustré de résultats chiffrés pour des applications concrètes dans différents domaines. Ingénierie de la spécialisation de programmes, 1. Ingénierie de la spécialisation de programmes [texte imprimé] / Renaud Marlet, Auteur . - Paris : Hermès sciences publications-Lavoisier, impr. 2011 . - 1 vol. (349 p.) ; 24 cm. - (Collection Logique et programmation, ISSN 2256-9243) .
ISBN : 978-2-7462-2101-7
Bibliogr. p. 281-308. Index
Langues : Français (fre)
Mots-clés : Ingénierie programmes Index. décimale : 006 Résumé : La spécialisation de programmes, aussi appelée évaluation partielle, est une technique générale destinée à rendre les programmes plus performants (plus rapides et possiblement plus petits) quand certaines entrées peuvent être connues à l'avance. Du point de vue du génie logiciel, la spécialisation facilite aussi grandement l'écriture des programmes et leur maintenance. La spécialisation de programmes, est conçu à la fois pour les chercheurs et les ingénieurs logiciels, tant architectes que développeurs, en fait une large présentation pratique. Ce volume pose la problématique de l'adaptation par la spécialisation. Il présente les grands principes de la spécialisation de programmes ainsi que les techniques de spécialisation, en se concentrant plus particulièrement sur la spécialisation dite hors ligne. A titre illustratif, il décrit aussi l'architecture de Tempo, spécialiseur hors ligne pour le langage C, capable d'effectuer des spécialisations en cours d'exécution. Il est illustré de résultats chiffrés pour des applications concrètes dans différents domaines. Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité fsei09863 006-292.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible Ingénierie de la spécialisation de programmes, 2. Ingénierie de la spécialisation de programmes / Renaud Marlet
Titre de série : Ingénierie de la spécialisation de programmes, 2 Titre : Ingénierie de la spécialisation de programmes Type de document : texte imprimé Auteurs : Renaud Marlet, Auteur Editeur : Paris : Hermès sciences publications-Lavoisier Année de publication : impr. 2011 Collection : Collection Logique et programmation, ISSN 2256-9243 Importance : 1 vol. (343 p.) Format : 24 cm ISBN/ISSN/EAN : 978-2-7462-3799-5 Note générale : Bibliogr. p. 285-301. Index Langues : Français (fre) Mots-clés : Ingénierie programmes Index. décimale : 006 Résumé : La spécialisation de programmes, aussi appelée évaluation partielle, est une technique générale destinée à rendre les programmes plus performants (plus rapides et possiblement plus petits) quand certaines entrées peuvent être connues à l'avance. Du point de vue du génie logiciel, la spécialisation facilite aussi grandement l'écriture des programmes et leur maintenance. La spécialisation de programmes, conçu à la fois pour les chercheurs et les ingénieurs logiciels, tant architectes que développeurs, en fait une large présentation pratique. Ce volume détaille une gamme étendue de précisions d'analyses de programmes, qui sont déterminantes sur le degré de spécialisation. Il étudie également les questions de réification et de spécialisation de programmes incomplets, d'ordinaire peu traitées mais pourtant capitales, et explore diverses manières efficaces d'exploiter un sous programme spécialisé. Il décrit aussi la spécialisation incrémentale, notamment à l'exécution, et présente une puissante technique alternative de spécialisation, la spécialisation de données. Il apporte des perspectives scientifiques et industrielles Ingénierie de la spécialisation de programmes, 2. Ingénierie de la spécialisation de programmes [texte imprimé] / Renaud Marlet, Auteur . - Paris : Hermès sciences publications-Lavoisier, impr. 2011 . - 1 vol. (343 p.) ; 24 cm. - (Collection Logique et programmation, ISSN 2256-9243) .
ISBN : 978-2-7462-3799-5
Bibliogr. p. 285-301. Index
Langues : Français (fre)
Mots-clés : Ingénierie programmes Index. décimale : 006 Résumé : La spécialisation de programmes, aussi appelée évaluation partielle, est une technique générale destinée à rendre les programmes plus performants (plus rapides et possiblement plus petits) quand certaines entrées peuvent être connues à l'avance. Du point de vue du génie logiciel, la spécialisation facilite aussi grandement l'écriture des programmes et leur maintenance. La spécialisation de programmes, conçu à la fois pour les chercheurs et les ingénieurs logiciels, tant architectes que développeurs, en fait une large présentation pratique. Ce volume détaille une gamme étendue de précisions d'analyses de programmes, qui sont déterminantes sur le degré de spécialisation. Il étudie également les questions de réification et de spécialisation de programmes incomplets, d'ordinaire peu traitées mais pourtant capitales, et explore diverses manières efficaces d'exploiter un sous programme spécialisé. Il décrit aussi la spécialisation incrémentale, notamment à l'exécution, et présente une puissante technique alternative de spécialisation, la spécialisation de données. Il apporte des perspectives scientifiques et industrielles Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité fsei09864 006-293.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible Ingénierie des composants / Mourad Oussalah
Titre : Ingénierie des composants : concepts, techniques et outils Type de document : texte imprimé Auteurs : Mourad Oussalah Editeur : Paris : Vuibert informatique Année de publication : 2005 Importance : xiv, 371 p. Présentation : ill ISBN/ISSN/EAN : 978-2-7117-4836-5 Mots-clés : Ingénierie composants Index. décimale : 006 Résumé : La complexité croissante des systèmes informatiques et leur évolution de plus en plus rapide ont suscité un intérêt accru pour le développement de logiciels à base de composants. Cet intérêt est motivé par la réduction des coûts et des délais de développement des applications. En effet, on prend moins de temps à acheter (et donc à réutiliser) un composant qu'à
le concevoir, le coder, le tester, le déboguer et le documenter.
Aujourd'hui, une nouvelle évolution s'annonce dans l'art de concevoir des systèmes logiciels. Après les technologies objet qui ont profondément modifié l'ingénierie des systèmes logiciels en améliorant leur analyse, leur conception
et leur développement, une nouvelle ère de conception de systèmes débute : l'orienté composant. Il s'agit de concevoir et de développer des systèmes par assemblage de composants réutilisables, à l'image par exemple des composants électroniques ou des composants mécaniques. Plus précisément, il s'agit de : concevoir et développer des systèmes à partir de composants préfabriqués, préconçus et prétestés ; réutiliser ces composants dans d'autres applications ; faciliter leur maintenance et leur évolution ; favoriser leur adaptabilité et leur configurabilité pour produire de nouvelles fonctionnalités et de nouvelles caractéristiques. Cet ouvrage fait une synthèse des systèmes logiciels à base de composants en présentant leurs concepts, leurs techniques de spécification, de conception, de validation et d'implémentation ainsi que les outils correspondants conçus et utilisés dans les domaines universitaire (ACME, UNICON, RAPIDE, WRIGHT, etc.) et industriel (EJB, COM/DCOM, CCM,.NET, etc.).Ingénierie des composants : concepts, techniques et outils [texte imprimé] / Mourad Oussalah . - Paris : Vuibert informatique, 2005 . - xiv, 371 p. : ill.
ISBN : 978-2-7117-4836-5
Mots-clés : Ingénierie composants Index. décimale : 006 Résumé : La complexité croissante des systèmes informatiques et leur évolution de plus en plus rapide ont suscité un intérêt accru pour le développement de logiciels à base de composants. Cet intérêt est motivé par la réduction des coûts et des délais de développement des applications. En effet, on prend moins de temps à acheter (et donc à réutiliser) un composant qu'à
le concevoir, le coder, le tester, le déboguer et le documenter.
Aujourd'hui, une nouvelle évolution s'annonce dans l'art de concevoir des systèmes logiciels. Après les technologies objet qui ont profondément modifié l'ingénierie des systèmes logiciels en améliorant leur analyse, leur conception
et leur développement, une nouvelle ère de conception de systèmes débute : l'orienté composant. Il s'agit de concevoir et de développer des systèmes par assemblage de composants réutilisables, à l'image par exemple des composants électroniques ou des composants mécaniques. Plus précisément, il s'agit de : concevoir et développer des systèmes à partir de composants préfabriqués, préconçus et prétestés ; réutiliser ces composants dans d'autres applications ; faciliter leur maintenance et leur évolution ; favoriser leur adaptabilité et leur configurabilité pour produire de nouvelles fonctionnalités et de nouvelles caractéristiques. Cet ouvrage fait une synthèse des systèmes logiciels à base de composants en présentant leurs concepts, leurs techniques de spécification, de conception, de validation et d'implémentation ainsi que les outils correspondants conçus et utilisés dans les domaines universitaire (ACME, UNICON, RAPIDE, WRIGHT, etc.) et industriel (EJB, COM/DCOM, CCM,.NET, etc.).Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité fsei02642 006-255.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Sorti jusqu'au 12/06/2023 fsei01850 006-255.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible Ingénierie des données / tienne Pichat
Titre : Ingénierie des données : Base de données;systémes d'information, modéles et langages Type de document : texte imprimé Auteurs : tienne Pichat, ; Ren© Bodin (1947-....), Editeur : Paris : Masson Année de publication : 1990 Collection : Manuels informatiques Masson, ISSN 0249-6992 Importance : 428 p. Présentation : fig. Format : 24 cm x 16 cm ISBN/ISSN/EAN : 978-2-225-82266-7 Langues : Français (fre) Mots-clés : Ingénierie base de données systèmes d'information modèle langage Index. décimale : 004 Résumé : Relation Universelle avec Inclusions et Graphe sémantique
Panorama de modèles conceptuels de données
Les langages d'interrogation relationnels et SQL
La conception des schémas d'accès
Bases de données réseau et hiérarchiques: description et navigation
Optimisation de l'implantation et des traitements
Exemple d'applicationIngénierie des données : Base de données;systémes d'information, modéles et langages [texte imprimé] / tienne Pichat, ; Ren© Bodin (1947-....), . - Paris : Masson, 1990 . - 428 p. : fig. ; 24 cm x 16 cm. - (Manuels informatiques Masson, ISSN 0249-6992) .
ISBN : 978-2-225-82266-7
Langues : Français (fre)
Mots-clés : Ingénierie base de données systèmes d'information modèle langage Index. décimale : 004 Résumé : Relation Universelle avec Inclusions et Graphe sémantique
Panorama de modèles conceptuels de données
Les langages d'interrogation relationnels et SQL
La conception des schémas d'accès
Bases de données réseau et hiérarchiques: description et navigation
Optimisation de l'implantation et des traitements
Exemple d'applicationRéservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité fsei00436 004-175.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00437 004-175.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible Ingénierie du logiciel avec ADA / Grady Booch
Titre : Ingénierie du logiciel avec ADA : de la conception à la réalisation Type de document : texte imprimé Auteurs : Grady Booch (1955-....), Auteur ; Jean-Pierre Rosen, Traducteur Editeur : Paris : InterÉditions Année de publication : 1988 Collection : IIA Informatique intelligence artificielle, ISSN 0297-5416 num. 12 Importance : 680 p. Présentation : ill., couv. ill. en coul. Format : 23 cm ISBN/ISSN/EAN : 978-2-7296-0192-8 Note générale : Bibliogr. p. 660-671. Index Langues : Français (fre) Mots-clés : Ingénierie logiciel Index. décimale : 006 Ingénierie du logiciel avec ADA : de la conception à la réalisation [texte imprimé] / Grady Booch (1955-....), Auteur ; Jean-Pierre Rosen, Traducteur . - Paris : InterÉditions, 1988 . - 680 p. : ill., couv. ill. en coul. ; 23 cm. - (IIA Informatique intelligence artificielle, ISSN 0297-5416; 12) .
ISBN : 978-2-7296-0192-8
Bibliogr. p. 660-671. Index
Langues : Français (fre)
Mots-clés : Ingénierie logiciel Index. décimale : 006 Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité fsei02315 006-104.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei02316 006-104.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible L'ingénierie dirigée par les modèles
PermalinkL'ingénierie des protocoles / Paul Angosto
PermalinkStratégie et ingénierie de la sécurité des réseaux / Solange Ghernaouti-H©lie
Permalink