Filtrer vos résultats
- 22
- 20
- 19
- 13
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 42
- 2
- 4
- 4
- 5
- 1
- 6
- 4
- 3
- 2
- 4
- 3
- 2
- 1
- 1
- 37
- 5
- 41
- 12
- 5
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 42
- 19
- 18
- 17
- 13
- 11
- 9
- 7
- 6
- 5
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
42 résultats
|
|
triés par
|
|
A process for defining a unique correspondence model to relate heterogeneous models8th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2013), Jul 2013, Angers, France. pp.181-188
Communication dans un congrès
hal-04103871v1
|
||
Machine Learning Based Approach for Context Aware System28th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2019), IEEE, Jun 2019, Napoli, Italy. pp.43-48, ⟨10.1109/WETICE.2019.00017⟩
Communication dans un congrès
hal-04182588v1
|
|||
|
A collaborative decision approach for alignment of heterogeneous models28th IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2019), Jun 2019, Capri, Italy. pp.112-117
Communication dans un congrès
hal-02456775v1
|
||
|
Modélisation des systèmes complexes et Points de vue : l’Ingénierie des Modèles centrée utilisateur pour l’Ingénierie SystèmeModélisation et simulation. Université de Toulouse, 2021
HDR
tel-03201997v1
|
||
|
Seamless Integration of Multirequirements in Complex Systems25th International Requirements Engineering Conference Workshops (REW 2017), Sep 2017, Lisbon, Portugal. pp.1
Communication dans un congrès
hal-03656674v1
|
||
The Role of Formalism in System RequirementsACM Computing Surveys, 2022, 54 (5, article 93), pp.1-36. ⟨10.1145/3448975⟩
Article dans une revue
hal-04278226v1
|
|||
|
Welcome from the Organizers FormReq 2021 (IEEE 29th International Requirements Engineering Conference Workshops)IEEE, pp.349-349, 2021, 978-1-6654-1898-0. ⟨10.1109/REW53955.2021.00061⟩
Proceedings/Recueil des communications
hal-04182579v1
|
||
|
A Group Decision-Making Approach for Global Consistency of Heterogeneous ModelsInternational Journal of Information Technology and Decision Making, 2022, 21 (6), pp.1-34. ⟨10.1142/s0219622022500316⟩
Article dans une revue
hal-03781764v1
|
||
|
Object-Oriented Requirements: a Unified Framework for Specifications, Scenarios and TestsThe Journal of Object Technology, 2023, 22 (1), pp.1-19. ⟨10.5381/jot.2023.22.1.a3⟩
Article dans une revue
hal-04128273v1
|
||
Identifying and fixing ambiguities in, and semantically accurate formalisation of, behavioural requirementsSoftware and Systems Modeling, 2024, ⟨10.1007/s10270-023-01142-0⟩
Article dans une revue
hal-04525414v1
|
|||
MiCATS: Middleware for Context-Aware Transactional ServicesHammoudi, Slimane; Maciaszek, Leszek; Teniente, Ernest; Camp, Olivier; Cordeiro, José. Enterprise Information Systems, 241, Springer, pp.496--512, 2016, Lecture Notes in Business Information Processing book series (LNBIP), 978-3-319-29132-1. ⟨10.1007/978-3-319-29133-8_24⟩
Chapitre d'ouvrage
hal-03155055v1
|
|||
Towards a framework for heterogeneous models matchingJournal of Software Engineering, 2014, vol. 8 (n° 3), pp. 132-151. ⟨10.3923/jse.2014.132.151⟩
Article dans une revue
hal-01121024v1
|
|||
Towards an Anatomy of Software Requirements51st International Conference on Software Technology: Methods and Tools (TOOLS 2019), Oct 2019, Innopolis, Russia. pp.10-40, ⟨10.1007/978-3-030-29852-4_2⟩
Communication dans un congrès
hal-04182587v1
|
|||
|
AutoReq: expressing and verifying requirements for control systemsJournal of Visual Languages and Computing, 2019, 51, pp.131-142. ⟨10.1016/j.cola.2019.02.004⟩
Article dans une revue
hal-02878938v1
|
||
|
A Model-Driven Approach to align Heterogeneous Models of a Complex System.The Journal of Object Technology, 2021, 20 (2), pp.1-24. ⟨10.5381/jot.2021.20.2.a2⟩
Article dans une revue
hal-03781930v1
|
||
|
A cloud-based architecture for transactional services adaptationInternational Conference onTechnologies and Applications (CloudTech 2015), Jun 2015, Marrakech, Morocco. pp. 1-6
Communication dans un congrès
hal-01531180v1
|
||
The Role of Formalism in System RequirementsACM Computing Surveys, 2021, 54 (5), pp.1-36. ⟨10.1145/3448975⟩
Article dans une revue
hal-03261574v1
|
|||
|
Lessons from Formally Verified Deployed Software Systems (Extended version)2023
Pré-publication, Document de travail
hal-04182599v1
|
||
|
Maintien de la cohérence de modèles de conception hétérogènesRevue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2015, 34 (6), pp.667-702. ⟨10.3166/tsi.34.667-702⟩
Article dans une revue
hal-03464266v1
|
||
|
Intégration des (multi-)exigences tout au long du développement des systèmes complexes16emes Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2017), Jun 2017, Montpellier, France. pp.57-63
Communication dans un congrès
hal-02864409v1
|
||
|
Heterogeneous design models alignment: from matching to consistency management33rd ACM/SIGAPP Symposium On Applied Computing (SAC 2018), Apr 2018, Pau, France. pp.1695-1697
Communication dans un congrès
hal-02319706v1
|
||
|
A Process for Maintaining Heterogeneous Models Consistency through Change Synchronization10th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA 2013), IEEE Computer Society; Arab Computer Society (ACS), May 2013, Fès, Morocco. pp.1-4, ⟨10.1109/AICCSA.2013.6616433⟩
Communication dans un congrès
hal-04083769v1
|
||
|
A Formalization of Group Decision Making in Multi-Viewpoints DesignCommunications in Computer and Information Science, 2020, 13 (1), pp.58. ⟨10.5539/cis.v13n1p58⟩
Article dans une revue
hal-03126083v1
|
||
|
Towards an Ontology-based Approach for Heterogeneous Model Matching2nd International Workshop On the Globalization of Modeling Languages (GEMOC 2014) co-located with MODELS 2014, Sep 2014, Valencia, Spain. pp. 1-10
Communication dans un congrès
hal-01390846v1
|
||
A Group Decision-Making Approach for Global Consistency of Heterogeneous ModelsInternational Journal of Information Technology and Decision Making, 2022, 21 (06), pp.1715-1748. ⟨10.1142/S0219622022500316⟩
Article dans une revue
hal-04278224v1
|
|||
Etat de l’Art des problèmes de sécurité de la BlockChainIRIT/RR--2023--02--FR, IRIT : Institut de Recherche en Informatique de Toulouse. 2023
Rapport
hal-04336635v1
|
|||
A proposition to solve heterogeneous model matching problemsConférence en Ingénierie du Logiciel (CIEL 2015), Laboratoire Bordelais de recherche en informatique (LaBRI), Sep 2015, Bordeaux, France. pp.(electronic medium)
Communication dans un congrès
hal-03213946v1
|
|||
|
A contract-based method to specify stimulus-response requirements2017
Autre publication scientifique
hal-03120284v1
|
||
|
Heterogeneous models matching for consistency managementIEEE International Conference on Research Challenges in Information Science - RCIS 2014, May 2014, Marrakech, Morocco. pp. 1-12
Communication dans un congrès
hal-01147267v1
|
||
|
Requirements Specific Modeling Language : un langage formel d'expression d'exigencesConférence en IngénieriE du Logiciel, Jun 2018, Grenoble, France
Communication dans un congrès
hal-01815467v1
|
- 1
- 2