Filtrer vos résultats
- 49
- 35
- 53
- 12
- 7
- 4
- 3
- 2
- 1
- 1
- 1
- 2
- 76
- 8
- 2
- 2
- 2
- 5
- 4
- 5
- 2
- 6
- 4
- 3
- 2
- 1
- 3
- 3
- 2
- 5
- 3
- 3
- 4
- 5
- 7
- 4
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 57
- 27
- 39
- 31
- 7
- 6
- 5
- 4
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 84
- 32
- 21
- 10
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 3
- 3
- 2
- 2
- 2
- 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
- 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
- 1
- 1
- 1
84 résultats
L'Objet : Composants, services et aspectsLavoisier, Hermes, pp.128, 2008
Ouvrages
hal-00482908v1
|
|||
DroidSecTester: Towards context-driven modelling and detection of Android application vulnerabilitiesIWSR 2023 - The 7th International Workshop on Software Faults, IEEE, Oct 2023, Florence, Italy
Communication dans un congrès
hal-04464426v1
|
|||
Checking the Consistency of UML Class Diagrams Using Larch ProverThird Rigorous Object-Oriented Methods Workshop, 2000, York, United Kingdom
Communication dans un congrès
hal-01135641v1
|
|||
|
|
Assistance au test de modèles à composants et services2ème Conférence en IngénieriE du Logiciel, Apr 2013, Nancy, France. pp.13-28
Communication dans un congrès
hal-00823319v1
|
||
|
|
Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies6th International Workshop on Formal Aspects of Component Software (FACS 2009), Oct 2009, Eindhoven, Netherlands
Communication dans un congrès
hal-00423672v1
|
||
Behavioural Verification of Service CompositionICSOC Workshop on Engineering Service Compositions, WESC'05, 2005, Amsterdam, The Netherlands, Netherlands. pp.77--84
Communication dans un congrès
hal-00458120v1
|
|||
Multi-protocol Communication Tool for Virtualized Cyber Manufacturing SystemsService Oriented, Holonic and Multi-Agent Manufacturing Systems for Industry of the Future, 952, Springer International Publishing, pp.385-397, 2021, Studies in Computational Intelligence, ⟨10.1007/978-3-030-69373-2_27⟩
Chapitre d'ouvrage
hal-03452293v1
|
|||
|
|
Case Studies in Model-Driven Reverse Engineering7th International Conference on Model-Driven Engineering and Software Development, Feb 2019, Prague, Czech Republic. pp.258-265, ⟨10.5220/0007312502580265⟩
Communication dans un congrès
hal-02468440v1
|
||
|
|
Systematic Construction of Critical Embedded Systems Using Event-BNew Trends in Model and Data Engineering - MEDI 2018 Workshops: DETECT, MEDI4SG, IWCFS, REMEDY, Oct 2018, Marrakesh, Morocco. ⟨10.1007/978-3-030-02852-7_18⟩
Communication dans un congrès
hal-01929259v1
|
||
A numerical simulation of axisymmetric ICP torchesFifth European Conference on Computational Fluid Dynamics ECCOMAS CFD 2010, Jun 2010, Lisbonne, Portugal. pp.1-12
Communication dans un congrès
hal-00578799v1
|
|||
The Formal Class ModelJoint Modular Languages Conference, Modula, Oberon \& friends, Sep 1994, Ulm, Germany. pp.59-78
Communication dans un congrès
hal-01135547v1
|
|||
Domain Based Verification for UML Models{Workshop on Consistency in Model Driven Engineering C@Mode'05}, 2005, Nuremberg, Germany. pp.47--62
Communication dans un congrès
hal-00458118v1
|
|||
Vérification de conformité des interactions entre composants2005
Autre publication scientifique
hal-00458115v1
|
|||
|
|
An Improved Model Facet Method to Support EA AlignmentComplex Systems Informatics and Modeling Quarterly, 2016, 9, pp.1 - 27. ⟨10.7250/csimq.2016-9.01⟩
Article dans une revue
hal-01686322v1
|
||
|
|
Combining Techniques to Verify Service-based ComponentsMODELSWARD 2017 - 5th International Conference on Model-Driven Engineering and Software Development , Feb 2017, Porto, Portugal. pp.645 - 656, ⟨10.5220/0006212106450656⟩
Communication dans un congrès
hal-01628303v1
|
||
Assisting Developers in Preventing Permissions Related Issues in Android Applications13th International Workshop on Software Engineering for Resilient Systems SERENE 2021 - 17th European Dependable Computing Conference (EDCC), Sep 2021, Munich (en ligne), Germany
Communication dans un congrès
hal-03290122v1
|
|||
Generic aggregation model for reconfigurable holonic control architecture – The GARCIA framework12th International Workshop on Service Oriented, Holonic and Multi-Agent Manufacturing Systems for Industry of the Future, SOHOMA’22, Sep 2022, Bucarest, Romania. ⟨10.1007/978-3-031-24291-5_32⟩
Communication dans un congrès
hal-03970710v1
|
|||
|
|
Vérification de contrats logiciels à l'aide de transformations de modèles Application à Kmelia7ièmes Journées sur l'Ingénierie Dirigée par les Modèles, Ileana Ober, Jun 2011, Toulouse, France
Communication dans un congrès
hal-01147192v1
|
||
Préconditions et invariants, l'écriture de contraintes mal adaptées à un paradigme de spécification22e congrès INFORSID, 2004, Biarritz, France, France. pp.387--403
Communication dans un congrès
hal-00467549v1
|
|||
Vérification de conformité des interactions entre composantsLMO Workshop (Objets, Composants et Modèles), OCM'05, 2005, Berne, Suisse, Suisse. pp.1-6
Communication dans un congrès
hal-00458121v1
|
|||
Application d'ontologies formelles au droitSDC'06 Journée sur les Ontologies et textes juridiques, OTJ'06, 2006, Nantes, France, France. pp.30--39
Communication dans un congrès
hal-00458123v1
|
|||
|
|
Correction d'assemblages de composants impliquant des interfaces paramétrées3e Conférence Francophone sur les Architectures Logicielles, Mar 2009, Nancy, France. pp.34--44
Communication dans un congrès
hal-00423658v1
|
||
Optimizing Method Search with Lookup Caches and Incremental Coloring110-126, Oct 1992, Vancouver, Canada. pp.110-126, ⟨10.1145/141937.141947⟩
Communication dans un congrès
hal-01135528v1
|
|||
|
|
Virtual Extension of Meta-models with Facet Tools6th International Conference on Model-Driven Engineering and Software Development, Jan 2018, Funchal, Portugal. ⟨10.5220/0006547100590070⟩
Communication dans un congrès
hal-01911500v1
|
||
Definition and Visualization of Virtual Meta-model Extensions with a Facet FrameworkModel-Driven Engineering and Software Development - 6th International Conference, {MODELSWARD} 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers, 991, Springer, pp.106-133, 2019, Communications in Computer and Information Science book series (CCIS, volume 991), ⟨10.1007/978-3-030-11030-7_6⟩
Chapitre d'ouvrage
hal-02090263v1
|
|||
More Automation in Model Driven DevelopmentModel and Data Engineering, 12732, Springer International Publishing, pp.75-83, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-78428-7_7⟩
Chapitre d'ouvrage
hal-03682475v1
|
|||
Un cadre pour la vérification de modèles UML2005
Autre publication scientifique
hal-00458117v1
|
|||
|
|
A Framework for Defining Customised KPI in Manufacturing SystemsBorangiu, T., Trentesaux, D., Leitão, P., Berrah, L., Jimenez, JF. (eds). Service Oriented, Holonic and Multi-Agent Manufacturing Systems for Industry of the Future, 1136, Springer Nature Switzerland, pp.309-320, 2024, Studies in Computational Intelligence, 978-3-031-53444-7. ⟨10.1007/978-3-031-53445-4_26⟩
Chapitre d'ouvrage
hal-04440557v1
|
||
|
|
Raffinement de protocoles de communication par transformation de modèle13ème Colloque sur la Modélisation des Systèmes Réactifs (MSR'21), CNAM, Sep 2021, Paris, France
Communication dans un congrès
hal-04203186v1
|
||
La modélisation des listes en programmation par objetJournées Francophones des Langages Applicatifs, Jan 1994, Noirmoutier, France. pp.259-285
Communication dans un congrès
hal-01135544v1
|