Andere Kunden interessierten sich auch für
![Model-Driven Engineering and Software Development]( "Model-Driven Engineering and Software Development")
Model-Driven Engineering and Software Development37,99 €![Tools and Methods of Program Analysis]( "Tools and Methods of Program Analysis")
Tools and Methods of Program Analysis37,99 €![Software Engineering and Formal Methods]( "Software Engineering and Formal Methods")
Software Engineering and Formal Methods48,99 €![Evaluation of Novel Approaches to Software Engineering]( "Evaluation of Novel Approaches to Software Engineering")
Evaluation of Novel Approaches to Software Engineering53,49 €![Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering]( "Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering")
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering52,99 €![Formal Modeling and Analysis of Timed Systems]( "Formal Modeling and Analysis of Timed Systems")
Formal Modeling and Analysis of Timed Systems37,99 €![Testing Software and Systems]( "Testing Software and Systems")
Testing Software and Systems96,29 €
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.
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.