Chair: Piotr Kosiuczenko (WAT)
Models play a key role in Software Engineering. For decades different modeling languages, such as UML, and formalisms, such as Z, B, CSP, CCS, have been developed. Moreover, different kinds of logics have been used, such as LTL, TLA, CTL, CTL*, and different mathematical models constructed, such as Petri Nets. In this topic, we will focus on modelling in SE and all its aspects, tool support included.
Topics of interest include, but are not limited to:
- Models of software systems
- Modeling languages
- Formal methods and logics for SE
- Model driven software development
- Tool support for modelling.