Nantilus
Applications logicielles certifiables : 1 Processus principaux
La quatrième de couverture porte : "Cet ouvrage présente l'ensemble des moyens permettant de réaliser une application logicielle pour un système critique de sécurité en prenant en compte les besoins de certification, depuis la phase d'analyse du besoin jusqu'à la phase de livrais...
Enregistré dans:
| Auteur principal : | |
|---|---|
| Format : | Livre |
| Langue : | français |
| Titre complet : | Applications logicielles certifiables. 1, Processus principaux / Jean-Louis Boulanger |
| Publié : |
London :
ISTE Editions
, 2016 |
| Description matérielle : | 1 vol. (322 p.) |
| Collection : | Collection Informatique |
| Sujets : |
| LEADER | 03084cam a2200493 4500 | ||
|---|---|---|---|
| 001 | PPN193523981 | ||
| 003 | http://www.sudoc.fr/193523981 | ||
| 005 | 20210503055200.0 | ||
| 010 | |a 978-1-78405-138-9 |b br. | ||
| 035 | |a (OCoLC)951241241 | ||
| 035 | |a ocn946706503 | ||
| 073 | 1 | |a 9781784051389 | |
| 100 | |a 20160606h20162016k y0frey0103 ba | ||
| 101 | 0 | |a fre | |
| 102 | |a GB | ||
| 105 | |a a a 001yy | ||
| 106 | |a r | ||
| 181 | |6 z01 |c txt |2 rdacontent | ||
| 181 | 1 | |6 z01 |a i# |b xxxe## | |
| 182 | |6 z01 |c n |2 rdamedia | ||
| 182 | 1 | |6 z01 |a n | |
| 183 | 1 | |6 z01 |a nga |2 rdacarrier | |
| 200 | 1 | |a Applications logicielles certifiables |h 1 |i Processus principaux |f Jean-Louis Boulanger | |
| 210 | |a London |c ISTE Editions |d 2016 | ||
| 215 | |a 1 vol. (322 p.) |c tabl., graph., couv. ill. en coul. |d 24 cm | ||
| 225 | 2 | |a Collection Informatique | |
| 339 | |a Après avoir détaillé le processus de réalisation d'un logiciel, l'auteur s'intéresse à la maîtrise de la sécurité d'une application, dans le cadre de son fonctionnement. ©Electre 2016 | ||
| 320 | |a Notes bibliogr. Glossaires et bibliographies en fin de chapitres. Index | ||
| 330 | |a La quatrième de couverture porte : "Cet ouvrage présente l'ensemble des moyens permettant de réaliser une application logicielle pour un système critique de sécurité en prenant en compte les besoins de certification, depuis la phase d'analyse du besoin jusqu'à la phase de livraison. Dans les domaines ferroviaire, aéronautique ou nucléaire, le mauvais fonctionnement de certains systèmes peut avoir de graves conséquences, notamment en matière de sécurité. Pour ces systèmes dits " critiques ", des procédés de certification, volontaires ou obligatoires, permettent de démontrer la maîtrise de la qualité dans leur réalisation. Or, dans ces systèmes complexes, la sécurité, la fiabilité et la maintenabilité dépendent directement des applications logicielles. La création de ces applications doit donc elle aussi passer par des processus et des méthodes spécifiques afin d'être conforme aux différentes normes métiers. Ce volume détaille les principes mis en oeuvre (sûreté de fonctionnement, techniques de sécurisation, management des exigences.) pour éviter, détecter et corriger les défauts d'une application logicielle et la rendre certifiable." | ||
| 410 | | | |0 179497871 |t Collection Informatique |b Texte imprimé |c London |n ISTE éditions |d 2014- | |
| 517 | | | |a Processus principaux | |
| 606 | |3 PPN034856366 |a Progiciels |x Développement |2 rameau | ||
| 606 | |3 PPN031986579 |a Progiciels |3 PPN028661478 |x Certification |2 rameau | ||
| 606 | |3 PPN035046910 |a Agents intelligents (logiciels) |2 rameau | ||
| 606 | |3 PPN027248062 |a Systèmes informatiques |x Mesures de sûreté |2 rameau | ||
| 676 | |a 004.2 |v 22 |z fre | ||
| 700 | 1 | |3 PPN114998973 |a Boulanger |b Jean-Louis |f 1966-.... |4 070 | |
| 801 | 3 | |a FR |b Electre |c 20160418 |g AFNOR | |
| 801 | 3 | |a FR |b Abes |c 20180314 |g AFNOR | |
| 801 | 0 | |b NLE |g AACR2 | |
| 801 | 2 | |b EQO |g AACR2 | |
| 979 | |a SCI | ||
| 930 | |5 441092104:617541558 |b 441092104 |j u | ||
| 998 | |a 760091 | ||