1719 search results - page 191 / 344 » Software Re-Documentation Process and Tool |
127
click to vote
ECLIPSE
2006
ACM
15 years 10 months ago
2006
ACM
The support available in Eclipse to help software developers learn complex APIs and development tools is inadequate; the support is largely passive and the support typically opera...
135
click to vote
ATVA
2009
Springer
15 years 11 months ago
2009
Springer
Code model checking is a rapidly advancing research topic. However, apart from very constrained scenarios (e.g., verification of device drivers by Slam), the code model checking t...
136
click to vote
ARCS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The SoC (System-on-Chip) technology is used in small and flexible consumer electronic devices. SoCs include one or more microcontroller, memory, programmable logic, and ...
178
click to vote
ICST
2011
IEEE
14 years 8 months ago
2011
IEEE
—Static analysis tools have been widely used to detect potential defects without executing programs. It helps programmers raise the awareness about subtle correctness issues in t...
111
click to vote
ICSE
2003
IEEE-ACM
16 years 4 months ago
2003
IEEE-ACM
In this paper we discuss an approach for simulating the behaviour of interactive software systems, before starting on any of the actual implementation, based on a model of the sys...