| |
|
| | 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
| | ||
| | ||||
| | |
