Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Singleton, John L."'
Modern software relies on libraries and uses them via application programming interfaces (APIs). Correct API usage as well as many software engineering tasks are enabled when APIs have formal specifications. In this work, we analyze the implementatio
Externí odkaz:
http://arxiv.org/abs/1905.06847
Autor:
Singleton, John L., Leavens, Gary T.
Publikováno v:
2016 IEEE 17th International Conference on Information Reuse & Integration (IRI); 2016, p126-133, 8p
Publikováno v:
ICSE: International Conference on Software Engineering; 5/27/2018, p313-314, 2p