Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Thomas, Fayolle"'
Autor:
Pierre-Emmanuel, Fayemi, Stefano, Duci, Thomas, Fayolle, Maranzana, Nicolas, Giacomo, Bersano
Publikováno v:
In Procedia CIRP 2016 39:138-143
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 209, Iss Proc. Refine 2015, Pp 1-16 (2016)
In a traditional formal development process, e.g. using the B method, the informal user requirements are (manually) translated into a global abstract formal specification. This translation is especially difficult to achieve. The Event-B method was de
Externí odkaz:
https://doaj.org/article/175b2a384e18400fbe0cece74fcabbe3
Publikováno v:
ICORES
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::55df9ac5a66ab6a4532d9d77a5f47030
https://doi.org/10.5220/0010308500002859
https://doi.org/10.5220/0010308500002859
Publikováno v:
ICORES
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::17b5da14296bb4a4b49659997cf89c38
https://doi.org/10.5220/0010315900002859
https://doi.org/10.5220/0010315900002859
Publikováno v:
Heuristics for Optimization and Learning ISBN: 9783030589295
Global constraints are very popular in routing optimization because they have a very good time complexity. Yet, they can be hard to implement because they have lots of technical requirement on the way information is transmitted to them. Our goal is t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::50b797f0879e4ad30b7519da96a6875c
https://doi.org/10.1007/978-3-030-58930-1_10
https://doi.org/10.1007/978-3-030-58930-1_10
Publikováno v:
Abstract State Machines, Alloy, B, TLA, VDM, and Z-5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
Abstract State Machines, Alloy, B, TLA, VDM, and Z-5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings, 2016, Linz, Austria. pp.394--408, ⟨10.1007/978-3-319-33600-8_33⟩
Lecture Notes in Computer Science ISBN: 9783319335995
ABZ
Abstract State Machines, Alloy, B, TLA, VDM, and Z-5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings, 2016, Linz, Austria. pp.394--408, ⟨10.1007/978-3-319-33600-8_33⟩
Lecture Notes in Computer Science ISBN: 9783319335995
ABZ
International audience; This paper presents the specification of the hemodialysis case study, proposed by ABZ’16 conference. The specification was carried out by a coupling of Algebraic State-Transition Diagrams (astd) and B-like methods. astd are
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2806dad742d11064219480e766fef966
https://hal.archives-ouvertes.fr/hal-01574901
https://hal.archives-ouvertes.fr/hal-01574901
Publikováno v:
Proceedings 17th International Workshop on Refinement, Refine@FM 2015, Oslo, Norway, 22nd June 2015.
Proceedings 17th International Workshop on Refinement, Refine@FM 2015, Oslo, Norway, 22nd June 2015., 2015, Unknown, Unknown Region. pp.1--16, ⟨10.4204/EPTCS.209.1⟩
Refine@FM
Electronic Proceedings in Theoretical Computer Science, Vol 209, Iss Proc. Refine 2015, Pp 1-16 (2016)
Proceedings 17th International Workshop on Refinement, Refine@FM 2015, Oslo, Norway, 22nd June 2015., 2015, Unknown, Unknown Region. pp.1--16, ⟨10.4204/EPTCS.209.1⟩
Refine@FM
Electronic Proceedings in Theoretical Computer Science, Vol 209, Iss Proc. Refine 2015, Pp 1-16 (2016)
In a traditional formal development process, e.g. using the B method, the informal user requirements are (manually) translated into a global abstract formal specification. This translation is especially difficult to achieve. The Event-B method was de
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::76d2f1a1299a6b81a15b79265b3bfc29
https://hal.archives-ouvertes.fr/hal-01575304
https://hal.archives-ouvertes.fr/hal-01575304