Výsledky vyhledávání - "Hubert Toussaint"

Towards a More Semantically Transparent i* Visual Syntax

Autor: Nicolas Genon, Daniel Moody, Patrick Heymans, Patrice Caire, Hubert Toussaint

Publikováno v: Requirements Engineering: Foundation for Software Quality ISBN: 9783642287138
REFSQ
LNCS
REFSQ 2012-18th International Working Conference on Requirements Engineering for Software Quality
REFSQ 2012-18th International Working Conference on Requirements Engineering for Software Quality, Mar 2012, Essen, Germany. pp.140-146, ⟨10.1007/978-3-642-28714-5_12⟩
Requirements Engineering: Foundation for Software Quality-Essen, Germany, March 19-22, 2012 (pp. 140-146). (2012).

International audience; [Context and motivation] i* is one of the most popular modelling languages in Requirements Engineering. i* models are meant to support communication between technical and non-technical stakeholders about the goals of the futur

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::51e7a21e24ce3ed3d7d8161a2164ea57
https://doi.org/10.1007/978-3-642-28714-5_12

Zobrazit plný text záznamu

Tool support for code generation from a UMLsec property

Autor: Pierre-Yves Schobbens, Jan Jürjens, Hubert Toussaint, Yijun Yu, Charles B. Haley, Lionel Montrieux

Publikováno v: ASE'10-25th International Conference on Automated Software Engineering
ASE
The Open University (ORO-Open Research Online)

This demo presents a tool to generate code from verified Role-Based Access Control properties defined using UMLsec. It can either generate Java code, or generate Java code for the UML model and AspectJ code for enforcing said RBAC properties. Both ap

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0153880714c7764649568d7fadf54a92
http://dl.acm.org/citation.cfm?id=1859074

Zobrazit plný text záznamu

Différentiation automatique et formes de Taylor en analyse statique de programmes numériques

Autor: Matthieu Martel, Alexandre Chapoutot

Publikováno v: Revue des Sciences et Technologies de l'Information-Série TSI : Technique et Science Informatiques
Revue des Sciences et Technologies de l'Information-Série TSI : Technique et Science Informatiques, Lavoisier, 2009, 28 (4), pp.503-531. ⟨10.3166/tsi.28.503-531⟩
Revue des Sciences et Technologies de l'Information-Série TSI : Technique et Science Informatiques, 2009, 28 (4), pp.503-531. ⟨10.3166/tsi.28.503-531⟩
Conférence sur les Approches Formelles dans l'Assistance au Développement de Logiciels
Conférence sur les Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2007, Namur, Belgique. pp.261-280

International audience; Des travaux récents sur l'analyse statique de programmes numériques ont montré que les techniques d'interprétation abstraite étaient adaptées à la validation de la précision des calculs en arithmétique flottante. L'ut

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::769163816a932e7622245eb2d7e2ebf6
https://hal.archives-ouvertes.fr/hal-00819435

Zobrazit plný text záznamu

Dérivation d'algorithmes sans verrou à partir d'une spécification atomique

Autor: Fejoz, Loïc, Merz, Stephan

Publikováno v: Approches Formelles dans l'Assistance au Développement de Logiciels-AFADL07
Approches Formelles dans l'Assistance au Développement de Logiciels-AFADL07, Marie-Laure Potet (IMAG, Grenoble) ; Pierre-Yves Schobbens (Facultés Universitaires Notre-Dame de la Paix-Namur, Belgique), Jun 2007, Namur, Belgique. pp.213-226

ISBN : 978-2-87037- 559 - 4; National audience; Pour gérer les accès de plusieurs processus à des données partagées, on utilise souvent un verrou global. Ici nous nous intéressons aux algorithmes sans verrou qui permettent un accès simultané

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::9e6c309bf18c2a575bd09f3e3bb71b69
https://hal.inria.fr/inria-00162146

Zobrazit plný text záznamu

Schémas de développement d'adaptateurs à l'aide de B

Autor: Lanoix, Arnaud, Colin, Samuel, Souquières, Jeanine

Publikováno v: Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'07)
Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'07), Jun 2007, Namur, Belgique. pp.91-108

ISBN=978-2-87037-559-4; National audience; Dans une approche composants pour le développement de logiciels, les composants sont considérés comme des boîtes noires qui communiquent via leurs interfaces. L'interface fournie d'un composant peut êtr

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e1ce339ff212e417709c40ba90b798b3
https://hal.science/hal-00131340

Zobrazit plný text záznamu

Développement formel de circuits électroniques par la méthode B

Autor: Zimmermann, Yann

Publikováno v: Approches Formelles dans l'Assistance au Développement de Logiciels-AFADL'07
Approches Formelles dans l'Assistance au Développement de Logiciels-AFADL'07, Pierre-Yves Schobbens, Jun 2007, Namur, Belgique. pp.181-198

Les actes sont sur http://www.info.fundp.ac.be/~pys/AFADL07/Actes_AFADL_2007.pdf ; ISBN 978-2-87037-559-4; National audience; Cet article expose une méthode de modélisation de circuits électroniques synchrones basée sur la méthode B événementi

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::cd3473a570f6da320fc4e82f9b351d80
https://hal.inria.fr/inria-00172745

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání