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