[{"command":"insert","method":null,"selector":".course-modal-ajax-placeholder-951496","data":"\u003Cdiv class=\u0022container content-rte\u0022\u003E\n \u003Cdiv class=\u0022row\u0022\u003E\n \u003Cdiv class=\u0022box col-md-6 bg-primary text-white\u0022\u003E\n \u003Ch2 class=\u0022h1 text-left\u0022\u003E G\u00e9nie Logiciel Avanc\u00e9\n\u003C\/h2\u003E\n \u003Cdiv class=\u0022field-spacing\u0022\u003E\n \u003Cdiv class=\u0022field__label h3 dash\u0022\u003EECTS :\n 5\n \u003C\/div\u003E\n \u003C\/div\u003E\n \u003Cdiv class=\u0022field-spacing\u0022\u003E\n \u003Cdiv class=\u0022field__label h3 dash\u0022\u003ESemester:\n Semestre 1\n \u003C\/div\u003E\n \u003C\/div\u003E\n \u003Cdiv class=\u0022field-spacing\u0022\u003E\n \u003Cdiv class=\u0022field__label h3 dash\u0022\u003ED\u00e9tail du volume horaire\u003C\/div\u003E\n \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n \u003Cspan class=\u0022field__label h4 mt-5 \u0022\u003ELecture:\u003C\/span\u003E\n \u003Cspan\u003E18\u003C\/span\u003E\n \u003C\/div\u003E\n \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n \u003Cspan class=\u0022field__label h4 mt-5 \u0022\u003EDirected study:\u003C\/span\u003E\n \u003Cspan\u003E24\u003C\/span\u003E\n \u003C\/div\u003E\n \u003C\/div\u003E\n \u003Cdiv class=\u0022field-spacing\u0022\u003E\n \u003Cdiv class=\u0022field__label h3 dash\u0022\u003ELangue d\u0026#039;enseignement\u003C\/div\u003E\n \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n \u003Cspan\u003EFran\u00e7ais\u003C\/span\u003E\n \u003C\/div\u003E\n \u003C\/div\u003E\n \u003Cdiv class=\u0022field-spacing\u0022\u003E\n \u003Cdiv class=\u0022field__label h3 dash\u0022\u003EEnseignement \u00e0 distance\u003C\/div\u003E\n \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n \u003Cspan\u003Enon\u003C\/span\u003E\n \u003C\/div\u003E\n \u003C\/div\u003E\n \u003C\/div\u003E\n \u003Cdiv class=\u0022box col-md-6\u0022\u003E\n \u003Cdiv class=\u0022field-spacing\u0022\u003E\n \u003Cdiv class=\u0022field__label h3 dash\u0022\u003EPr\u00e9requis\u003C\/div\u003E\n \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n \u003Cspan\u003E\u003Cp\u003EProgrammation en Java, bases en mod\u00e9lisation UML, notions en logique (les pr\u00e9-requis suivent le cours \u0022El\u00e9ments de Logique\u0022 en parall\u00e8le).\u003C\/p\u003E\u003C\/span\u003E\n \u003C\/div\u003E\n \u003C\/div\u003E\n \u003Cdiv class=\u0022field-spacing\u0022\u003E\n \u003Cdiv class=\u0022field__label h3 dash\u0022\u003EProgramme \/ plan \/ contenus\u003C\/div\u003E\n \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n \u003Cspan\u003E\u003Cp\u003EL\u0027enseignement portera sur les techniques suivantes:\u003C\/p\u003E\n\u003Cul\u003E\n\u003Cli\u003EApprofondir les techniques de mod\u00e9lisation en UML avec des annotations formelles\u003C\/li\u003E\n\u003Cli\u003ETest de boite-noire \u00e0 partir d\u0027une sp\u00e9cification\u003C\/li\u003E\n\u003Cli\u003ESequence-Test boite-noire \u00e0 partir d\u0027une sp\u00e9cification State-Chart\u003C\/li\u003E\n\u003Cli\u003ETest de boite-noire de s\u00e9curit\u00e9\u003C\/li\u003E\n\u003Cli\u003ETest de boite-blanche \u00e0 partir de programmes\u003C\/li\u003E\n\u003Cli\u003EFuzz-Testing\u003C\/li\u003E\n\u003Cli\u003EV\u00e9rification \u00e0 base des methodes deductives preuves formelles\u003C\/li\u003E\n\u003C\/ul\u003E\u003C\/span\u003E\n \u003C\/div\u003E\n \u003C\/div\u003E\n \u003Cdiv class=\u0022field-spacing\u0022\u003E\n \u003Cdiv class=\u0022field__label h3 dash\u0022\u003EObjectifs d\u0026#039;apprentissage\u003C\/div\u003E\n \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n \u003Cspan\u003E\u003Cp\u003EDans le g\u00e9nie logiciel, on distingue plusieurs phases dans le processus de d\u00e9veloppement de logiciels : L\u0027analyse, la conception, le codage, l\u0027int\u00e9gration, la validation et v\u00e9rification des composants ou des syst\u00e8mes entiers. Le cours se concentre sur les deux derni\u00e8res phases dans du processus de d\u00e9veloppement, en traitant en profondeur l\u0027aspect mod\u00e9lisation lors de l\u0027analyse, sous l\u0027aspect des m\u00e9thodes automatis\u00e9es et des outils. Afin de v\u00e9rifier un systeme gr\u00e2ce \u00e0 la g\u00e9n\u00e9ration de tests, par exemple, on a besoin de mod\u00e8les suffisamment pr\u00e9cis.\u003C\/p\u003E\u003C\/span\u003E\n \u003C\/div\u003E\n \u003C\/div\u003E\n \u003Cdiv class=\u0022field-spacing\u0022\u003E\n \u003Cdiv class=\u0022field__label h3 dash\u0022\u003EOrganisation g\u00e9n\u00e9rale et modalit\u00e9s p\u00e9dagogiques\u003C\/div\u003E\n \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n \u003Cspan\u003E\u003Cp\u003EL\u0027UE est organis\u00e9e de mani\u00e8re classique avec des s\u00e9ances de cours et exercices en classe enti\u00e8re suivies de s\u00e9ance de TD ou TP. Quelques activit\u00e9s d\u0027apprentissage autonome en ligne sont propos\u00e9es. L\u0027\u00e9valuation repose sur un partiel et un examen final.\u003C\/p\u003E\u003C\/span\u003E\n \u003C\/div\u003E\n \u003C\/div\u003E\n \u003Cdiv class=\u0022field-spacing\u0022\u003E\n \u003Cdiv class=\u0022field__label h3 dash\u0022\u003ENature de l\u0026#039;\u00e9valuation\u003C\/div\u003E\n \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n \u003Cspan\u003EEvaluation Continue non Int\u00e9grale\u003C\/span\u003E\n \u003C\/div\u003E\n \u003C\/div\u003E\n \u003C\/div\u003E\n \u003C\/div\u003E\n\u003C\/div\u003E\n","settings":null}]