02184oam 2200481 450 99646544880331620210414164543.03-030-58167-510.1007/978-3-030-58167-1(CKB)4100000011508873(DE-He213)978-3-030-58167-1(MiAaPQ)EBC6381021(PPN)258060425(EXLCZ)99410000001150887320210414d2020 uy 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierSystems modelling and management first international conference, ICSMM 2020, Bergen, Norway, June 25-26, 2020, proceedings /Onder Babur, Joachim Denil, Birgit Vogel-Heuser (editors)1st ed. 2020.Cham, Switzerland :Springer,[2020]©20201 online resource (XII, 197 p. 28 illus., 1 illus. in color.) Communications in Computer and Information Science,1865-0929 ;12623-030-58166-7 Verification and Validation -- Applications -- Methods, Techniques and Tools.This book constitutes the refereed proceedings of the First International Conference on Systems Modelling and Management, ICSMM 2020, planned to be held in Bergen, Norway, in June 2020. Due to the COVID-19 pandemic the conference did not take place physically or virtually. The 10 full papers and 3 short papers were thoroughly reviewed and selected from 19 qualified submissions. The papers are organized according to the following topical sections: verification and validation; applications; methods, techniques and tools.Communications in Computer and Information Science,1865-0929 ;1262Software engineeringCongressesSoftware engineering005.1Babur ÖnderDenil JoachimVogel-Heuser BirgitMiAaPQMiAaPQUtOrBLWBOOK996465448803316Systems modelling and management2139672UNISA