Zobrazeno 1 - 10
of 24
pro vyhledávání: '"Renaud Rioboo"'
Publikováno v:
SSRN Electronic Journal.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::42b5d56f5944bf4d4894f7e7d8aab390
https://doi.org/10.2139/ssrn.4070225
https://doi.org/10.2139/ssrn.4070225
Publikováno v:
Soft Computing. 24:4149-4164
Unified Modeling Language (UML) is the de facto standard for the development of software models, and Object Constraint Language (OCL) is used within UML models to specify model constraints. Several UML/OCL tools provide Model-Driven Engineering trans
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::83618766128664bd52e208bdbee2f270
https://doi.org/10.1007/s00500-019-04181-2
https://doi.org/10.1007/s00500-019-04181-2
Publikováno v:
Journal of Systems Architecture. 114:101911
The UML Activity Diagram (UAD) is mostly used for modeling behavioral aspects of objects and systems. OCL (Object Constraint Language) is used together with UAD to specify guard conditions and action constraints. Due to the ambiguous semantics of UAD
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9b820a91a846aff19fda8e2dae3cbeef
https://doi.org/10.1016/j.sysarc.2020.101911
https://doi.org/10.1016/j.sysarc.2020.101911
Publikováno v:
2018 International Conference on Smart Communications in Network Technologies (SaCoNeT).
Multiple Inheritance is an Object Oriented feature that is widely adopted by the Unified Modeling Language (UML). To generate software from a UML model, programming languages that supports multiple inheritance (such as C++, Eiffel or POOL) are availa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::209d11fcd99abe95a43fbd48dc3d1bfd
https://doi.org/10.1109/saconet.2018.8585507
https://doi.org/10.1109/saconet.2018.8585507
Publikováno v:
International Journal of Information and Communication Technology. 13:34
UML and OCL are largely adopted as a standard to describe the static and the dynamic aspects of systems and to specify their properties. Model driven engineering (MDE) techniques can be used to automatically generate code from such models. For critic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4d918739639728477b9398c260bca9e6
https://doi.org/10.1504/ijict.2018.090429
https://doi.org/10.1504/ijict.2018.090429
Autor:
Renaud Rioboo
Publikováno v:
Annals of Mathematics and Artificial Intelligence. 56:273-296
In this paper we present a FoCaL formalization for quotient structures which are common in mathematics. We first present a framework for stating invariant properties of the data manipulated by running programs. A notion of equivalence relation is the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::64a5285452b64d1a192e38daff4c7a19
https://doi.org/10.1007/s10472-009-9156-3
https://doi.org/10.1007/s10472-009-9156-3
Autor:
Renaud Rioboo, Catherine Dubois
Publikováno v:
Software Engineering and Formal Methods ISBN: 9783319104300
SEFM
SEFM
Collections and iterators are widely used in the Object community since they are standards of the Java language. We present a certified functional implementation of collections and iterators addressing the Specification And Verification of Component
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e514393c7c92418aebfbcb9647add3fc
https://doi.org/10.1007/978-3-319-10431-7_26
https://doi.org/10.1007/978-3-319-10431-7_26
Publikováno v:
International Conference on Integrated Formal Methods (IFM 2014)
International Conference on Integrated Formal Methods (IFM 2014), 2014, Bertinoro, Italy
Lecture Notes in Computer Science ISBN: 9783319101804
IFM
International Conference on Integrated Formal Methods (IFM 2014), 2014, Bertinoro, Italy
Lecture Notes in Computer Science ISBN: 9783319101804
IFM
UML is the defacto standard language to graphically describe systems in an object oriented way. Once an application has been specified, Model Driven Architecture (MDA) techniques can be applied to generate code from such specifications. Because UML l
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b4c56d6056f42ae397bec7ff4584f6f5
https://hal.archives-ouvertes.fr/hal-01075772
https://hal.archives-ouvertes.fr/hal-01075772
Publikováno v:
Calculemus
Calculemus workshop of FLOC'99
Calculemus workshop of FLOC'99, Jun 1999, Trento, Italy. pp.370-385, ⟨10.1016/S1571-0661(05)80609-7⟩
Calculemus workshop of FLOC'99
Calculemus workshop of FLOC'99, Jun 1999, Trento, Italy. pp.370-385, ⟨10.1016/S1571-0661(05)80609-7⟩
International audience; The FOC project, started at the fall 1997, is aimed to build a programming environment for the development of certified symbolic computation. The working languages are Coq and Ocaml. In this paper, we present first the motivat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::70ad4cfebff30add604c5d36631fb70c
https://doi.org/10.1016/s1571-0661(05)80609-7
https://doi.org/10.1016/s1571-0661(05)80609-7
Autor:
Renaud Rioboo, Truong Giang Le, Renaud Pawlak, Dmitriy Fedosov, Matthieu Manceny, Olivier Hermant
Publikováno v:
IFIP Advances in Information and Communication Technology ISBN: 9783642388521
IESS
IFIP Advances in Information and Communication Technology
4th International Embedded Systems Symposium (IESS)
4th International Embedded Systems Symposium (IESS), Jun 2013, Paderborn, Germany. pp.14-25, ⟨10.1007/978-3-642-38853-8_2⟩
IESS
IFIP Advances in Information and Communication Technology
4th International Embedded Systems Symposium (IESS)
4th International Embedded Systems Symposium (IESS), Jun 2013, Paderborn, Germany. pp.14-25, ⟨10.1007/978-3-642-38853-8_2⟩
International audience; We introduce how to use event-based style to program robots through the INI programming language. INI features both built-in and user-defined events, a mechanism to handle various kinds of changes happening in the environment.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3a77135d125f43d064b0b0e840daea51
https://doi.org/10.1007/978-3-642-38853-8_2
https://doi.org/10.1007/978-3-642-38853-8_2