La Maîtrise du développement de logiciel : abstraction et spécification

La Maîtrise du développement de logiciel : abstraction et spécification

Kaydedildi:

Detaylı Bibliyografya
Yazar:	Liskov, Barbara.
Diğer Yazarlar:	Guttag, John.
Materyal Türü:	Livre
Dil:	Français
Baskı/Yayın Bilgisi:	Paris : Ed. d'Organisation, 1990
Seri Bilgileri:	Ingénierie des systèmes d'information
Konular:	Logiciels > Développement. Génie logiciel.
Çeviri:	-- Abstractions and specification in program development

Benzer Materyaller

Génie logiciel en informatique de gestion
Yazar:: Soberman, Marcel.
Baskı/Yayın Bilgisi: (1992)

Génie logiciel
Yazar:: Gustafson, David A.
Baskı/Yayın Bilgisi: (2003)

Le génie logiciel
Yazar:: Printz, Jacques.
Baskı/Yayın Bilgisi: (1995)

La science du logiciel libre.
Baskı/Yayın Bilgisi: (2009)

Construction et maintenance de logiciel : un point de vue pratique
Yazar:: Gabrini, Philippe J. (1940-....; informaticien).
Baskı/Yayın Bilgisi: (2006)

Génie logiciel et psychologie de la programmation
Yazar:: Détienne, Françoise, 1957-
Baskı/Yayın Bilgisi: (1998)

Le processus unifié de développement logiciel
Yazar:: Jacobson, Ivar.
Baskı/Yayın Bilgisi: (2000)

Ingénierie du logiciel avec ADA : de la conception à la réalisation
Yazar:: Booch, Grady.
Baskı/Yayın Bilgisi: (1988)

Le génie logiciel orienté objet : une approche fondée sur les cas d'utilisation
Yazar:: Jacobson, Ivar.
Baskı/Yayın Bilgisi: (1993)

Software architecture in practice
Yazar:: Bass, Len.
Baskı/Yayın Bilgisi: (2013)

Practical formal software engineering : wanting the software you get
Yazar:: Mills, Bruce, 1962-
Baskı/Yayın Bilgisi: (2009)

Contrefaçon de logiciel : les solutions juridiques
Yazar:: Bernault, Carine.
Baskı/Yayın Bilgisi: (2003)

Comment faire confiance à un compilateur ?
Yazar:: Leroy, Xavier.
Baskı/Yayın Bilgisi: (2010)

WinDev 15 : les fondamentaux du développement avec WinDev
Yazar:: Vandevelde, David.
Baskı/Yayın Bilgisi: (2010)

Se repérer dans la jungle des logiciels
Yazar:: Ross, David.
Baskı/Yayın Bilgisi: (2008)

MDA en action : ingénierie logicielle guidée par les modèles
Yazar:: Blanc, Xavier, 1975-
Baskı/Yayın Bilgisi: (2005)

Logiciels libres : même en bibliothèque !
Yazar:: Roumieux, Olivier.
Baskı/Yayın Bilgisi: (2003)

Tribune libre : ténors de l'informatique libre
Baskı/Yayın Bilgisi: (1999)

Logiciels info - doc : Grand saut sans le libre [Dossier].
Baskı/Yayın Bilgisi: (2005)

Les logiciels documentaires : description de dix systèmes de gestion du marché
Yazar:: Lénart, Michèle.
Baskı/Yayın Bilgisi: (2001)

Usages concurrents et complémentaires des logiciels libres et des logiciels propriétaires : Atelier i-expo
Yazar:: Scopsi, Claire.
Baskı/Yayın Bilgisi: (2008)

Modélisation et spécification formelle des logiciels
Yazar:: Tremblay, Guy (1958-....).
Baskı/Yayın Bilgisi: (2006)

Logiciels d'enquête : Au plus près de l'utilisateur
Yazar:: Texier, Bruno.
Baskı/Yayın Bilgisi: (2008)

Logiciels documentaires et logiciels d'archives : deux enquêtes [Dossier].
Baskı/Yayın Bilgisi: (2001)

Logiciel documentaire : Search'97, en Intranet, en client/serveur et en CD-Rom
Yazar:: Lubkov, Michel.
Baskı/Yayın Bilgisi: (1997)

La protection des logiciels
Yazar:: Bertrand, André, 1952-
Baskı/Yayın Bilgisi: (1994)

Applications objet
Yazar:: Harmon, Paul, 19..-
Baskı/Yayın Bilgisi: (1994)

Logiciels libres en gestion de l'information : Guide pratique Archimag
Baskı/Yayın Bilgisi: (2007)

Améliorer la maintenance du logiciel
Yazar:: April, Alain.

Logiciels libres : l'auberge espagnole
Yazar:: Oriol, Marie-Pierre.
Baskı/Yayın Bilgisi: (2005)

Logiciels d'enquête : Comment créer vos enquêtes en toute liberté
Yazar:: Boillet, Virginie.
Baskı/Yayın Bilgisi: (2006)

Recherche documentaire et gestion de bibliothèque, un logiciel unique ? : l'offre du marché
Yazar:: Bourdin, Joseph.
Baskı/Yayın Bilgisi: (1994)

Logiciel Documentum : La gestion de la Ged
Yazar:: Zinsou, Hospice.
Baskı/Yayın Bilgisi: (1997)

Utopie du logiciel libre
Yazar:: Broca, Sébastien, 1983-
Baskı/Yayın Bilgisi: (2018)

Panorama de presse et logiciels : Modulations sur un même thème
Yazar:: Nuttin, Guillaume.
Baskı/Yayın Bilgisi: (2007)

Systèmes multi-agents et systèmes complexes : ingénierie, résolution de problèmes et simulation : actes des
Baskı/Yayın Bilgisi: (2002)

Logiciels documentaires : Baisse de l'offre, convergence des produits
Yazar:: Remize, Michel.
Baskı/Yayın Bilgisi: (1998)

Le Sphinx Lexica logiciel d'enquête et d'analyse de données : manuel de référence version 2000 pour Windows
Baskı/Yayın Bilgisi: (1999)

Software factories : assembling applications with patterns, models, frameworks, and tools
Yazar:: Greenfield, Jack, 1957-
Baskı/Yayın Bilgisi: (2004)

Les logiciels documentaires sur Macintosh
Yazar:: Crépy, Dominique.
Baskı/Yayın Bilgisi: (1992)

Université catholique de l'Ouest - Bibliothèques - 3 place André Leroy - BP10808 - 49008 ANGERS Cedex 1