المؤلفون: Carlo A. Furia, Christopher M. Poskitt, Julian Tschannen

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 187, Iss Proc. F-IDE 2015, Pp 42-55 (2015)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/1508.03895v1; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/30c02b971e7542e8ab309b46194af149

المؤلفون: Liushan Chen, Yu Pei, Minxue Pan, Tian Zhang, Qixin Wang, Carlo A. Furia

المصدر: IEEE Transactions on Software Engineering. 49:831-848

مصطلحات موضوعية: Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::a48890dc95dd81a3a77b2ab0cf7a0256
https://doi.org/10.1109/tse.2022.3164662

المؤلفون: Marco Paganoni, Carlo A. Furia

المصدر: Formal Methods ISBN: 9783031274800

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::8d233b814c6a0c34904bb92e34c2248d
https://doi.org/10.1007/978-3-031-27481-7_20

المؤلفون: Carlo A. Furia, Yu Pei, Liushan Chen

المصدر: IEEE Transactions on Software Engineering. 47:2841-2857

مصطلحات موضوعية: Java, Work (electrical), Computer science, 0202 electrical engineering, electronic engineering, information engineering, Benchmark (computing), Process (computing), 020207 software engineering, 02 engineering and technology, State (computer science), computer, Software, computer.programming_language, Reliability engineering

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::47f1f6ff329f44cf22b9ceffbfd8d2df
https://doi.org/10.1109/tse.2020.2970009

المؤلفون: Mohammad Rezaalipour, Carlo A. Furia

المصدر: Journal of Systems and Software. 201:111669

مصطلحات موضوعية: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, Hardware and Architecture, Software, Information Systems

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3c6cfaad0bbfb0d3ad39867f81b9e1c3
https://doi.org/10.1016/j.jss.2023.111669

المؤلفون: Diego Marcilio, Carlo A. Furia

المصدر: 2022 IEEE International Conference on Software Maintenance and Evolution (ICSME).

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::17b4b72c142ea512ff64809dd499b2f7
https://doi.org/10.1109/icsme55016.2022.00038

المؤلفون: Claire Dross, Carlo A Furia, Marieke Huisman, Rosemary Monahan, Peter Müller

المساهمون: Digital Society Institute, Formal Methods and Tools

المصدر: International journal on software tools for technology transfer, 23(6), 883-893. Springer
International Journal on Software Tools for Technology Transfer, 23

مصطلحات موضوعية: program verification, correctness proofs, 020204 information systems, functional correctness, verification competition, 0202 electrical engineering, electronic engineering, information engineering, 020207 software engineering, 02 engineering and technology, GeneralLiterature_REFERENCE(e.g.,dictionaries,encyclopedias,glossaries), Software, Information Systems

وصف الملف: application/pdf; application/application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3e5dd550346389517576552d64ec4742
https://doi.org/10.1007/s10009-021-00619-x

المؤلفون: Martin Odermatt, Diego Marcilio, Carlo A. Furia

المصدر: 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER).

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::5d8be636e3873276db0d726b9fc51a5f
https://doi.org/10.1109/saner53432.2022.00098

المؤلفون: Richard Torkar, Neil A. Ernst, Robert Feldt, Francisco Gomes de Oliveira Neto, Lucas Gren, Carlo A. Furia, Per Lenberg

مصطلحات موضوعية: FOS: Computer and information sciences, Programvaruteknik, Computer science, Bayesian probability, Testing, Bayesian analysis, Context (language use), Data modeling, Computer Science - Software Engineering, Empirical research, Statistical significance, Relevance (information retrieval), Analytical models, statistical significance, Cumulative prospect theory, Software engineering, business.industry, Multilevel model, Empirical process (process control model), Data models, Statistical model, Bayes methods, Software Engineering (cs.SE), empirical software engineering, Statistical analysis, business, Practical significance, Decision making, Software

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::500e1f756923bd85ca6fccebbc2a1ee8
http://urn.kb.se/resolve?urn=urn:nbn:se:bth-24154

المؤلفون: Robert Feldt, Francisco Gomes de Oliveira Neto, Carlo A. Furia, Ziwei Huang, Richard Torkar, Lucas Gren

المصدر: Journal of Systems and Software. 156:246-267

مصطلحات موضوعية: Computer science, media_common.quotation_subject, 05 social sciences, Empirical process (process control model), Nonparametric statistics, 020207 software engineering, Context (language use), 02 engineering and technology, Data science, Workflow, Hardware and Architecture, 0502 economics and business, 0202 electrical engineering, electronic engineering, information engineering, Conceptual model, Statistical analysis, State (computer science), Empirical evidence, 050203 business & management, Software, Information Systems, Statistical hypothesis testing, media_common

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::6d71df605d8efa2a37c6967946e1f835
https://doi.org/10.1016/j.jss.2019.07.002