1719 search results - page 39 / 344 » Software Re-Documentation Process and Tool |
131
click to vote
SNPD
2008
15 years 4 months ago
2008
For software executing several threads in parallel, testing is unreliable, as it cannot cover all thread schedules. Model checking, however, can cover all possible thread interlea...
133
click to vote
UML
2001
Springer
15 years 7 months ago
2001
Springer
: This paper introduces the Calculating with Concepts (CC) technique, which has been developed to improve the precision of UML class diagrams and allows the formal reasoning based ...
109
click to vote
ISPW
2006
IEEE
15 years 9 months ago
2006
IEEE
Workflows emphasize the partial order of activities, and the flow of data between activities. In contrast, cooperative processes emphasize the sharing of artefact, and its gradual ...
140
click to vote
IGARSS
2010
15 years 1 months ago
2010
Software assets from existing Earth science missions can be reused for the new decadal survey missions that are being planned by NASA in response to the 2007 Earth Science Nationa...
145
Voted
CGA
2010
15 years 2 days ago
2010
Developing visualization applications is non-trivial and poses special challenges. This is due to the fact that typical visualization software processes a large amount of data res...