Introduction à la spécification :: SCD d'Orléans

Introduction à la spécification

Introduction à la spécification

Gorde:

Xehetasun bibliografikoak
Egile nagusia:	Habrias, Henri, 1946-
Beste egile batzuk:	Gallaire, Hervé, 1944- (Introdukzio egilea, etabar.)
Formatua:	Livre papier
Hizkuntza:	Français
Argitaratua:	Paris ; Milan ; Barcelone : Masson DL 1993.
Saila:	Méthodologies du logiciel 2
Gaiak:	Génie logiciel Z (méthode formelle) Logiciels > Développement Systèmes d'information > Spécifications Spécifications Logiciels
Autres localisations:	Voir dans le Sudoc

Antzeko izenburuak

Spécifications algébriques, algorithmique et programmation
nork: Dufourd, Jean-François, et al.
Argitaratua: (1995)

Spécification formelle avec B
nork: Habrias, Henri, 1946-
Argitaratua: (2001)

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

Méthode B
Argitaratua: (2003)

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

ZB 2003 : formal specification and development in Z and B : third International Conference of B and Z Users Turku, Finland, June 4 6, 2003 : proceedings

ZB 2002 : formal specification and development in Z and B : 2nd International Conference of B and Z Users, Grenoble, France, January 23 25, 2002 : proceedings

ZUM '95 : the Z formal specification notation : 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995 : proceedings

ZB 2000 : formal specification and development in Z and B : first International Conference of B and Z Users, York, UK, August 29 September 2, 2000 : proceedings

ZUM 98 : the Z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 : proceedings

Exercices corrigés de conception logicielle : modélisation des systèmes d'information par la pratique
nork: André, Pascal, 1967-...., chercheur en informatique, et al.
Argitaratua: (2002)

ZUM '97 : the Z formal specification notation : 10th International Conference of Z Users Reading, UK, April 3 4, 1997 : proceedings

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

Comprendre les méthodes formelles : panorama et outils logiques
nork: Monin, Jean-François
Argitaratua: (1996)

Program development by specification and transformation : the PROSPECTRA methodology, language family, and system
nork: Hoffmann, Berthold, 19..-

Mise en oeuvre de la méthode B
nork: Boulanger, Jean-Louis, 1966-
Argitaratua: (2013)

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

Formal methods for industrial applications : specifying and programming the steam boiler control
nork: Abrial, Jean-Raymond, 1938-2025, informaticien

Introduction à MuPAD : une introduction indépendante de la version et de la plate-forme
nork: Gerhard, Jürgen, 1967-, et al.
Argitaratua: (2001)

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

Docker : pratique des architectures à base de conteneurs
nork: Cloux, Pierre-Yves, et al.
Argitaratua: (2019)

Les technologies de commmandes d'automatismes : évolution, normalisation, automates programmables, atelier logiciel, réseaux : recueil des conférences, textes des conférences présentées à l'occasion de la session 1 d'Automation 93 organisée par le CETIM le 11 mai 1993 à Paris
Argitaratua: (1993)

B'98 : recent advances in the development and use of the B method : second International B Conference, Montpellier, France, April 22-24, 1998 : proceedings

Conduite, diagnostic et maintenance : méthodes et outils pour une meilleure exploitation des systèmes automatisés : recueil des conférences : textes des conférences présentées à l'occasion de la session 2 d'automation 93
Argitaratua: (1993)

Object-oriented information systems : 9th international conference, OOIS 2003, Geneva, Switzerland, September 2-5, 2003 : proceedings

Git : maîtrisez la gestion de vos versions : (concepts, utilisation et cas pratiques)
nork: Dauzon, Samuel
Argitaratua: (2021)

Git : maîtrisez la gestion de vos versions : (concepts, utilisation et cas pratiques)
nork: Dauzon, Samuel, 19..-
Argitaratua: (2021)

Le DevOps en pratique avec GitLab : gestion de projets et pipelines CI/CD
nork: Breton, Luc
Argitaratua: (2025)

Software craft : TDD, Clean Code et autres pratiques essentielles
nork: Martraire, Cyrille, et al.
Argitaratua: (2025)

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

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

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

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

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)

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

The PyQGIS programmer's guide : extending QGIS 3.x with Python 3
nork: Sherman, Gary E., 1953-
Argitaratua: (2018)

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

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)

Mathematica : calcul formel et programmation symbolique pour l'informatique scientifique
nork: Barrère, Rémi
Argitaratua: (2002)

Git par la pratique
nork: Demaree, David, 19..-
Argitaratua: (2017)

© 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