Namur in Gasics

Post on 15-Jan-2016

42 views 0 download

description

Namur in Gasics. Pierre-Yves Schobbens University of Namur. The Computer Science Faculty of Namur. Univ. Namur is merging with Louvain The Computer Science Faculty 16 Profs. 80 researchers Various fields : Databases Decision support systems HCI Software process maturity models - PowerPoint PPT Presentation

transcript

Formal methods for software product lines and evolutionThe Computer Science Faculty
Research Interests
Timed games
Games for modelling interfaces
Compositional features verification