1719 search results - page 206 / 344 » Software Re-Documentation Process and Tool |
129
click to vote
SIMUTOOLS
2008
15 years 5 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
128
click to vote
DAGSTUHL
2006
15 years 5 months ago
2006
The methodology of aspect-oriented software engineering has been proposed to factor out concerns that are orthogonal to the core functionality of a system. In particular, this is a...
146
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
It is not unusual for a software development organization to expend 40 percent of total project effort on testing, which can be a very laborious and time-consuming process. Thus, ...
115
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
Automakers are still facing an increasing complexity in vehicle requirements with regard to their EE systems. This complexity is not only caused by innovations, which are being pr...
126
click to vote
ICFEM
2005
Springer
15 years 10 months ago
2005
Springer
The development of Web Services has transformed the World Wide Web into a more application-aware information portal. The various standards ensure that Web Services are interpretabl...