Software, statecharts, petri-nets, formal methods, abstraction and modelling.
Abstract:
Basic concepts of software engineering, ranging from domain analysis, requirement analysis and software architectures to analyses, design and implementation using formal techniques and practical usuage.
Objectives:
Advanced technical and managerial knowledge of evaluating, designing and implementing big-scale software for application in all means of transport and in logistics.