PROSE

Équipe de recherche PROSE

Work in progress

PROSE - Pragmatic Rigorous Open Software Engineering

Three complementary themes :
- Formal methods for automated tool support
- Education and technology transfer
- Openness, freedom and transparency

A Guiding Principle : Empirical Software Engineering