Login / Signup
A framework to formally verify conformance of a software process to a software method.
Djamel Eddine Khelladi
Reda Bendraou
Souheib Baarir
Yoann Laurent
Marie-Pierre Gervais
Published in:
SAC (2015)
Keyphrases
</>
software process
software development
evaluation method
real world
artificial intelligence
multi agent systems
user interface
image compression