Zobrazeno 1 - 10
of 111
pro vyhledávání: '"Specification techniques"'
Autor:
Muhammad Azwan Ibrahim, Faizan Qamar, Zarina Shukur, Nasharuddin Zainal, Nazri Marzuki, Maria Ulfah Siregar
Publikováno v:
Systems, Vol 11, Iss 1, p 49 (2023)
Illegal software manipulation is one of the biggest issues in software security. This includes the legally relevant software which are now crucial modules in weight and measuring instruments such as weighbridges. Despite the advancement and complexit
Externí odkaz:
https://doaj.org/article/a1724f1c3b0942109c8be34d46bf1585
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Dongmo, Cyrille
Formal specification of software systems has been very promising. Critics against the end results of formal methods, that is, producing quality software products, is certainly rare. Instead, reasons have been formulated to justify why the adoption of
Externí odkaz:
http://hdl.handle.net/10500/5621
Autor:
Marieke Huisman, Stefan Blom
Publikováno v:
International journal on software tools for technology transfer, 17(6), 757-781. Springer
International Journal on Software Tools for Technology Transfer
International Journal on Software Tools for Technology Transfer
This paper discusses static verification of programs that have been specified using separation logic with magic wands. Magic wands are used to specify incomplete resources in separation logic, i.e., if missing resources are provided, a magic wand all
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fc0f11a499c3e1121989e47068eb2dd9
https://doi.org/10.1007/s10009-015-0372-3
https://doi.org/10.1007/s10009-015-0372-3
Autor:
Dongmo, Cyrille
The growing need for computer software in different sectors of activity, (health, agriculture, industries, education, aeronautic, science and telecommunication) together with the increasing reliance of the society as a whole on information technology
Externí odkaz:
http://hdl.handle.net/10500/23395
Autor:
Imen Bourguiba, Belaid Moa
Publikováno v:
Journal of Applied Logic. 10(4):410-418
Although the Software Cost Reduction (SCR) method has been successfully used in many projects and organizations to specify software requirements, surprisingly, its semantics is not well defined. The symbols used in this method are ambiguous, especial
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5892792e9d9c187ad1b17dcad4344234
Autor:
J., Hilston, de Alfaro, Luca, Faella, Marco, M.Z., Kwiatkowska, Telek, M., Stoelinga, Mariëlle Ida Antoinette
Publikováno v:
IEEE transactions on software engineering, 35(2):10.1109/TSE.2008.106, 258-273. IEEE
We extend the classical system relations of trace inclusion, trace equivalence, simulation, and bisimulation to a quantitative setting in which propositions are interpreted not as boolean values, but as elements of arbitrary metric spaces. Trace incl
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b810f2da492b29d48f1d786cdd96b384
https://doi.org/10.1109/tse.2008.106
https://doi.org/10.1109/tse.2008.106
Publikováno v:
4th ACM-SIGPLAN Conference on Certified Programs and Proofs (CPP)
4th ACM-SIGPLAN Conference on Certified Programs and Proofs (CPP), ACM-SIGPLAN, Jan 2015, Mumbai, India. ⟨10.1145/2676724.2693170⟩
CPP
4th ACM-SIGPLAN Conference on Certified Programs and Proofs (CPP), ACM-SIGPLAN, Jan 2015, Mumbai, India. ⟨10.1145/2676724.2693170⟩
CPP
International audience; Bisimilarity of two processes is formally established by producing a bisimulation relation that contains those two processes and obeys certain closure properties. In many situations, particularly when the under-lying labeled t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::209be306b3ad20c33ec97a02bb06e97b
https://hal.inria.fr/hal-01091524
https://hal.inria.fr/hal-01091524
Publikováno v:
Scopus-Elsevier
The post-genomic era has opened new insights into the complex biochemical reaction systems present in the cell and has generated huge amount of information. The biological systems are highly complex and can overwhelm the numerically computable models
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ff5d034ac43b2b1e759143f9dd6dec9d
https://doi.org/10.1089/omi.2004.8.370
https://doi.org/10.1089/omi.2004.8.370