{"id":59,"date":"2011-03-31T15:41:25","date_gmt":"2011-03-31T13:41:25","guid":{"rendered":"http:\/\/project.inria.fr\/se-seminars\/?p=59"},"modified":"2012-02-22T15:33:54","modified_gmt":"2012-02-22T14:33:54","slug":"programmation-dirigee-par-la-specification-d-cassou","status":"publish","type":"post","link":"https:\/\/project.inria.fr\/se-seminars\/programmation-dirigee-par-la-specification-d-cassou\/","title":{"rendered":"Programmation dirig\u00e9e par la sp\u00e9cification (D. Cassou)"},"content":{"rendered":"<p><strong>Date :<\/strong> 15 avril, 10h, IRICICA<br \/>\n<strong>Intervenant :<\/strong> Damien Cassou<br \/>\n<strong>Titre : <\/strong>D\u00e9veloppement logiciel orient\u00e9 paradigme de conception : la programmation dirig\u00e9e par la sp\u00e9cification<br \/>\n<strong>R\u00e9sum\u00e9 :<\/strong> Nombre d&#8217;applications ont pour comportement principal l&#8217;attente d&#8217;un \u00e9v\u00e9nement venant d&#8217;un environnement ext\u00e9rieur, la pr\u00e9paration d&#8217;un r\u00e9sultat et l&#8217;ex\u00e9cution d&#8217;actions sur cet environnement. Les interfaces graphiques et les syst\u00e8mes avioniques en sont des exemples. Le paradigme SCC, pour sense-compute-control, est particuli\u00e8rement adapt\u00e9 \u00e0 la description de ces applications. Le d\u00e9veloppement d&#8217;applications suivant ce paradigme est complexe \u00e0 cause du manque de cadre conceptuel et d&#8217;outils de support.<br \/>\nNos travaux proposent un cadre conceptuel d\u00e9di\u00e9 au paradigme SCC et se concr\u00e9tisent par un langage de description d&#8217;architectures. \u00c0 partir d&#8217;une description dans ce langage, un framework de programmation peut \u00eatre g\u00e9n\u00e9r\u00e9. Il guide l&#8217;impl\u00e9mentation d&#8217;une application gr\u00e2ce \u00e0 un support d\u00e9di\u00e9 et v\u00e9rifie que cette impl\u00e9mentation est conforme \u00e0 l&#8217;architecture d\u00e9crite. Notre approche est \u00e9valu\u00e9e suivant des crit\u00e8res d&#8217;expressivit\u00e9, d&#8217;utilisabilit\u00e9 et de productivit\u00e9.<\/p>","protected":false},"excerpt":{"rendered":"<p>Date : 15 avril, 10h, IRICICA Intervenant : Damien Cassou Titre : D\u00e9veloppement logiciel orient\u00e9 paradigme de conception : la programmation dirig\u00e9e par la sp\u00e9cification R\u00e9sum\u00e9 : Nombre d&#8217;applications ont pour comportement principal l&#8217;attente d&#8217;un \u00e9v\u00e9nement venant d&#8217;un environnement ext\u00e9rieur, la pr\u00e9paration d&#8217;un r\u00e9sultat et l&#8217;ex\u00e9cution d&#8217;actions sur cet environnement. Les interfaces graphiques et les &hellip; <\/p>\n<p><a class=\"more-link btn\" href=\"https:\/\/project.inria.fr\/se-seminars\/programmation-dirigee-par-la-specification-d-cassou\/\">Continue reading<\/a><\/p>\n","protected":false},"author":65,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[6],"tags":[],"class_list":["post-59","post","type-post","status-publish","format-standard","hentry","category-talk","nodate","item-wrap"],"_links":{"self":[{"href":"https:\/\/project.inria.fr\/se-seminars\/wp-json\/wp\/v2\/posts\/59","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/project.inria.fr\/se-seminars\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/project.inria.fr\/se-seminars\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/se-seminars\/wp-json\/wp\/v2\/users\/65"}],"replies":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/se-seminars\/wp-json\/wp\/v2\/comments?post=59"}],"version-history":[{"count":4,"href":"https:\/\/project.inria.fr\/se-seminars\/wp-json\/wp\/v2\/posts\/59\/revisions"}],"predecessor-version":[{"id":62,"href":"https:\/\/project.inria.fr\/se-seminars\/wp-json\/wp\/v2\/posts\/59\/revisions\/62"}],"wp:attachment":[{"href":"https:\/\/project.inria.fr\/se-seminars\/wp-json\/wp\/v2\/media?parent=59"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/project.inria.fr\/se-seminars\/wp-json\/wp\/v2\/categories?post=59"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/project.inria.fr\/se-seminars\/wp-json\/wp\/v2\/tags?post=59"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}