Filtrer vos résultats
- 13
- 2
- 10
- 2
- 2
- 1
- 15
- 1
- 1
- 2
- 4
- 6
- 1
- 14
- 1
- 12
- 12
- 2
- 1
- 15
- 12
- 11
- 9
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
15 résultats
|
|
triés par
|
An Event-B model of the hybrid ERTMS/ETCS level 3 standardAbstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, Jun 2018, Southampton, United Kingdom. pp.353-366, ⟨10.1007/978-3-319-91271-4_24⟩
Communication dans un congrès
hal-01797810v1
|
|||
Extended algebraic state-transition diagramsICECCS 2018: 23rd International Conference on Engineering of Complex Computer Systems, Dec 2018, Melbourne, Australia. pp.146 - 155, ⟨10.1109/ICECCS2018.2018.00023⟩
Communication dans un congrès
hal-01963140v1
|
|||
|
Assessment of a formal requirements modeling approach on a transportation systemICFEM 2019: 21st International Conference on Formal Engineering Methods, Nov 2019, Shenzhen, China. pp.470-486, ⟨10.1007/978-3-030-32409-4_29⟩
Communication dans un congrès
hal-02386946v1
|
||
|
Modeling and Verifying an Arrival Manager Using Event-BRigorous State-Based Methods - 9th International Conference, ABZ 2023, May 2023, Nancy, France
Communication dans un congrès
hal-04192812v1
|
||
Event-B expression and verification of translation rules between SysML/KAOS domain models and B system specificationsABZ 2018 : 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Jun 2018, Southampton, United Kingdom. pp.55--70, ⟨10.1007/978-3-319-91271-4_5⟩
Communication dans un congrès
hal-01797812v1
|
|||
|
Vers une approche formelle d'ingénierie des exigences outillée et éprouvéeGénie logiciel [cs.SE]. Université Paris Est Créteil Val de Marne (Paris 12); Université de Sherbrooke (Québec, Canada), 2019. Français. ⟨NNT : ⟩
Thèse
tel-02882862v1
|
||
|
Software Architecture of Modern Model CheckersComputing and Software Science, State of the Art and Perspectives, 10000, Springer, pp.393-419, 2019, Lecture Notes in Computer Science, ⟨10.1007/978-3-319-91908-9_20⟩
Chapitre d'ouvrage
hal-02343325v1
|
||
Formalisation of SysML/KAOS goal assignments with B system component decompositionsIFM 2018: 14th International Conference on Integrated Formal Methods, Sep 2018, Maynooth, Ireland. pp.377 - 397, ⟨10.1007/978-3-319-98938-9_22⟩
Communication dans un congrès
hal-01885098v1
|
|||
Towards using ontologies for domain modeling within the SysML/KAOS approachREW 2017: IEEE 25th International Requirements Engineering Conference Workshops, Sep 2017, Lisbon, Portugal. pp.1 - 5, ⟨10.1109/REW.2017.22⟩
Communication dans un congrès
hal-01692857v1
|
|||
Integrating domain modeling within a formal requirements engineering methodImplicit and explicit semantics integration in proof-based developments of discrete systems: communications of NII Shonan meetings, Springer, pp.39-58, 2021, 978-981-15-5053-9. ⟨10.1007/978-981-15-5054-6_3⟩
Chapitre d'ouvrage
hal-03545897v1
|
|||
Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approachAbstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, Jun 2018, Southampton, United Kingdom. pp.262-276, ⟨10.1007/978-3-319-91271-4_18⟩
Communication dans un congrès
hal-01797811v1
|
|||
A formal refinement-based analysis of the hybrid ERTMS/ETCS level 3 standardInternational Journal on Software Tools for Technology Transfer, 2020, 22 (3), pp.333-347. ⟨10.1007/s10009-019-00543-1⟩
Article dans une revue
hal-02975774v1
|
|||
Back propagating B system updates on SysML/KAOS domain modelsICECCS 2018: 23rd International Conference on Engineering of Complex Computer Systems, Dec 2018, Melbourne, Australia. pp.160 - 169, ⟨10.1109/ICECCS2018.2018.00025⟩
Communication dans un congrès
hal-01963152v1
|
|||
Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approachInternational Journal on Software Tools for Technology Transfer, 2020, 22 (3), pp.349-363. ⟨10.1007/s10009-019-00542-2⟩
Article dans une revue
hal-02975778v1
|
|||
A formal requirements modeling approach: application to rail communicationICSOFT 2019: 14th International Conference on Software Technologies, Jul 2019, Prague, Czech Republic. pp.170-177, ⟨10.5220/0007809701700177⟩
Communication dans un congrès
hal-02403931v1
|