Software Architectures and Development
Modelling and Formal Methods in Software Development
, Jan Werewka
: Performance Analysis of Interactive Internet Systems for a Class of Systems with Dynamically Changing Offers.
, Timur Umarov
: A Mapping from Normative Requirements to Event-B to Facilitate Verified Data-Centric Business Process Management.
Measurements, Testing, and Quality of Software