Filtrer vos résultats
- 11
- 9
- 12
- 4
- 3
- 1
- 20
- 3
- 1
- 6
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 18
- 2
- 17
- 17
- 14
- 14
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 20
- 15
- 13
- 8
- 7
- 4
- 3
- 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
20 résultats
|
|
|
triés par
|
|
|
Making explicit domain knowledge in formal system developmentScience of Computer Programming, 2016, 121 (100--127), ⟨10.1016/j.scico.2015.12.004⟩
Article dans une revue
hal-01245832v1
|
||
Handling Heterogeneity in Formal Developments of Hardware and Software SystemsISoLA - 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation - 2012, Tiziana Margaria and Bernhard Steffen, Oct 2012, Amirandes, Heraklion, Greece. pp.327-328, ⟨10.1007/978-3-642-34032-1_33⟩
Communication dans un congrès
hal-00743810v1
|
|||
|
|
Étude et comparaison de scénarios de développements formels d'interfaces multi-modales fondés sur la preuve et le raffinement.MOSIM 2006 - 6ème Conférence Francophone de Modélisation et Simulation. Modélisation, Optimisation et Simulation des Systèmes, Apr 2006, Rabat, Maroc. pp.578-588
Communication dans un congrès
hal-00633903v1
|
||
|
|
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete SystemsSpringer Singapore, 2021, 978-981-15-5053-9. ⟨10.1007/978-981-15-5054-6⟩
Ouvrages
hal-02910199v1
|
||
Formal Ontological Analysis for Medical ProtocolsImplicit and explicit semantics integration in proof based developments of discrete systems, Springer, 2021, 978-981-15-5053-9. ⟨10.1007/978-981-15-5054-6_5⟩
Chapitre d'ouvrage
hal-03199742v1
|
|||
|
|
Validation et Vérification Formelles de Systèmes Interactifs Multi-Modaux Fondées sur la Preuve.18es Conférence Francophone sur l'Interaction Homme-Machine (IHM 2006)., Apr 2006, Montréal, Canada. pp.123-130, ⟨10.1145/1132736.1132752⟩
Communication dans un congrès
hal-00633908v1
|
||
|
|
Formal Ontology Driven Model Refactoring2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS), Dec 2018, Melbourne, Australia. pp.136-145, ⟨10.1109/ICECCS2018.2018.00022⟩
Communication dans un congrès
hal-02353400v1
|
||
|
|
On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Specialized Techniques and Applications (ISoLA 2014), Oct 2014, Corfu, Greece. pp.604-618, ⟨10.1007/978-3-662-45231-8_50⟩
Communication dans un congrès
hal-01097624v1
|
||
Towards Leveraging Domain Knowledge in State-Based Formal MethodsRaschke, Alexander; Riccobene, Elvinia; Schewe, Klaus-Dieter. Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday, 12750, Springer, pp.1-13, 2021, Lecture Notes in Computer Science, 978-3-030-76020-5. ⟨10.1007/978-3-030-76020-5_1⟩
Chapitre d'ouvrage
hal-03250787v1
|
|||
An Integrated Framework for the Formal Analysis of Critical Interactive SystemsThe 27th Asia-Pacific Software Engineering Conference, Jun Sun, Dec 2020, Singapour, Singapore. pp.10
Communication dans un congrès
hal-02999148v1
|
|||
|
|
Standard Conformance-by-Construction with Event-BFMICS 2021 - 26th International Conference on Formal Methods for Industrial Critical Systems, Aug 2021, Paris, France. pp.126-146, ⟨10.1007/978-3-030-85248-1_8⟩
Communication dans un congrès
hal-03487118v2
|
||
|
|
Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 6617th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2019), Nov 2019, Shenzhen, China. pp.21-39, ⟨10.1007/978-3-030-46902-3_2⟩
Communication dans un congrès
hal-02942767v1
|
||
Non-Intrusive Annotation-Based Domain-Specific Analysis to Certify Event-B Models Behaviours2022 29th Asia-Pacific Software Engineering Conference (APSEC), Dec 2022, Japan, Japan. pp.129-138, ⟨10.1109/APSEC57359.2022.00025⟩
Communication dans un congrès
hal-04316165v1
|
|||
|
|
Leveraging Event-B Theories for Handling Domain Knowledge in Design Models7th International Symposium on Dependable Software Engineering. Theories, Tools, and Applications (SETTA 2021), Nov 2021, Beijing, China. pp.40-58, ⟨10.1007/978-3-030-91265-9_3⟩
Communication dans un congrès
hal-03857803v2
|
||
On the Benefits of Using MVC Pattern for Structuring Event-B Models of WIMP Interactive ApplicationsInteracting with Computers, 2021, ⟨10.1093/iwcomp/iwab016⟩
Article dans une revue
hal-03224780v1
|
|||
Empowering the Event-B Method Using External TheoriesIntegrated Formal Methods, 13274, Springer International Publishing, pp.18-35, 2022, Lecture Notes in Computer Science, 978-3-031-07726-5. ⟨10.1007/978-3-031-07727-2_2⟩
Chapitre d'ouvrage
hal-03904799v1
|
|||
|
|
Formal domain-driven system development in Event-B: Application to interactive critical systemsJournal of Systems Architecture, 2023, 135, pp.102798. ⟨10.1016/j.sysarc.2022.102798⟩
Article dans une revue
hal-03904803v1
|
||
F3FLUID: A formal framework for developing safety‐critical interactive systems in FLUIDJournal of Software: Evolution and Process, In press, ⟨10.1002/smr.2439⟩
Article dans une revue
hal-03617603v1
|
|||
|
|
On the importance of explicit domain modelling in refinement-based modelling design: experiments with Event-B6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ 2018), Jun 2018, Southampton, United Kingdom. pp.425--430, ⟨10.1007/978-3-319-91271-4_35⟩
Communication dans un congrès
hal-01797538v1
|
||
|
|
Semantic Hubs for Geological ProjectsProc. Workshop on Semantic Metadata Management and Applications (SeMMA 2008), Jun 2008, Tenerife, Spain. pp.3-17
Communication dans un congrès
hal-04107779v1
|