Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

34 résultats
Page :
triés par
Image document

Raffinement de modèles comportementaux UML, vérification des relations d'implantation et d'extension sur les machines d'états

 Thomas Lambolais , Anne-Lise Courbis , Hong-Viet Luong
AFADL, 2009, France. 14 p
Communication dans un congrès hal-00797477v1
Image document

Raffinement de modèles comportementaux UML, vérification des relations d'implantation et d'extension sur les machines d'états

 Thomas Lambolais , Anne-Lise Courbis , Hong-Viet Luong
Approches Formelles dans l'Assistance au Développement de Logiciels, Feb 2009, Toulouse, France
Communication dans un congrès hal-00497136v1
Image document

A formal support for incremental behavior specification in agile development

 Anne-Lise Courbis , Thomas Lambolais , Hong-Viet Luong , Thanh-Liem Phan , Christelle Urtado , et al.
Software Engineering and Knowledge Engineering (SEKE), 2012, United States. 6 p
Communication dans un congrès hal-00800998v1
Image document

Interoperability Analysis of Systems

 Thomas Lambolais , Anne-Lise Courbis , Hong-Viet Luong , Thanh-Liem Phan
18th World Congress of the International Federation of Automatic Control (IFAC 2011), Aug 2011, Milan, Italy. pp.7879-7884, ⟨10.3182/20110828-6-IT-1002.03523⟩
Communication dans un congrès hal-00756112v1
Image document

Safe Incremental Design of UML Architectures

 Anne-Lise Courbis , Thomas Lambolais , Thanh-Hung Nguyen
29th International Conference on Software Engineering and Knowledge Engineering, Jul 2017, Pittsburg, United States
Communication dans un congrès hal-01926981v1
Image document

Development and Verification of UML Architectures by Refinement and Extension Techniques

 Thomas Lambolais , Anne-Lise Courbis
ERTS 2018, Jan 2018, Toulouse, France
Communication dans un congrès hal-02156501v1
Image document

Formal verification of a telerehabilitation system through an abstraction and refinement approach using Uppaal

 Farid Arfi , Anne‐lise Courbis , Thomas Lambolais , François Bughin , Maurice Hayot
IET Software, 2023, 17 (4), pp.582-599. ⟨10.1049/sfw2.12128⟩
Article dans une revue hal-04140305v1
Image document

UML Protocols State Machines Incremental Construction: a conformance-based Refinament Approach.

 Olivier Gout , Thomas Lambolais
2005
Pré-publication, Document de travail hal-00010020v1
Image document

IDF: A framework for the incremental development and conformance verification of UML active primitive components

 Thomas Lambolais , Anne-Lise Courbis , Hong-Viet Luong , Christian Percebois
Journal of Systems and Software, 2016, vol. 113, pp. 275-295. ⟨10.1016/j.jss.2015.11.020⟩
Article dans une revue hal-01517375v1
Image document

Safe Incremental Development of UML Architectures

 Anne-Lise Courbis , Thomas Lambolais , Nguyen Thanh-Hung
29th international conference on Software Engineering and Knowledge Engineering, Jul 2017, Pittsburgh, United States. ⟨10.18293/SEKE2017-033⟩
Communication dans un congrès hal-01563328v1
Image document

Aide au développement incrémental et à la vérification d'architectures logicielles

 Than-Liem Phan , Thomas Lambolais , Anne-Lise Courbis
Lambda Mu, 2012, France. Communication 8-B2 7p
Communication dans un congrès hal-00797470v1
Image document

A Collaborative Information System Architecture for Process-Based Crisis Management

 Omar Tahir , Chihab Hanachi , Christophe Sibertin-Blanc , Éric Andonoff , Frederick Benaben , et al.
12th International Conference on Knowledge-Based Intelligent Information and Engineering Systems (KES 2008), Sep 2008, Zagreb, Croatia. pp.630-641, ⟨10.1007/978-3-540-85567-5_78⟩
Communication dans un congrès istex hal-00353788v1
Image document

Construction incrémentale vs. construction par raffinement de modèles comportementaux UML: sémantique et vérification des relations de spécialisation et d'implantation

 Thomas Lambolais , Anne-Lise Courbis , Hong-Viet Luong
2008
Autre publication scientifique hal-00498019v1
Image document

Analyse de l'interopérabilité et de la conformité d'architectures logicielles

 Anne-Lise Courbis , Thomas Lambolais , Hong-Viet Luong , Than-Liem Phan
5ème Conférence Francophone sur les Architectures Logicielles (CAL 2011), Jun 2011, Lille, France. pp.49-58
Communication dans un congrès hal-00756092v1
Image document

Reliability and Sensitivity of the Notio Device and Aer-oscale Service to Quantify Cyclists' Drag Coefficients in Outdoor Conditions

 Antoine Bruez , Quentin Caillou , Thibault Dugenne , Thibaut Peron , S. Perrey , et al.
Science & Cycling 2023, Jun 2023, Bilbao, Spain
Communication dans un congrès hal-04159139v1

Assistance au développement de spécifications de protocoles de communication

 Thomas Lambolais , Nicole Lévy , Jeanine Souquières
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 1998, 17 (9), pp.1061-1082
Article dans une revue inria-00098447v1
Image document

Requirements Authoring and Verification for SMEs’ Information Systems Engineering

 Nawel Amokrane , Vincent Chapurlat , Anne-Lise Courbis , Thomas Lambolais , Mossine Rahhou
15th IFAC Symposium on Information Control in Manufacturing (INCOM 2015), IFAC, May 2015, Ottawa, Canada. ⟨10.1016/j.ifacol.2015.06.421⟩
Communication dans un congrès hal-01930462v1

Modeling frameworks, methods and languages for computerizing Small and Medium-sized Enterprises: review and proposal

 Nawel Amokrane , Vincent Chapurlat , Anne-Lise Courbis , Thomas Lambolais , Mossine Rahhou
International conference on Interoperability for Enterprise Software & Applications (i-ESA 2014), 2014, Albi, France. ⟨10.1007/978-3-319-04948-9_7⟩
Communication dans un congrès hal-01930465v1

Modélisation du développement de spécifications LOTOS

 Thomas Lambolais
Autre [cs.OH]. Institut National Polytechnique de Lorraine, 1997. Français. ⟨NNT : 1997INPL106N⟩
Thèse tel-01751356v1
Image document

Spécification incrémentale d'un système d'aide au diagnostic de l'épuisement professionnel : problématique et revue de littérature

 Marion Kissous , Anne-Lise Courbis , Thomas Lambolais , Gérard Dray , Sophie Martin
AFADL - Approches Formelles dans l’Assistance au Développement de Logiciels, GDR-GPL (Groupement de Recherche Génie de la Programmation et du Logiciel - INS2I CNRS), Jun 2019, Toulouse, France
Communication dans un congrès hal-02162094v1
Image document

Classes inversées et pédagogie par projet : gestion de la motivation d’étudiants en école d’ingénieurs

 Jean-Paul Veuillez , Thomas Lambolais , Andon Tchechmedjiev
CLIC 2021 (6e édition) Congrès des classes inversées et des pédagogies actives, Jul 2021, En ligne, France
Communication dans un congrès hal-03477920v1

AFADL 2019 - Actes des 18e journées sur les Approches Formelles dans l’Assistance au Développement de Logiciels

 David Chemouil , Thomas Lambolais
, 2019
Ouvrages hal-03137441v1

Zero-shot Bilingual App Reviews Mining with Large Language Models

 Jialiang Wei , Anne-Lise Courbis , Thomas Lambolais , Binbin Xu , Pierre Louis Bernard , et al.
ICTAI 2023 - IEEE 35th International Conference on Tools with Artificial Intelligence, Nov 2023, Atlanta, United States. pp.898-904, ⟨10.1109/ICTAI59109.2023.00135⟩
Communication dans un congrès hal-04371019v1
Image document

Semantics and implementation of a refinement relation for behavioural models

 Hong-Viet Luong , Thomas Lambolais , Anne-Lise Courbis
2008
Autre publication scientifique hal-00498012v1
Image document

Achieving Qualities During the Development of LOTOS Specifications

 Thomas Lambolais , Jeanine Souquières
4th International Conference on Achieving Quality in Software - AQUIS'98, 1998, Venise, Italy, France. pp.195-206
Communication dans un congrès inria-00098733v1
Image document

Implementation of extension and reduction relations for incremental development of behavioural models

 Hong-Viet Luong , Thomas Lambolais , Anne-Lise Courbis
2008
Autre publication scientifique hal-00497144v1

Semi-formal and formal specification of a telerehabilitation system for chronic respiratory diseases: methodology and feedback

 Anne-Lise Courbis , Farid Arfi , Thomas Lambolais , François Bughin , Maurice Hayot
ISSREW 2023 - 34th IEEE International Symposium on Software Reliability Engineering Workshops, Oct 2023, Florence, Italy. pp.75-80, ⟨10.1109/ISSREW60843.2023.00050⟩
Communication dans un congrès hal-04289432v1
Image document

Vers une ingénierie des exigences dirigée par les données : analyse automatique d’avis d’utilisateurs

 Jialiang Wei , Anne-Lise Courbis , Thomas Lambolais , Binbin Xu , Pierre Louis Bernard , et al.
APIA 2022 - 7e Conférence Nationale sur les Applications Pratiques de l’Intelligence Artificielle, Jun 2022, Saint-Étienne, France
Communication dans un congrès hal-03713514v1
Image document

Towards Boosting Requirements Engineering of a Health Monitoring App by Analysing Similar Apps: A Vision Paper

 Jialiang Wei , Anne-Lise Courbis , Thomas Lambolais , Pierre Louis Bernard , Gérard Dray
IEEE REW 2022 - 30th International Requirements Engineering Conference Workshops, Aug 2022, Melbourne, Australia. ⟨10.1109/REW56159.2022.00020⟩
Communication dans un congrès hal-03752660v1
Image document

Boosting GUI Prototyping with Diffusion Models

 Jialiang Wei , Anne-Lise Courbis , Thomas Lambolais , Binbin Xu , Pierre Louis Bernard , et al.
RE@Next! - 31st IEEE International Requirements Engineering 2023 conference (Re'23), Sep 2023, Hannover, Germany
Communication dans un congrès hal-04143178v1
Page :