Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Marwa Benabdelali"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 282, Iss Proc. Refine 2018, Pp 39-52 (2018)
To derive a program for a given specification R means to find an artifact P that satisfies two conditions: P is executable in some programming language; and P is correct with respect to R. Refinement-based program derivation achieves this goal in a s
Externí odkaz:
https://doaj.org/article/3c742bef0bba4509a7e48ee41e2545f4
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 282, Iss Proc. Refine 2018, Pp 39-52 (2018)
Refine@FM
Refine@FM
To derive a program for a given specification R means to find an artifact P that satisfies two conditions: P is executable in some programming language; and P is correct with respect to R. Refinement-based program derivation achieves this goal in a s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f12ad8008e57f376099f546b42a26dc3
https://doaj.org/article/3c742bef0bba4509a7e48ee41e2545f4
https://doaj.org/article/3c742bef0bba4509a7e48ee41e2545f4
Autor:
Marwa Benabdelali, Lamia Labed Jilani
Publikováno v:
ICSOFT
This paper concerns the exploration of an approach that deals with formal program derivation in contrast to the traditional approach that begins with a formal specification, derive different refinements of that specification until generating the fina
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::da0ec8cd6e28b8b9ec65f06ee8d89249
https://doi.org/10.5220/0007835402100217
https://doi.org/10.5220/0007835402100217
Autor:
Durán, Amador1 amador@us.es, Benavides, David1 benavides@us.es, Segura, Sergio1 sergiosegura@us.es, Trinidad, Pablo1 ptrinidad@us.es, Ruiz-Cortés, Antonio1 aruiz@us.es
Publikováno v:
Software & Systems Modeling. Oct2017, Vol. 16 Issue 4, p1049-1082. 34p.