-
1دورية أكاديمية
المؤلفون: Li Zhaoxia, Zhu Jianxing, Arumugam K., Bhola Jyoti, Neware Rahul
المصدر: Journal of Intelligent Systems, Vol 31, Iss 1, Pp 1055-1064 (2022)
مصطلحات موضوعية: software defect prediction, detection system, big data technology, static software, software evolution, Science, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
العلاقة: https://doaj.org/toc/2191-026XTest
-
2دورية أكاديمية
المؤلفون: Petr Vytovtov, Kirill Chuvilin
المصدر: Proceedings of the XXth Conference of Open Innovations Association FRUCT, Vol 854, Iss 24, Pp 518-524 (2019)
مصطلحات موضوعية: Autoencoders, Automated programming system, Graph Neural Networks, Machine Learning, Source code representation, Static software analysis, Telecommunication, TK5101-6720
وصف الملف: electronic resource
-
3مؤتمر
المؤلفون: PELLEGRINI, ALESSANDRO
المساهمون: Pellegrini, Alessandro
مصطلحات موضوعية: assembly, code injection, code snippet, compile-time program manipulation, data structure, high performance computing, hijacker, hpc application, instruction set, instrumentation engine, instrument, librarie, open-source customizable static binary instrumentation tool, parallel processing, program compiler, program execution flow, public domain software, runtime, static software instrumentation, xml
وصف الملف: ELETTRONICO
العلاقة: info:eu-repo/semantics/altIdentifier/isbn/9781479908363; info:eu-repo/semantics/altIdentifier/isbn/9781479908370; info:eu-repo/semantics/altIdentifier/isbn/9781479908387; ispartofbook:2013 International Conference on High Performance Computing & Simulation (HPCS); 11th International Conference on High Performance Computing and Simulation, HPCS 2013; firstpage:650; lastpage:655; numberofpages:6; http://hdl.handle.net/11573/540808Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84883193485
-
4
المؤلفون: Kirill Chuvilin, Petr Vytovtov
المصدر: Proceedings of the XXth Conference of Open Innovations Association FRUCT, Vol 854, Iss 24, Pp 518-524 (2019)
FRUCTمصطلحات موضوعية: Source code, Artificial neural network, Programming language, business.industry, Computer science, media_common.quotation_subject, Autoencoders, computer.software_genre, Autoencoder, lcsh:Telecommunication, Machine Learning, Software, Software bug, Abstract syntax, lcsh:TK5101-6720, Static software analysis, Business logic, Graph Neural Networks, business, computer, Automated programming system, Decoding methods, media_common, Source code representation
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9fe4bda0f7959527533431c7c69b2e01Test
https://fruct.org/publications/fruct24/files/Vyt.pdfTest -
5رسالة جامعية
المؤلفون: Katzdobler, Franz-Josef
المساهمون: Dietrich, Dietmar, Gerstinger, Andreas
مصطلحات موضوعية: Satische Softwareanalyse, Softwaremetrik, Wartbarkeit, Static Software Analysis, Metric, Maintainability
وصف الملف: VI, 78 Bl.
العلاقة: https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-45025Test; http://hdl.handle.net/20.500.12708/11525Test; AC07808765; urn:nbn:at:at-ubtuw:1-45025
-
6رسالة جامعية
المؤلفون: Tapuy Chimbo, Stalin Humberto
المساهمون: Escobar Guachambala, Miguel Ángel, Cepeda Godoy, Carlos Ramiro
مصطلحات موضوعية: TECNOLOGÍA Y CIENCIAS DE LA INGENIERÍA, ANSYS – STATIC (SOFTWARE), DISEÑO ASISTIDO POR COMPUTADORA (CAD), GATO MECÁNICO (ELEVADOR), INGENIERÍA INVERSA
وصف الملف: application/pdf
العلاقة: UDCTFM;65T00277; Tapuy Chimbo, Stalin Humberto. (2018). Análisis de desempeño del gato mecánico eleva automóvil del modelo M4 en la empresa Ciauto conforme a lo especificado en RTE-INEN 195/ISO 8720. Escuela Superior Politécnica de Chimborazo. Riobamba.; http://dspace.espoch.edu.ec/handle/123456789/9827Test
-
7
المؤلفون: Traub, Johannes
المساهمون: Nowotka, Dirk, Leuker, Martin
مصطلحات موضوعية: doctoral thesis, Bounded Model Checking, Abschlussarbeit, Static Software Analysis, Faculty of Engineering, Technische Fakultät, ddc:0XX, Embedded Software, ddc:004, Formal Verification, Formal Verification, Static Software Analysis, Bounded Model Checking, Embedded Software
وصف الملف: application/pdf
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::54b62649882368a602e80c5c55f73346Test
http://macau.uni-kiel.de/receive/dissertation_diss_00018618Test -
8
المؤلفون: Abuthawabeh, Ala
مصطلحات موضوعية: multitype code coupling, graph layout, Software engineering, Multi-Edge Graph, static software structure, software engineering task, graph drawing algorithm, directed graphs, small-multiples node-link visualization, matrix visualization, software comprehension, visual structure, ddc:004, msc:00-XX
وصف الملف: application/pdf
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::5be951696a11b8c73eea0c1e41598af4Test
-
9رسالة جامعية
المؤلفون: Traub, Johannes Frederik Jesper
المساهمون: Nowotka, Dirk, Leuker, Martin
مصطلحات موضوعية: thesis, ddc:004, Formal Verification, Static Software Analysis, Bounded Model Checking, Embedded Software
العلاقة: https://nbn-resolving.org/urn:nbn:de:gbv:8-diss-186183Test; https://macau.uni-kiel.de/receive/diss_mods_00018618Test; https://macau.uni-kiel.de/servlets/MCRFileNodeServlet/dissertation_derivate_00006537/Traub_Formal-Verification-of-Concurrent-EmbeddedTest-Software.pdf
-
10رسالة جامعية
المؤلفون: Κόρδας, Αθανάσιος
مرشدي الرسالة: Μπούρας, Χρήστος, Kordas, Athanasios, Στάμος, Κωνσταντίνος
مصطلحات موضوعية: Λογισμικό, Στατική ανάλυση λογισμικού, Ελεύθερο λογισμικό, 005.12, Software, Static software analysis, Open software
الإتاحة: http://hdl.handle.net/10889/8591Test