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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Modélisation du développement de spécifications LOTOS
Thomas Lambolais
Theses
tel-01751356v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
AFADL 2019 - Actes des 18e journées sur les Approches Formelles dans l’Assistance au Développement de Logiciels
David Chemouil
,
Thomas Lambolais
Books
hal-03137441v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Semantics and implementation of a refinement relation for behavioural models
Hong-Viet Luong
,
Thomas Lambolais
,
Anne-Lise Courbis
2008
Other publications
hal-00498012v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Requirements Authoring and Verification for SMEs’ Information Systems Engineering
Nawel Amokrane
,
Vincent Chapurlat
,
Anne-Lise Courbis
,
Thomas Lambolais
,
Mossine Rahhou
et al.
Conference papers
hal-01930462v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Interoperability Analysis of Systems
Thomas Lambolais
,
Anne-Lise Courbis
,
Hong-Viet Luong
,
Thanh-Liem Phan
Conference papers
hal-00756112v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Designing and Integrating Complex Systems: Be Agile Through Liveness Verification and Abstraction
Thomas Lambolais
,
Anne-Lise Courbis
,
Hong-Viet Luong
,
Thanh-Liem Phan
Conference papers
hal-01563303v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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.
Conference papers
hal-03752660v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A Collaborative Information System Architecture for Process-Based Crisis Management
Omar Tahir
,
Eric Andonof
,
Chihab Hanachi
,
Christophe Sibertin-Blanc
,
Frederick Benaben
et al.
Conference papers
istex
hal-00353788v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
UML Protocols State Machines Incremental Construction: a conformance-based Refinament Approach.
Olivier Gout
,
Thomas Lambolais
2005
Preprints, Working Papers, ...
hal-00010020v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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 articles
hal-01517375v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More