027885496
1985-07-08
2023-06-13T06:01:51
11983124
Logiciels -- Exactitude
Logiciels -- Précision
Logiciels -- Vérification
Débogage
Logique mathématique
621
Formalisation de la correction des exécutions dans les systèmes transactionnels sujets aux pannes / par Stéphane Turc / [Montpellier] : Atelier duplication [U.S.T.L.] , [1989]
Concurrency, compositionality, and correctness : essays in honor of Willem-Paul de Roever / Dennis Dams, Ulrich Hannemann, Martin Steffen (Eds.) / Berlin : Springer , cop. 2010
La fiabilité des programmes / par Henri Leroy / Namur : Presses universitaires de Namur , 1975
Automated verification of termination certificates / Kim Quyen Ly ; sous la direction de Jean-François Monin et de Frédéric Blanqui / , 2014
Analyse et validation d'un logiciel de sécurité appliquées au domaine ferroviaire / Régis Huot de Saint-Albin / sl : sn , 1992
Commande robuste d'un système mécatronique / Robert Benasseni / Paris : Cnam , 1993
Contribution à l'étude de méthodes de contrôle automatique de l'erreur d'arrondi : la méthodologie SCALP / Philippe François ; sous la direction de [J.-M. Muller] / Grenoble : Université Joseph Fourier , 2008
Un système de gestion d'hypothèses pour l'interprètation d'environnement / J-P. Thibault / Toulouse : LAAS CNRS , 1991
SVP : système de validation de programmes : un système interactif pour la conception de programmes corrects / Henri Ajenstat / Grenoble : Centre scientifique CII , 1973
Amélioration assistée de programmes par objectifs / Charles Barthelemy ; Sous la direction de Jean-Claude Derniame / , 1989
Self-stabilizing systems : 5th international workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001 : proceedings / Ajoy K. Datta, Ted Hermann (eds.) / New York : Springer , 2001
Rare events in stochastic dynamical systems and failures in ultra-reliable reactive programs / Galves, A., Gaudel, M.C / Orsay, France : Université Paris-Sud, Centre d"orsay, Laboratoire de recherche en Informatique , 1997
L'environnement asspegique+, le valideur / Roques, Clément / Orsay, France : Université Paris-Sud, Centre d'Orsay, Laboratoire de recherche en Informatique , 1992
An Experimental study on software structural testing : deterministic versus random input generation / Pascale Thevenot-Fosse, Héléne Wasselink et Yves Crouzet / Toulouse : Laboratoire d'automatique et d'analyse des systèmes du CNRS , 1990
Eurometrics '92 : proceedings [of the] European conference on quantitative evaluation of software and systems : practical and theoretical aspects, Brussels, April 13-15, 1992 / Nanterre : EC2 , 1992
Contribution à l'étude de méthodes de contrôle automatique de l'erreur d'arrondi : la méthodologie SCALP / Philippe François ; sous la direction de J.-M. Muller / , 1989
Cléo : diagnostic des erreurs en Xesar / Anne Rasse ; sous la direction de [Joseph Sifakis] / Grenoble : Université Joseph Fourier , 2008
Co-design of architectures and algorithms for mobile robot localization and model-based detection of obstacles / Dániel Törtei ; sous la direction de Michel Devy et de Mirko Raković / , 2016
On software dependability evaluation from a statistical testing approach / Pascale Thévenod-Fosse et Hélène Waeselynk / Toulouse : LAAS CNRS , 1990
Co-design of architectures and algorithms for mobile robot localization and model-based detection of obstacles / Dániel Törtei ; sous la direction de Michel Devy et de Mirko Raković / , 2016
Structuring and modularizing algebraic specifications : the pluss specification language, evolutions and perspectives / Gaudel, Marie-Claude / Orsay, France : Université Paris-Sud, Centre d'Orsay, Laboratoire de recherche en Informatique , 1992
Cléo : diagnostic des erreurs en Xesar / Anne Rasse ; sous la direction de [Joseph Sifakis] / Grenoble : Atelier national de reproduction des thèses , 1990
Optimisation de la précision numérique des codes parallèles / Farah Benmouhoub ; sous la direction de Matthieu Martel et de Pierre-Loïc Garoche / , 2022
Self-stabilizing systems : 5th international workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001 : proceedings / [edited by] Ajoy K. Datta, Ted Herman / Berlin [etc.] : Springer
Synthèse de code virgule fixe pour les réseaux de neurones / Hanane Benmaghnia ; sous la direction de Matthieu Martel et de Yassamine Seladji / , 2022
Abstract interpretation and predicate transformers : an application to integrity constraints management / Benzaken, V., Schaefer, X / Orsay, France : Université Paris-Sud, Centre d'Orsay, Laboratoire de recherche en Informatique , 1995
Application de la théorie des types et du démonstrateur COQ à la vérification de programmes parallèles / Barbara Heyd ; sous la direction de Pierre Lescanne / , 1997
Etude du comportement temporel des applications temps réel à contraintes strictes basée sur une analyse d'ordonnançabilité / par Jean-Philippe Babau ; sous la direction de Francis Cottet / [S.l.] , 1996
PHP professionnel : avec quatre études de cas détaillées / Castagnetto, Harish Rawat, Sascha Schumann... [et al.] ; traduit de l'anglais par Fabrice Lemainque et Pierre Douchet / Paris : Eyrolles
High-integrity software / edited by C.T. Sennett / New York : Plenum Press , [1989]
The design of well-structured and correct programs / Suad Alagić, Michael A. Arbib / New York : Springer-Verlag
Cléo : diagnostic des erreurs en Xesar / Anne Rasse ; sous la direction de [Joseph Sifakis] / , 1990
Design patterns et architectures logicielles / Wolfgang Pree ; traduction de Olivier [i.e. Marie] Lhomme / [Paris] : Vuibert , cop. 1998
Concurrency, Compositionality, and Correctness : Essays in Honor of Willem-Paul de Roever / edited by Dennis Dams, Ulrich Hannemann, Martin Steffen. / Berlin, Heidelberg : Springer Berlin Heidelberg
Contribution à l'étude de méthodes de contrôle automatique de l'erreur d'arrondi : la méthodologie SCALP / Philippe François ; sous la direction de J.-M. Muller / Grenoble : Atelier national de reproduction des thèses , 1989
Qualimétrie des systèmes complexes : mesure de la qualité du logiciel / Thomas Forse / Paris : les Éd. d'Organisation , DL 1989
An investigation of software statistical testing / Pascale Thévenod-Fosse, Hélène Waeselynk / Toulouse : Laboratoire d'automatique et d'analyse des systèmes du CNRS , 1991
Amélioration assistée de programmes par objectifs / Charles Barthélémy le 1989 [ Nancy 1 ]
Automated verification of termination certificates / Kim Quyen Ly le 2014 [ Grenoble ]
Contribution à l'étude de méthodes de contrôle automatique de l'erreur d'arrondi : la méthodologie SCALP / Philippe François le 1989 [ Grenoble INPG ]
Cléo : diagnostic des erreurs en Xesar / Anne Rasse le 1990 [ Grenoble INPG ]
Co-design of architectures and algorithms for mobile robot localization and model-based detection of obstacles / Dániel Törtei le 2016 [ Toulouse 3 ]
Etude du comportement temporel des applications temps réel à contraintes strictes basée sur une analyse d'ordonnançabilité / Jean-Philippe Babau le 1996 [ Poitiers ]
Une approche pragmatique pour mesurer la qualité des applications à base de composants logiciels / Salma Hamza le 2014 [ Lorient ]
Formalisation de la correction des exécutions dans les systèmes transactionnels sujets aux pannes / Stéphane Turc le 1989 [ Montpellier 2 ]
Application de la théorie des types et du démonstrateur COQ à la vérification de programmes parallèles / Barbara Heyd le 1997 [ Nancy 1 ]
Synthèse de code virgule fixe pour les réseaux de neurones / Hanane Benmaghnia le 2022 [ Perpignan ]
Optimisation de la précision numérique des codes parallèles / Farah Benmouhoub le 2022 [ Perpignan ]