Zobrazeno 1 - 10
of 38
pro vyhledávání: '"Lamia Labed Jilani"'
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:
EPiC Series in Computing.
Software and Systems Product Line (SSPL) engineering has shown capabilities to reduce costs and time to market. This is thanks to the creation and management of a common platform dedicated to develop a family of products. These latters can be a famil
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::49323cb5befa7f9241e5cba8debbce20
https://doi.org/10.29007/fh6k
https://doi.org/10.29007/fh6k
Publikováno v:
ENASE
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::34f5747d436d77e454ba98227494c93f
https://doi.org/10.5220/0010480203890396
https://doi.org/10.5220/0010480203890396
Publikováno v:
ENASE
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c77408cb3d728f68260f431396432b79
https://doi.org/10.5220/0010457203140322
https://doi.org/10.5220/0010457203140322
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
Publikováno v:
EPiC Series in Computing.
Invariant assertions play an important role in the analysis and documentation of while loops of imperative programs. Invariant functions and invariant relations are alternative analysis tools that are distinct from invariant assertions but are relate
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6c200a444cd5b657f85b07be372cc983
https://doi.org/10.29007/zhz4
https://doi.org/10.29007/zhz4
Autor:
Bochra Khiari, Lamia Labed Jilani
Publikováno v:
AICCSA
Extant BPM models and methods seem to focus on well-defined, structured and too rigid development process. This latter follows an internally oriented business model implemented with an inside-out approach, with internal focus problem-solving. While d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3ff65e9bc9a735e235e84c06658c43cb
https://doi.org/10.1109/aiccsa.2017.79
https://doi.org/10.1109/aiccsa.2017.79
Publikováno v:
International Journal of Critical Computer-Based Systems. 10:37
Refinement-based correctness-preserving transformations are considered as the gold standard of program transformations. While we do not dispute the merits of transforming programs in a way that preserves their correctness, we argue that the vast majo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::371e346dacbda1789a97195fb7233059
https://doi.org/10.1504/ijccbs.2020.108670
https://doi.org/10.1504/ijccbs.2020.108670