Towards a formal API assessment.

Amir Zghidi Imed Hammouda Brahim Hnich

Published in: ICSE (Companion Volume) (2018)

Keyphrases

source code
formal model
application programming interface
application developers
formal language
assessment process
real time
databases
decision making
high level
open source
third party
quality assessment
mathematical theory