Vérification de logiciels : :: SCD d'Orléans

Vérification de logiciels : techniques et outils du model-checking

Vérification de logiciels : techniques et outils du model-checking

Enregistré dans:

Bibliografiske detaljer
Auteurs principaux:	Bérard, Béatrice, 19..-...., professeure en informatique, Bidoit, Michel, 1957- (Auteur), Laroussinie, François, 19..-...., auteur en informatique (Auteur)
Andre forfattere:	Schnoebelen, Philippe, 19..-...., auteur en informatique (Directeur de la publication), Cécé, Gérard, 19..- (Collaborateur), Dufourd, Catherine, 19..- (Collaborateur), Finkel, Alain, 1958- (Collaborateur), Petrucci, Laure, 19..- (Collaborateur), Sutre, Grégoire, 1975- (Collaborateur)
Format:	Livre papier
Sprog:	Français
Udgivet:	Paris : Vuibert DL 1999.
Serier:	Vuibert informatique
Fag:	Logiciels > Vérification Logiciels > Fiabilité Débogage Logiciels > Développement > Contrôle de la qualité
Kommentar:	Autres contributions : Laure Petrucci, Grégoire Sutre
Autres localisations:	Voir dans le Sudoc

Lignende værker

Utilisations industrielles des techniques formelles : interprétation abstraite
Udgivet: (2011)

Principles of model checking
af: Baier, Christel, 19..-, et autres
Udgivet: (2008)

Conception et qualité du logiciel
af: Norris, Mark, et autres
Udgivet: (1995)

Composants logiciels et sûreté de fonctionnement : intégration de COTS
Udgivet: (2000)

Computer aided verification : Fourth International Workshop, CAV '92, Montreal, Canada, June 29 July 1, 1992 : proceedings

Modélisation aléatoire en fiabilité des logiciels
af: Gaudoin, Olivier, et autres
Udgivet: (2007)

Qualité logicielle pour les développeurs : un back-end de qualité : plus d'excuses !
af: Lépine, Jean-François, 19..-...., informaticien
Udgivet: (2023)

Automated and algorithmic debugging : first international workshop, AADEBUG '93, Linköping, Sweden, May 3-5, 1993 : proceedings

ISO 9001 et développement du logiciel : guide d'application
Udgivet: (1996)

Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction
af: Müller-Olm, Markus, 19..-

Tout sur le test logiciel : préparation à la certification ISTQB : profession testeur
af: Hage Chahine, Marc, 19..-
Udgivet: (2019)

Compiler specification and verification
af: Polak, Wolfgang, 1950-

L'assurance qualité logicielle. concepts de base
af: April, Alain, et autres
Udgivet: (2011)

Verification, model checking, and abstract interpretation : Third International Workshop, VMCAI 2002 Venice, Italy, January 21 22, 2002 : revised papers
Udgivet: (2003)

Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings
af: Steffen, Bernhard, 1956-

SPIN model checking and software verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30-Sept. 1, 2000 : proceedings

Qualité logicielle pour les développeurs : un back-end de qualité : plus d'excuses !
af: Lépine, Jean-François, 19..-...., informaticien
Udgivet: (2023)

Verification, model checking, and abstract interpretation : 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings

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

Clean code : a handbook of agile software craftsmanship
af: Martin, Robert C., 1952-
Udgivet: (2009)

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

Effective Functional Verification : Principles and Processes
af: Vasudevan, Srivatsa
Udgivet: (2006)

Program verification using Ada
af: McGettrick, Andrew D., 1944-
Udgivet: (1982)

Computer safety, reliability and security : 19th international conference, SAFECOMP 2000, Rotterdam, the Netherlands, October 24-27, 2000 : proceedings

Computer aided verification : 6th international conference, CAV '94, Stanford, California, USA, June 21-23, 1994 : proceedings

Numerical software with result verification : international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers

Sciences du logiciel
af: Leroy, Xavier
Udgivet: (2025)

Sciences du logiciel
af: Leroy, Xavier
Udgivet: (2024)

Software reliability : modelling and identification
af: Bittanti, Sergio, 1947-

Computer aided verification : 7th International Conference, CAV '95, Liège, Belgium, July 3-5, 1995 : proceedings

Petri nets for systems engineering : a guide to modeling, verification, and applications
af: Girault, Claude, 19..-...., informaticien, et autres
Udgivet: (2010)

Computer aided verification : 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings

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

Le génie logiciel
af: Printz, Jacques
Udgivet: (2001)

Le génie logiciel
af: Printz, Jacques
Udgivet: (2002)

Le génie logiciel
af: Printz, Jacques
Udgivet: (2010)

Qualimétrie des systèmes complexes : mesure de la qualité du logiciel
af: Forse, Thomas
Udgivet: (1989)

Computer aided verification : 11th International Conference, CAV 99, Trento, Italy, July 6 10, 1999 : proceedings

Logiciels embarqués : Viser l'excellence dans le développement
af: Dern, Jérôme
Udgivet: (2014)

Computer aided verification : ; proceedings 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000

© 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