Istituto di Scienza e Tecnologie dell'Informazione     
Caires L., Zawlocki A., Corradini A., Mazzanti F., Loreti M., Nielson H. R. SENSORIA - An Overview of Techniques for Behavioural Properties. Software Engineering for Service-Oriented Overlay Computers. Deliverable D3.3a, 2006.
The main goal of WP3 is to coordinate the partners efforts towards the development of qualitative analysis methods for global services. In particular, this deliverable reports on the research activity carried on during the first 12 months by the SENSORIA partners in the advancement of the state of art for a wide spectrum of techniques suitable for the description and analysis of the behavioral properties of services. Twelve original contributions have emerged as result of this research activity. In the following sections of this document an overview is given of the performed activity and the results are described with a limited level of technical details . The full details of the contributions can be found in the twelve papers mentioned in the final "Relevant Sensoria Publications and Reports" Section.
Subject Formal Specification, Verification, Analysis
D.2.4 Software/Program Verification
D.3.1 Formal Definitions and Theory

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional