Alloy4SPV : A Formal Framework for Software Process Verification.

Yoann Laurent Reda Bendraou Souheib Baarir Marie-Pierre Gervais

Published in: ECMFA (2014)

Keyphrases

software process
theoretical framework
process model
information technology
software engineering
anomaly detection
reference model