Search
Now showing items 11-13 of 13
Automated procedure clustering for reverse engineering PL/SQL programs
(2016-05)
Large software systems have to be decomposed into separate, modular units for providing appropriate abstractions and improving maintainability. There exist clustering techniques that are applied to provide such abstractions ...
Generating runtime verification specifications based on static code analysis alerts
(2017-12)
There are various approaches in order to find bugs in a software system. One of these approaches is static code analysis, which tries to achieve this goal by analyzing code without executing it. Another complementary ...
A smart cloud platform service for socialized travel and transportation with mobile support
(2013-09)
It is now clear that social networking services are evolving towards mobile web applications and continuous location sharing is also becoming a trend. In this evolution, we believe that the next step will be complete and ...
Share this page