TY - JOUR AU - Huseynli, Murad AU - Bub, Udo AU - Ogbuachi, Michael Chima TI - Development of a Method for the Engineering of Digital Innovation Using Design Science Research JF - INFORMATION (BASEL) J2 - INFORMATION-BASEL VL - 13 PY - 2022 IS - 12 SN - 2078-2489 DO - 10.3390/info13120573 UR - https://m2.mtmt.hu/api/publication/33327574 ID - 33327574 AB - This paper outlines the path towards a method focusing on a process model for the integrated engineering of Digital Innovation (DI) and Design Science Research (DSR). The use of the DSR methodology allows for achieving both scientific rigor and practical relevance, while integrating the concept of innovation strategies into the proposed method enables a conscious approach to classify different Information Systems (IS) artifacts, and provides a way to create, transfer, and generalize their design. The resulting approach allows for the systematic creation of innovative IS artifacts. On top of that, cumulative DSR knowledge can be systematically built up, facilitating description, comparability, and reuse of the artifacts. We evaluate this newly completed approach in a case study for an automated conversational call center interface leveraging the identification of the caller’s age and gender for dialog optimization, based on machine learning models trained on the SpeechDat spoken-language resource database. Moreover, we validate innovation strategies by analyzing additional innovative projects. LA - English DB - MTMT ER - TY - JOUR AU - Lanese, Ivan AU - Sangiorgi, Davide AU - Zavattaro, Gianluigi TI - Playing with Bisimulation in Erlang JF - LECTURE NOTES IN COMPUTER SCIENCE J2 - LNCS VL - 11665 PY - 2019 IS - & SP - 71 EP - 91 PG - 21 SN - 0302-9743 DO - 10.1007/978-3-030-21485-2_6 UR - https://m2.mtmt.hu/api/publication/30733827 ID - 30733827 LA - English DB - MTMT ER - TY - CHAP AU - Alexandre, Jorge Barbosa Rodrigues AU - Fördős, Viktória TI - Towards secure Erlang systems T2 - Erlang 2018 Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang PB - ACM Press CY - Saint Louis (MO) SN - 9781450358248 PB - ACM Press PY - 2018 SP - 67 EP - 70 PG - 4 DO - 10.1145/3239332.3242768 UR - https://m2.mtmt.hu/api/publication/27687889 ID - 27687889 N1 - https://dl.acm.org/citation.cfm?id=3242768 LA - English DB - MTMT ER - TY - CHAP AU - Fördős, Viktória AU - Bozó, István AU - Tóth, Melinda ED - Natalia, Chechina ED - Scott, Lystig Fritchie TI - Towards change-driven testing T2 - Erlang 2017 PB - ACM Press CY - New York, New York SN - 9781450351799 PY - 2017 SP - 64 EP - 65 PG - 2 DO - 10.1145/3123569.3123575 UR - https://m2.mtmt.hu/api/publication/3266343 ID - 3266343 LA - English DB - MTMT ER - TY - CHAP AU - Lukács, Dániel AU - Tóth, Melinda ED - Natalia, Chechina ED - Scott, Lystig Fritchie TI - Structuring Erlang BEAM control flow T2 - Erlang 2017 PB - ACM Press CY - New York, New York SN - 9781450351799 PB - Association for Computing Machinery (ACM) PY - 2017 SP - 31 EP - 42 PG - 12 DO - 10.1145/3123569.3123572 UR - https://m2.mtmt.hu/api/publication/27223550 ID - 27223550 N1 - N1 Funding details: Emberi Eroforrások Minisztériuma N1 Funding text: This research has been supported by the Hungarian Government through the New National Excellence Program of the Ministry of Human Capacities. A4 ACM SIGPLAN LA - English DB - MTMT ER - TY - JOUR AU - Bozó, István AU - Kuti, MB AU - Tóth, Melinda TI - Analysing and visualising callback modules of Erlang generic server behaviours JF - CEUR WORKSHOP PROCEEDINGS J2 - CEUR WORKSHOP PROC VL - 2046 PY - 2016 SP - 23 EP - 41 PG - 19 SN - 1613-0073 UR - https://m2.mtmt.hu/api/publication/27218611 ID - 27218611 N1 - A4 AB - Understanding and maintaining the source code of industrial-scale software product is hard and time-consuming, and it is getting more di cult when the software implements parallel/concurrent/distributed computations and behaviours. Static source code analysis tools support program comprehension through detecting dependencies and relations among small (like functions and processes) or large (modules and components) software elements. For Erlang, which is a dynamic language, only an approximation of the real dependencies can be calculated statically. However it is possible to improve these analyses by adding application specific information, such as the most frequently used behaviours. In this paper we introduce an extension of the RefactorErl static source code analyser framework for Erlang that adds information about generic server behaviour implementations to the Semantic Program Graph of RefactorErl. In addition we define several views of the generic server based hidden communication. LA - English DB - MTMT ER - TY - CHAP AU - Bozó, István AU - Tóth, Melinda ED - Theodore, Simos ED - Charalambos, Tsitouras TI - Analysing and visualising Erlang behaviours T2 - International Conference of Numerical Analysis and Applied Mathematics PB - AIP Publishing CY - Melville (NY) SN - 9780735413924 T3 - AIP Conference Proceedings, ISSN 0094-243X ; 1738. PY - 2016 PG - 4 DO - 10.1063/1.4952023 UR - https://m2.mtmt.hu/api/publication/2998448 ID - 2998448 LA - English DB - MTMT ER - TY - JOUR AU - Horpácsi, Dániel AU - Horpácsiné Kőszegi, Judit AU - Thompson, Simon TI - Towards Trustworthy Refactoring in Erlang JF - ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE J2 - ELECTRON PROC THEOR COMPUT SCI VL - 216 PY - 2016 SP - 83 EP - 103 PG - 21 SN - 2075-2180 DO - 10.4204/EPTCS.216.5 UR - https://m2.mtmt.hu/api/publication/3091360 ID - 3091360 N1 - N1 Funding details: EIT, European Institute of Innovation and Technology N1 Funding text: We thank the anonymous reviewers for their valuable and constructive comments, which helped us to improve this paper considerably. We are grateful to Andrei Arusoaie and Dorel Lucanu for providing us with the pre-release copy of the SCC extension of double-struck K used to perform some of the verifications reported here. This work has received funding from the European Institute of Innovation and Technology (EIT). This European body receives support from the Horizon 2020 research and innovation programme. This work has been supported by the European Union Framework 7 under contract no. 288570. ParaPhrase: Parallel Patterns for Adaptive Heterogeneous Multicore Systems. A4 LA - English DB - MTMT ER - TY - JOUR AU - Fördős, Viktória AU - Tóth, Melinda TI - Identifying Code Clones with RefactorErl JF - ACTA CYBERNETICA J2 - ACTA CYBERN-SZEGED VL - 22 PY - 2016 IS - 3 SP - 553 EP - 571 PG - 19 SN - 0324-721X DO - 10.14232/actacyb.22.3.2016.1 UR - https://m2.mtmt.hu/api/publication/3083243 ID - 3083243 LA - English DB - MTMT ER - TY - JOUR AU - Bozó, István AU - Bence, János Szabó AU - Tóth, Melinda TI - Analysing the hierarchical structure of Erlang applications JF - CEUR WORKSHOP PROCEEDINGS J2 - CEUR WORKSHOP PROC VL - 2046 PY - 2016 SP - 42 EP - 55 PG - 14 SN - 1613-0073 UR - https://m2.mtmt.hu/api/publication/3317207 ID - 3317207 N1 - A4 LA - English DB - MTMT ER - TY - JOUR AU - Lukács, Dániel AU - Tóth, Melinda AU - Bozó, István TI - Transforming Erlang finite state machines JF - CEUR WORKSHOP PROCEEDINGS J2 - CEUR WORKSHOP PROC VL - 2046 PY - 2016 SP - 197 EP - 218 PG - 22 SN - 1613-0073 UR - https://m2.mtmt.hu/api/publication/3317214 ID - 3317214 LA - English DB - MTMT ER - TY - JOUR AU - Kozsik, Tamás AU - Tóth, Melinda AU - Bozó, István AU - Horváth, Zoltán TI - Static Analysis for Divide-and-Conquer Pattern Discovery JF - COMPUTING AND INFORMATICS J2 - COMPUT INFORM VL - 35 PY - 2016 IS - 4 SP - 764 EP - 791 PG - 28 SN - 1335-9150 UR - https://m2.mtmt.hu/api/publication/3146204 ID - 3146204 LA - English DB - MTMT ER - TY - CONF AU - de Oliveira, Alexandre Ponce AU - de Souza, Paulo Sérgio Lopes AU - de Souza, Simone R Senger AU - Estrella, Júlio Cezar AU - Bruschi, Sarita Mazzini TI - A Systematic Mapping about Testing of Functional Programs T2 - Proceedings of the International Conference on Software Engineering Research and Practice (SERP) PY - 2015 SP - 64 EP - 70 PG - 7 UR - https://m2.mtmt.hu/api/publication/25910669 ID - 25910669 LA - English DB - MTMT ER - TY - JOUR AU - Fördős, Viktória AU - Tóth, Melinda TI - Supporting comprehensible presentation of clone candidates through two-dimensional maximisation JF - COMPUTER LANGUAGES SYSTEMS & STRUCTURES J2 - COMPUT LANG SYST STR VL - 44 PY - 2015 IS - Part C SP - 355 EP - 365 PG - 11 SN - 1477-8424 DO - 10.1016/j.cl.2015.09.004 UR - https://m2.mtmt.hu/api/publication/2998432 ID - 2998432 LA - English DB - MTMT ER - TY - JOUR AU - Bozó, István AU - Fördős, Viktória AU - Horpácsi, Dániel AU - Horváth, Zoltán AU - Kozsik, Tamás AU - Horpácsiné Kőszegi, Judit AU - Tóth, Melinda TI - Refactorings to Enable Parallelization JF - LECTURE NOTES IN COMPUTER SCIENCE J2 - LNCS VL - 8843 PY - 2015 SP - 104 EP - 121 PG - 18 SN - 9783319146744 SN - 0302-9743 DO - 10.1007/978-3-319-14675-1_7 UR - https://m2.mtmt.hu/api/publication/2799192 ID - 2799192 N1 - Admin megjegyzés-26841507 #JournalID1# Name: 15th International Symposium on Trends in Functional Programming, TFP 2014 ISSN: 0302-9743 #JournalID2# AB - We propose program analyses to identify parallelizable code fragments, and program transformations to change those fragments into applications of high-level parallel patterns. The methodology has been worked out, and is presented here, in the context of the Erlang programming language, but the approach is applicable in other languages as well. LA - English DB - MTMT ER - TY - CHAP AU - Li, H AU - Thompson, Simon TI - Safe concurrency Introduction through slicing T2 - PEPM 2015 PB - Association for Computing Machinery (ACM) CY - New York, New York SN - 9781450332972 PB - Association for Computing Machinery (ACM) PY - 2015 SP - 103 EP - 113 PG - 11 DO - 10.1145/2678015.2682533 UR - https://m2.mtmt.hu/api/publication/25908213 ID - 25908213 N1 - A4 ACM SIGPLAN LA - English DB - MTMT ER - TY - CHAP AU - Bozó, István AU - Fördős, Viktória AU - Horváth, Zoltán AU - Tóth, Melinda AU - Horpácsi, Dániel AU - Kozsik, Tamás AU - Horpácsiné Kőszegi, Judit AU - Adam, Barwell AU - Christopher, Brown AU - Kevin, Hammond ED - Laura, M Castro ED - Hans, Svensson TI - Discovering parallel pattern candidates in Erlang T2 - Proceedings of the Thirteenth ACM SIGPLAN Workshop on Erlang PB - ACM Press CY - New York, New York SN - 9781450330381 PY - 2014 SP - 13 EP - 23 PG - 11 DO - 10.1145/2633448.2633453 UR - https://m2.mtmt.hu/api/publication/2732787 ID - 2732787 N1 - A4 ACM SIGPLAN AB - The ParaPhrase Refactoring Tool for Erlang (PaRTE) provides automatic, comprehensive and reliable pattern candidate discovery to locate parallelisable components in Erlang programs. It uses semi-automatic and semantics-preserving program transformations to reshape source code and to introduce high level parallel patterns that can be mapped adaptively to the available hardware resources. This paper describes the main PaRTE tools and demonstrates that significant parallel speedups can be obtained. LA - English DB - MTMT ER - TY - CONF AU - Tóth, M AU - Bozó, I ED - Abramson, D ED - Lees, M ED - Krzhizhanovskaya, V ED - Dongarra, J ED - Sloot, PMA TI - Detecting and visualising process relationships in erlang T2 - 14th Annual International Conference on Computational Science, ICCS 2014 PB - Elsevier C1 - Cairns T3 - Procedia Computer Science ; 29. PB - Elsevier PY - 2014 SP - 1525 EP - 1534 PG - 10 UR - https://m2.mtmt.hu/api/publication/26841509 ID - 26841509 N1 - A4 LA - English DB - MTMT ER - TY - CHAP AU - Horpácsi, Dániel ED - Laura, M Castro TI - Extending Erlang by Utilising RefactorErl T2 - Erlang '13 Proceedings of the twelfth ACM SIGPLAN workshop on Erlang PB - ACM Press CY - New York, New York SN - 9781450323857 PY - 2013 SP - 63 EP - 72 PG - 10 DO - 10.1145/2505305.2505314 UR - https://m2.mtmt.hu/api/publication/2438234 ID - 2438234 N1 - A4 ACM SIGPLAN LA - English DB - MTMT ER - TY - JOUR AU - Thompson, Simon AU - Li, Huiqing TI - Refactoring tools for functional languages JF - JOURNAL OF FUNCTIONAL PROGRAMMING J2 - J FUNCT PROGRAM VL - 23 PY - 2013 IS - 3 SP - 293 EP - 350 PG - 58 SN - 0956-7968 DO - 10.1017/S0956796813000117 UR - https://m2.mtmt.hu/api/publication/25910570 ID - 25910570 N1 - Funding Agency and Grant Number: UK Engineering and Physical Sciences Research Council [GR/R75052/01, EP/C524969/1]; European Commission Framework 7 programme (ProTest) [215868]; European Commission Framework 7 programme (RELEASE) [287510]; Engineering and Physical Sciences Research Council [EP/C524969/1] Funding Source: researchfish Funding text: The development of HaRe and Wrangler was supported by the UK Engineering and Physical Sciences Research Council (grants GR/R75052/01, EP/C524969/1) and Wrangler was further supported by the European Commission Framework 7 programme (ProTest, grant no. 215868; RELEASE, 287510), and we are very grateful to them for their support, and to our project partners for their collaboration. Finally, we would like to thank the anonymous reviewers of this paper for their detailed and incisive comments. LA - English DB - MTMT ER - TY - CHAP AU - Fördős, Viktória AU - Tóth, Melinda ED - Kiss, Ákos TI - Identifying Code Clones with RefactorErl T2 - 13th Symposium on Programming Languages and Software Tools PB - University of Szeged CY - Szeged SN - 9789634827160 PY - 2013 SP - 31 EP - 45 PG - 15 UR - https://m2.mtmt.hu/api/publication/2760397 ID - 2760397 LA - English DB - MTMT ER -