Ingo Dahn

University Koblenz-Landau, IWM

Completed Projects

  Telcert

2004 - 2006 TELCERT

Technology Enhanced Learning - European Requirements, Certification and Testing

Profiling of Specifications and Conformance Testing

 
  Mobilearn

2002 - 2004 Mobilearn

Mobile Learning with a Service Oriented Architecture

 
Trial-Solution

2000 - 2003 Trial-Solution

Tools for Reausable Integrated Adaptable Learning - Services for Learning Using Tested Interoperable Objects and Networking

Advanced personalization of structured documents

 
  ILF

1992 - 1998 ILF

Integrated Logic Functions

Integration of automated and interactive theorem provers; natural language proof presentation

 

 

 

 

 

 

 

 

 

 

 

 

You cannot build a reputation on things you plan to do.