Measuring the Quality of B Abstract Machines with ISO/IEC 25010.

Chenghao Cai Jing Sun Gillian Dobbie

Published in: CoRR (2020)

Keyphrases

iso iec
quality evaluation
international standard
software quality
software process
high quality
maturity model
data mining
multiscale
software engineering
information security