Book of Donmon Teith

This book presents the proceedings of the International Conference SDOT which was organized at the University in Žilina, Faculty of Management Sciences and Inf

When models of a system change, analyses based on them have to be reevaluated in order for the results to stay meaningful. In many cases, the time to get update

This book constitutes the refereed proceedings of the 22nd International Conference on Information and Software Technologies, ICIST 2016, held in Druskininkai,

This thesis is about a new model querying and transformation approach called FunnyQT which is realized as a set of APIs and embedded domain-specific languages (

This book shows that the plasmodium of Physarum polycephalum can be considered a natural labelled transition system, and based on this, it proposes high-level p