LEADER 02184oam  2200481   450 
001 996465448803316
005 20210414164543.0
010   $a3-030-58167-5
024 7 $a10.1007/978-3-030-58167-1
035   $a(CKB)4100000011508873
035   $a(DE-He213)978-3-030-58167-1
035   $a(MiAaPQ)EBC6381021
035   $a(PPN)258060425
035   $a(EXLCZ)994100000011508873
100   $a20210414d2020      uy             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 00$aSystems modelling and management $efirst international conference, ICSMM 2020, Bergen, Norway, June 25-26, 2020, proceedings /$fOnder Babur, Joachim Denil, Birgit Vogel-Heuser (editors)
205   $a1st ed. 2020.
210  1$aCham, Switzerland :$cSpringer,$d[2020]
210  4$d©2020
215   $a1 online resource (XII, 197 p. 28 illus., 1 illus. in color.) 
225 1 $aCommunications in Computer and Information Science,$x1865-0929 ;$v1262
311   $a3-030-58166-7 
327   $aVerification and Validation -- Applications -- Methods, Techniques and Tools.
330   $aThis 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.
410  0$aCommunications in Computer and Information Science,$x1865-0929 ;$v1262
606   $aSoftware engineering$vCongresses
615  0$aSoftware engineering
676   $a005.1
702   $aBabur$b Önder
702   $aDenil$b Joachim
702   $aVogel-Heuser$b Birgit
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bUtOrBLW
906   $aBOOK
912   $a996465448803316
996   $aSystems modelling and management$92139672
997   $aUNISA