STRL STRL
© STRL 1996-2008

A Compositional Approach to
the Specification of Systems using ITL and Tempura
Antonio Cau, Ben Moszkowski, Hussein Zedan
STRL, De Montfort University
Nick Coleman, Xiao Shan Li
Dept. of EEE, University of Newcastle upon Tyne

January 15, 2008



1  Summary

2  Introduction

3  Compositional Theory for ITL
     3.1  Project Objectives
     3.2  Achievements

4  Refining ITL Specifications and Development Technique
     4.1  Project Objectives
     4.2  Achievements

5  Tools support
     5.1  Project Objectives
     5.2  Achievements

References








January 15, 2008
Home | Training | Research | People | About | News