Systems Modelling and Management
First International Conference, ICSMM 2020, Bergen, Norway, June 25–26, 2020, Proceedings
-
- US$39.99
-
- US$39.99
출판사 설명
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.
Modelling Foundations and Applications
2018년
Model-Driven Engineering and Software Development
2021년
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
2016년
Evaluation of Novel Approaches to Software Engineering
2020년
Software Technologies: Applications and Foundations
2018년
Software Technologies
2016년