STRL STRL


Projects

Trust Management in Collaborative Systems.
     		DIF-DTC
 
Trust Management Systems in Network of
    Networks. 		NATO
 
The De Montfort Creativity Assistant.
     		IOCT
 
FermaT - UML.
     		SML
 
FermaT - DOC.
     		SML
 
FermaT Integrated Platform.
     		SML
 
Secure and Trusted Agents for
    Data and Information Fusion. 		DIF-DTC
 
Re-engineering Large programs
    with Program Transformations.		 EPSRC
 
Program Migration.
     		SML
 
A unified mechanism for information system
     design. 		EPSRC
 
Compositional Methods for
    Hardware/Software Co-Design.		 EPSRC
 
Safe and dependable IT.
    		 EPSRC
 
A Compositional Approach to the Specification
    of Systems using ITL and Tempura.		 EPSRC
 
Migrate legacy systems to CORBA.
 		 Microsystems
 




Themes DIF-DTC UTC-SE Technologies Publications Theses Projects NATO



Oct 11 2012
Home | Training | Research | Members | About | News