Exercices corrigés de conception logicielle : :: SCD d'Orléans

Exercices corrigés de conception logicielle : modélisation des systèmes d'information par la pratique

Exercices corrigés de conception logicielle : modélisation des systèmes d'information par la pratique

Gorde:

Xehetasun bibliografikoak
Egile Nagusiak:	André, Pascal, 1967-...., chercheur en informatique, Vailly, Alain (Egilea)
Formatua:	Livre papier
Hizkuntza:	Français
Argitaratua:	Paris : Ellipses DL 2002. C 2002.
Saila:	Technosup : Génie logiciel
Gaiak:	Systèmes d'information Logiciels > Développement Systèmes, Conception de Génie logiciel Problèmes et exercices
Autres localisations:	Voir dans le Sudoc

Antzeko izenburuak

Conception des systèmes d'information : panorama des méthodes et des techniques
nork: André, Pascal, 1967-...., chercheur en informatique, et al.
Argitaratua: (2001)

Architecture logicielle : Concevoir des applications simples, sûres et adaptables
nork: Printz, Jacques
Argitaratua: (2006)

Conception et qualité du logiciel
nork: Norris, Mark, et al.
Argitaratua: (1995)

Exercices corrigés en langage Z : les spécifications formelles par l'exemple
nork: André, Pascal, 1967-...., chercheur en informatique, et al.
Argitaratua: (2004)

Le développement des systèmes d'information : de MERISE à RAD
nork: Silvestre, Pascal, et al.
Argitaratua: (1996)

Centreon : maîtriser la supervision de votre système d'information
nork: Fontaine, Loïc, 1990-, et al.
Argitaratua: (2019)

Pratique des tests logiciels : améliorer la qualité par les tests : gérer une campagne de test : préparer la certification ISTQB
nork: Pradat-Peyre, Jean-François, 19..-...., enseignant-chercheur en informatique, et al.
Argitaratua: (2021)

Développements logiciels en géomatique : innovations et mutualisation
nork: Bucher, Bénédicte, 1971-
Argitaratua: (2012)

Le logiciel libre dans la mondialisation
nork: Rastetter, Yvon
Argitaratua: (2006)

Développement de logiciels avec UML 2 et OCL : cours, études de cas et exercices corrigés
nork: André, Pascal, 1967-...., chercheur en informatique, et al.
Argitaratua: (2013)

Advanced information systems engineering : Second Nordic Conference CAiSE '90, Stockholm, Sweden, May 8 10, 1990 : proceedings

Advanced information systems engineering : 6th International Conference, CAiSE'94, Utrecht, The Netherlands, June 6 10, 1994 : proceedings

Advanced information systems engineering : 4th International Conference CAiSE '92, Manchester, UK, May 12 15, 1992 : proceedings

Introduction à la spécification
nork: Habrias, Henri, 1946-
Argitaratua: (1993)

Advanced information systems engineering : 9th international conference, CAiSE '97, Barcelona, Catalonia, Spain, June 16 20, 1997 : proceedings

Eléments de génie logiciel : outils de développement en C sous Unix
nork: Chauché, Jacques, 19..-...., auteur en informatique
Argitaratua: (1990)

Les tests logiciels : fondamentaux
nork: Homès, Bernard
Argitaratua: (2011)

Specification and design of software systems : Conference on operating systems, Visegrad, Hungary, January 23 27, 1982 : proceedings

Le génie logiciel
nork: Printz, Jacques
Argitaratua: (2002)

Le génie logiciel
nork: Printz, Jacques
Argitaratua: (2001)

Le génie logiciel
nork: Printz, Jacques
Argitaratua: (2010)

Programmation en C++ et génie logiciel : cours et exercices corrigés
nork: T'kindt, Vincent, 1973-...., chercheur en informatique
Argitaratua: (2007)

Advanced information systems engineering : 10th International Conference, CAiSE '98 Pisa, Italy, June 8 12, 1998 : proceedings

Centreon : maîtrisez la supervision de votre système d'information
nork: Fontaine, Loïc, 1990-
Argitaratua: (2023)

Spécification des logiciels : deux exemples de pratiques récentes : Z et UML
nork: André, Pascal, 1967-...., chercheur en informatique, et al.
Argitaratua: (2001)

Software frameworks and embedded control systems
nork: Pasetti, Alessandro

Maîtrise d'ouvrage des projets informatiques : guide pour le chef de projet
nork: Gabay, Joseph
Argitaratua: (2011)

Précis de génie logiciel
nork: Schlienger-Dupuy, Françoise
Argitaratua: (1996)

Le logiciel système
nork: Falissard, Thierry, 1959-
Argitaratua: (1992)

Centreon : maîtriser la supervision de votre système d'information
nork: Fontaine, Loïc, et al.
Argitaratua: (2012)

Advances in object-oriented information systems : OOIS 2002 workshops, Montpellier, France, September 2, 2002 : proceedings

Tools and algorithms for the construction and analysis of systems : 5th International Conference, TACAS '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings

Réussir en ingénierie de l'information : les techniques de l'analyse
nork: Redouin, Pierre
Argitaratua: (1990)

Pratique des tests logiciels : concevoir et mettre en oeuvre une stratégie de tests : préparer à la certification ISTQB
nork: Pradat-Peyre, Jean-François, et al.
Argitaratua: (2014)

Advanced information systems engineering : 12th International Conference, CAiSE 2000, Stockholm, Sweden, June 5 9, 2000 : proceedings
nork: Wangler, Benkt, et al.

Le génie logiciel
nork: Printz, Jacques
Argitaratua: (2000)

Tools and algorithms for the construction and analysis of sytems : 4th International Conference, TACAS '98 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 April 4, 1998 : proceedings

Theoretical aspects of computer software : ; proceedings 4th international symposium, TACS 2001, Sendai, Japan, October 29-31, 2001

Architecture logicielle : pour une approche organisationnelle, fonctionnelle et technique
nork: Bailet, Thomas, 19..-...., auteur en mathématiques
Argitaratua: (2016)

FM 99 - formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20 24, 1999 : proceedings

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales