Département d'ingénierie informatique
Accueil
|
Bienvenue
|
Enseignement
|
Research
|
Actualité
|
Miscellaneous
|
Research Areas
INGI Activity Report 2004 (pdf format)
Programming Languages and Systems
Teaching programming as a unified discipline
Dynamic graphical user interfaces
Programming language expressiveness
Abstract Interpretation
Programming Langages Interoperability
Software Engineering
Goal-Oriented Requirements Engineering
Software Architecture
Engineering open, web-based systems
Intensional Views
Aspect mining and refactoring
Software Reverse Engineering and Restructuring
Software Verification
Teaching Formal Methods
Software desing Methods
Distributed Systems
Programming Abstractions for Mobile Systems
Internet Traffic Engineering
Routing Protocols
Internet Traffic Characterization
Highly-available collaborative Internet applications
Extruded Subnets
Platform for distributed real-time systems
Session layers for distributed systems
Security
Intrusion Detection
Engineering Security-Critical Systems
Language-based security
Artificial Intelligence
Machine Learning
Constraint Programming
Bio-informatics
Computational Linguistics
Information Theory
Error-correcting codes
E-learning Systems
E-learning Methods and Tools
Distance learning methods for university ICT courses
navigation
Research Areas
Publications
Seminars
Software Catalog
Joint Centers