Zobrazeno 1 - 10
of 1 038
pro vyhledávání: '"Object code"'
Autor:
Romiţan, Ciprian Raul
Publikováno v:
Revista Română de Dreptul Proprietăţii Intelectuale / Romanian Journal of Intellectual Property Law. (1 (42)):12-22
Externí odkaz:
https://www.ceeol.com/search/article-detail?id=43963
Autor:
Konstiantyn Zerov
Publikováno v:
Theory and Practice of Intellectual Property. :5-14
Zerov K. Copyright protection for computer programs. The article discusses the main approaches to the legal protection of software, particularly computer programs, in accordance with the current legislation of Ukraine and foreign practices. It is con
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a880e33c08404031fa3c0cb6b17d78d8
https://doi.org/10.33731/62020.233854
https://doi.org/10.33731/62020.233854
Autor:
Brock, Amanda
This book examines various policies, including the legal and commercial aspects of the Open Source phenomenon. Here, ‘Open Source’ is adopted as convenient shorthand for a collection of diverse users and communities, whose differences can be as g
Externí odkaz:
https://library.oapen.org/handle/20.500.12657/59819
Autor:
Vasiu, Ioana
Publikováno v:
Revista Română de Dreptul Proprietăţii Intelectuale / Romanian Journal of Intellectual Property Law. (04):16-40
Externí odkaz:
https://www.ceeol.com/search/article-detail?id=226037
Publikováno v:
Life Cycle Reliability and Safety Engineering. 10:39-52
A software code may practically consist of many functions or subroutines with loops and branches. Also, the quantification of cyclomatic complexity is tedious, when the size of the software code is too large. Practically, size of the code for a real
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d89bd2bd1216ab142b230db94a321ed1
https://doi.org/10.1007/s41872-020-00142-z
https://doi.org/10.1007/s41872-020-00142-z
Publikováno v:
Scientific Programming, Vol 2020 (2020)
One of the major challenges in the formal verification of embedded system software is the complexity and substantially large size of the implementation. The problem becomes crucial when the embedded system is a complex medical device that is executin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a47ce0974f3f8ee5eb4e885240f811b8
https://doi.org/10.1155/2020/6791891
https://doi.org/10.1155/2020/6791891
Autor:
Lucas G. Wagner, Andrew Gacek
Publikováno v:
ACM SIGAda Ada Letters. 39:35-49
The Speci cation and Analysis of Requirements (SpeAR) tool is a requirements prototyping and analysis tool based on the formal semantics of the Lustre language. It features a domain speci c language that formally captures functional requirements of s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::32df25236b414dc18f810a56cfa2078b
https://doi.org/10.1145/3379106.3379111
https://doi.org/10.1145/3379106.3379111
Autor:
Kozhinova, Alla, Tarelko, Michail
Publikováno v:
Etnolingwistyka. Problemy Języka I Kultury / Ethnolinguistics. Issues in Language and Culture. 13(13):231-246
Externí odkaz:
https://www.ceeol.com/search/article-detail?id=817652
Autor:
Ioannis Latifis
Στην παρούσα διδακτορική διατριβή παρουσιάζεται ένας μεταγλωττιστής της γλώσσας MATLAB ο οποίος παράγει κώδικα C αξιοποιώντας εντολές ειδ
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::75220e3a968c80a2eded731e9aef22d8
https://doi.org/10.12681/eadd/41138
https://doi.org/10.12681/eadd/41138