All Stories

  1. Towards a Formal Specification of Production Processes Suitable for Automatic Execution
  2. Development and evaluation of MicroBuilder: a Model-Driven tool for the specification of REST Microservice Software Architectures
  3. Automatic idiopathic scoliosis screening using low-cost commodity sensors