TY - GEN digital ID - 131790198 TI - Systems Modelling and Management : First International Conference, ICSMM 2020, Bergen, Norway, June 25–26, 2020, Proceedings AU - Babur, Önder AU - Denil, Joachim AU - Vogel-Heuser, Birgit PY - 2020 SN - 9783030581671 PB - Cham Springer International Publishing DB - UniCat KW - Programming KW - Computer architecture. Operating systems KW - Artificial intelligence. Robotics. Simulation. Graphics KW - Computer. Automation KW - bedrijfssoftware KW - computers KW - programmeertalen KW - software engineering KW - KI (kunstmatige intelligentie) KW - architectuur (informatica) UR - https://www.unicat.be/uniCat?func=search&query=sysid:131790198 AB - 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. ER -