Composants logiciels et sûreté de fonctionnement : :: SCD d'Orléans

Composants logiciels et sûreté de fonctionnement : intégration de COTS

Composants logiciels et sûreté de fonctionnement : intégration de COTS

Na minha lista:

Detalhes bibliográficos
Outros Autores:	Arlat, Jean (Éditeur intellectuel)
Formato:	Livre papier
Idioma:	Français
Publicado em:	Paris : Hermès science publications DL 2000.
Assuntos:	Composants logiciels > Fiabilité Logiciels > Fiabilité Évaluation des logiciels Logiciels > Développement Logiciels > Réutilisation Ingénierie des systèmes
Nota:	COTS = Components off the shelf
Autres localisations:	Voir dans le Sudoc

Registos relacionados

Vérification de logiciels : techniques et outils du model-checking
Por: Bérard, Béatrice, 19..-...., professeure en informatique, et autres
Publicado em: (1999)

Modélisation aléatoire en fiabilité des logiciels
Por: Gaudoin, Olivier, et autres
Publicado em: (2007)

Clean code : a handbook of agile software craftsmanship
Por: Martin, Robert C., 1952-
Publicado em: (2009)

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

Valorisation de l'Ingénierie Système à Base de Modèles, pour l'analyse de sûreté de fonctionnement des systèmes complexes critiques intégrant des COTS
Por: Cressent, Robin
Publicado em: (2012)

Computer safety, reliability, and security : 23rd international conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004 : proceedings

Safeware : system safety and computers
Por: Leveson, Nancy G.
Publicado em: (1995)

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

Principles of model checking
Por: Baier, Christel, 19..-, et autres
Publicado em: (2008)

Coder proprement
Por: Martin, Robert C., 1952-...., informaticien, et autres
Publicado em: (2019)

Reliable software technologies Ada-Europe : 1998 Ada-Europe International Conference on Reliable Software Technologies Uppsala, Sweden, June 8 12, 1998 : proceedings

Reliable software technologies : Ada-Europe 2004 : 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004 : proceedings
Por: Llamosí, Albert

Guide de la sûreté de fonctionnement
Por: Arlat, Jean
Publicado em: (1996)

Reliable software technologies - Ada-Europe 2003 : 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16 20, 2003 : proceedings

Reliable software technologies - Ada-Europe 99 : 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7 11, 1999 : proceedings

Tester une application Web : des tests unitaires à l'homologation (exemples en PHP)
Por: Itié, Emmanuel
Publicado em: (2010)

Supervision, surveillance et sûreté de fonctionnement des grands systèmes
Por: Matta, Nada, 1962-...., chercheuse en informatique
Publicado em: (2012)

Conception et qualité du logiciel
Por: Norris, Mark, et autres
Publicado em: (1995)

Software reuse : methods, techniques, and tools : 7th international conference, ICSR-7, Austin, TX, USA, April 15-19, 2002 : proceedings
Por: Gacek, Cristina, 1964-

Software reuse : advances in software reusability : 6th international conference, ICSR-6, Vienna, Austria, June 27-29, 2000 : proceedings

Software reuse : ; proceedings methods, techniques, and tools : 8th international conference, ICSR 2004, Madrid, Spain, July 5-9, 2004

Architecture logicielle : Concevoir des applications simples, sûres et adaptables
Por: Printz, Jacques
Publicado em: (2006)

Le génie logiciel
Por: Printz, Jacques
Publicado em: (2001)

Le génie logiciel
Por: Printz, Jacques
Publicado em: (2002)

Le génie logiciel
Por: Printz, Jacques
Publicado em: (2010)

Reliable software technologies : Ada Europe 2000 : 5th Ada-Europe International Conference, Potsdam, Germany, June 26-30, 2000 : proceedings

Reliable software technologies - Ada-Europe '97 : 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2 6, 1997 : proceedings

Reliable software technologies : Ada-Europe 2002 : 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002 : proceedings

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

Computer safety, reliability, and security : 18th international conference, SAFECOMP '99, Toulouse, France, September 27-29, 1999 : proceedings

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

Précis de génie logiciel
Por: Schlienger-Dupuy, Françoise
Publicado em: (1996)

Computer safety, reliability, and security : 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003 : proceedings

Computer safety, reliability, and security : 21st international conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002 : proceedings

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

Computer performance evaluation : modelling techniques and tools : 12th International Conference, TOOLS 2002 London, UK, April 14 17, 2002 : proceedings

Engineering and scientific computing with Scilab
Por: Gomez, Claude
Publicado em: (2012)

Logiciel libre et sûreté de fonctionnement : cas des systèmes critiques
Publicado em: (2003)

A systematic catalogue of reusable abstract data types
Por: Uhl, Jürgen, et autres

Les tests logiciels : fondamentaux
Por: Homès, Bernard
Publicado em: (2011)

© 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