The activities focused on the organisation of the first school and  activities on WP2. More specifically, we worked on the design, collection  and summarisation of the data reported in the

We developed a tool for the static verification task associated to the work  in secondment 67. We developed an efficient two phase procedure for evaluating quantitative SLA based on an

We worked on the developing languages to formally describe and analyse quantitative requirements of software components. Quantitative requirements can be thought as characterising the Quality of Service – QoS provided