Deep Learning (DL) has emerged in the last decade from artificial intelligence, dating from
the Dartmouth conference in 1956, combined with the recent emergence of Graphical …

Abstract A UML Protocol State Machine (PSM) is a behavioral diagram for the specification
of the external behavior of a class, interface or component. PSMs have been used in the …

Several approaches exist to automatically derive test cases that check the conformance of
the implementation of abstract data types (ADTs) with respect to their specification. However …

The quality of software systems depends strongly on their architecture. For this reason,
taking into account non-functional requirements at architecture level is crucial for the …

Osrednja tema doktorske disertacije je programsko inženirstvo v domeni vodenja
industrijskih procesov. Praksa razvoja programske opreme za vodenje industrijskih …