Searched for: +
(1 - 2 of 2)
document
Wang, K. (author), Yan, Xinping (author), Yuan, Yupeng (author), Jiang, X. (author), Lodewijks, G. (author), Negenborn, R.R. (author)
In the case of the global energy crisis and the higher sound of energy saving and emission reduction, how to take effective management measures of ship energy efficiency to achieve the goal of energy saving and emission reduction, put forward a new challenge for the development of shipping technology. The application of big data technology...
conference paper 2017
document
Buckers, Tim (author), Cao, Clinton (author), Doesburg, Michiel (author), Gong, Boning (author), Wang, Sunwei (author), Beller, M.M. (author), Zaidman, A.E. (author)
Automated Static Analysis Tools (ASATs) are an integral part of today’s software quality assurance practices. At present, a plethora of ASATs exist, each with different strengths. However, there is little guidance for developers on which of these ASATs to choose and combine for a project. As a result, many projects still only employ one ASAT...
conference paper 2017