Zobrazeno 1 - 10
of 21
pro vyhledávání: '"Pessaux, François"'
Autor:
Pessaux, François
Publikováno v:
EPTCS 149, 2014, pp. 64-78
For years, Integrated Development Environments have demonstrated their usefulness in order to ease the development of software. High-level security or safety systems require proofs of compliance to standards, based on analyses such as code review and
Externí odkaz:
http://arxiv.org/abs/1404.6607
Publikováno v:
ISTE Wiley, 2021, Print ISBN:9781786306029 |Online ISBN:9781119851196. ⟨10.1002/9781119851196⟩
International audience; This book – composed of two volumes – explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, providing also an accurate presentation of the material
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::771495d742b29cf8c8f9040c2c76ead1
https://hal.archives-ouvertes.fr/hal-03337213
https://hal.archives-ouvertes.fr/hal-03337213
Publikováno v:
ISTE Wiley, 2021, Print ISBN:9781786305305 |Online ISBN:9781119824121. ⟨10.1002/9781119824121⟩
International audience; This book – the first of two volumes – explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, while also providing an accurate presentation of the m
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::df893c58d210b9f86a56e01d1a54fbde
https://doi.org/10.1002/9781119824121
https://doi.org/10.1002/9781119824121
Publikováno v:
ISTE Editions, 2021, 9781784057022
National audience; Cet ouvrage explore les constructions syntaxiques des langages de programmation les plus courants, avec un éclairage mathématique sur leurs sémantiques et une présentation précise des aspects matériels qui interfèrent avec l
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::bcf85d06980937517ad6abc1e64cb9d8
https://hal.science/hal-03030511
https://hal.science/hal-03030511
Publikováno v:
ISTE Editions, 2021, 9781784057015
National audience; Cet ouvrage explore les constructions syntaxiques des langages de programmation les plus courants, avec un éclairage mathématique sur leurs sémantiques et une présentation précise des aspects matériels qui interfèrent avec l
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::4b6605c41897f1d2fcc774cdbb005473
https://hal.science/hal-03030484
https://hal.science/hal-03030484
Publikováno v:
Hepatology
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=r3c4b2081b22::f24c2fef11f1e947cabf9177531a1a21
Autor:
Pessaux, François, Doligez, Damien
Publikováno v:
[Research Report] Ensta ParisTech. 2018
Designing a tool to ease the development of high-level security or safety systems must consider to facilitate not only design and coding but also formal demonstrations of correctness and compliance to standards. This entails some requirements on the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::6e4d2a4c799b31a2d5356aa5958d169e
https://hal.archives-ouvertes.fr/hal-01801276/file/compil-fcl.pdf
https://hal.archives-ouvertes.fr/hal-01801276/file/compil-fcl.pdf