Zobrazeno 1 - 3
of 3
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