Search - Archive ouverte HAL Access content directly

Filter your results

29 Results
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
Conference papers hal-00797477v1
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
Other publications hal-00498019v1

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 - Congrès sur les classes inversées, Jul 2021, En ligne, France
Conference papers hal-03477920v1
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
Conference papers hal-00756092v1
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
Conference papers 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
Conference papers hal-00800998v1
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 et al.
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
Conference papers hal-02162094v1

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 et al.
International conference on Interoperability for Enterprise Software & Applications (i-ESA 2014), 2014, Albi, France. ⟨10.1007/978-3-319-04948-9_7⟩
Conference papers 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⟩
Theses tel-01751356v1

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
Journal articles inria-00098447v1
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, pp.195-206
Conference papers inria-00098733v1

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

David Chemouil , Thomas Lambolais
, 2019
Books hal-03137441v1
Image document

Semantics and implementation of a refinement relation for behavioural models

Hong-Viet Luong , Thomas Lambolais , Anne-Lise Courbis
2008
Other publications hal-00498012v1

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⟩
Conference papers hal-01563328v1
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
Conference papers 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
Conference papers hal-02156501v1

Requirements Authoring and Verification for SMEs’ Information Systems Engineering

Nawel Amokrane , Vincent Chapurlat , Anne-Lise Courbis , Thomas Lambolais , Mossine Rahhou et al.
15th IFAC Symposium on Information Control in Manufacturing (INCOM 2015), IFAC, May 2015, Ottawa, Canada. ⟨10.1016/j.ifacol.2015.06.421⟩
Conference papers hal-01930462v1
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⟩
Conference papers hal-00756112v1
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
Conference papers hal-03713514v1
Image document

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

Hong-Viet Luong , Thomas Lambolais , Anne-Lise Courbis
2008
Other publications hal-00497144v1

Conception et validation d'architectures distribuées temps réel

Françoise Simonot-Lion , Laurent Thomas , Thomas Lambolais , Anne-Marie Déplanche , Yvon Trinquet et al.
[Contrat] 99-R-316 || simonot-lion99b, 1999, 295 p
Reports inria-00098849v1
Image document

Designing and Integrating Complex Systems: Be Agile Through Liveness Verification and Abstraction

Thomas Lambolais , Anne-Lise Courbis , Hong-Viet Luong , Thanh-Liem Phan
Complex Systems Design & Management (CSD&M) , Nov 2015, Paris, France. pp.69 - 81, ⟨10.1007/978-3-319-26109-6_5⟩
Conference papers hal-01563303v1
Image document

Implementation of Conformance relation for incremental development of behavioural models

Hong-Viet Luong , Thomas Lambolais , Anne-Lise Courbis
11th International Conference on Model Driven Engineering Languages & Systems (MODELS), 2008, Toulouse, France. pp.356-370
Conference papers hal-00757192v1
Image document

IDCM : un outil d'analyse de composants et d'architectures dédié à la construction incrémentale

Hong-Viet Luong , Anne-Lise Courbis , Thomas Lambolais , Thanh-Liem Phan
11èmes Journées Francophones sur les Approches Formelles dans l'Assistance au Développement de Logiciels, Jan 2012, Grenoble, France. pp.50-53
Conference papers hal-00756230v1
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 et al.
IEEE REW 2022 - 30th International Requirements Engineering Conference Workshops, Aug 2022, Melbourne, Australia. ⟨10.1109/REW56159.2022.00020⟩
Conference papers hal-03752660v1

A Collaborative Information System Architecture for Process-Based Crisis Management

Omar Tahir , Eric Andonof , Chihab Hanachi , Christophe Sibertin-Blanc , Frederick Benaben et al.
Knowledge-Based Intelligent Information and Engineering Systems, 2008, Inconnue, Germany. p.630-641, ⟨10.1007/978-3-540-85567-5_78⟩
Conference papers istex hal-00353788v1
Image document

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

Olivier Gout , Thomas Lambolais
2005
Preprints, Working Papers, ... 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⟩
Journal articles hal-01517375v1
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
Conference papers hal-00797470v1