Results

The project has produced a large number of papers, published in the major conferences, symposia and journals of a variety of research areas, including Software Engineering, Formal Methods, Automated Reasoing, Artificial Intellingence, Web Services.

The project has also produced several tools that implement the different techniques developed to support the proposed sofware engineering methodology.

The results are also described in a set of project deliverables.

Homepage

Research

ResultsPapersToolsDeliverables

Partners

Events

Contacts