stevensreinout
7 SlideShares 3 Abonné
Mots-clés
ekeko qwalkeko qwal saner saner17 icsme2014 icsme ist osaka software languages lab csmr2013 csmr benevol git core.logic wcre qrpe soul reasoning
Tout plus
  • Documents
  • Infographies
Plus récents Les plus populaires

Extracting Executable Transformations from Distilled Code Changes

il y a 7 ans • 437 Vues

Querying the History of Software Projects using QwalKeko

il y a 9 ans • 717 Vues

QwalKeko, a History Querying Tool

il y a 9 ans • 584 Vues

QwalKeko, a History Querying Tool

il y a 11 ans • 436 Vues

QwalKeko, a History Querying Tool

il y a 11 ans • 379 Vues

Query History of a Software Project

il y a 11 ans • 410 Vues

Reasoning over the evolution of source code using QRPE

il y a 12 ans • 284 Vues