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
|
|||
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
|
|||
|
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
|
||
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
|
|||
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
|
|||
|
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
|
||
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
|
|||
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
|
|||
|
Numerical calculation of the transport coefficients in thermal plasmasThe 9th International Student Conference on Advanced Science and Technology., Dec 2014, Clermont-Ferrand, France
Communication dans un congrès
hal-01111210v1
|
||
The Invoicing System: Using GATComparing Systems Specification Techniques, Henri Habrias, 1998, Nantes, France. pp.381-395
Communication dans un congrès
hal-01135557v1
|
|||
|
Protocoles d'utilisation de composants : spécification et analyse en Kmelia1ère Conférence Francophone sur les Architectures Logicielles, Sep 2006, Nantes, France. pp.101--118
Communication dans un congrès
hal-00423665v1
|
||
Exercices corrigés en langage Z - Les spécifications formelles par la pratiqueEditions Ellipses, pp.246, 2004, Collection Technosup
Ouvrages
hal-00458124v1
|
|||
|
COSTOTest: a tool for building and running test harness for service-based component models (demo)ISSTA 2016 Proceedings of the 25th International Symposium on Software Testing and Analysis, Jul 2016, Saarbrücken, Germany. pp.437-440, ⟨10.1145/2931037.2948704⟩
Communication dans un congrès
hal-01436067v1
|
||
|
A Review of Core Operational Business-IT Alignment31st International Conference on Information Systems Development (ISD 2023), Aug 2023, Lisbon, Portugal. ⟨10.62036/ISD.2023.6⟩
Communication dans un congrès
hal-04140806v1
|
||
|
A tool-assisted method for the systematic construction of critical embedded systems using Event-BComputer Science and Information Systems, 2019, 00, pp.42-42. ⟨10.2298/CSIS190501042A⟩
Article dans une revue
hal-02468473v1
|
||
|
Un outil d'assistance à la construction de tests de modèles à composants et services16èmes journées AFADL Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2017, Montpellier, France
Communication dans un congrès
hal-01628306v1
|
||
|
Alignement des points de vue du système d'information Une approche pragmatiqueActes du XXXVIème Congrès INFORSID, May 2018, Nantes, France
Communication dans un congrès
hal-02468406v1
|
||
Aggregation Patterns in Holonic Manufacturing SystemsStudies in Computational Intelligence, 2022, Studies in Computational Intelligence, 1034, pp.3-15. ⟨10.1007/978-3-030-99108-1_1⟩
Article dans une revue
hal-03904851v1
|
|||
|
A review of reference architectures for digital manufacturing: Classification, applicability and open issuesComputers in Industry, 2023, 149, pp.103923. ⟨10.1016/j.compind.2023.103923⟩
Article dans une revue
hal-04085152v1
|
||
A Service-Based Component Model{:} Description Formalism, Formal Analysis and Mechanization2005
Autre publication scientifique
hal-00458116v1
|
|||
|
A Survey on Secure Android Apps Development Life-Cycle: Vulnerabilities and ToolsInternational Journal On Advances in Security, 2023, 16 (1 & 2), pp.54-71
Article dans une revue
hal-04181107v1
|