2935 search results - page 210 / 587 » An Integrated Approach to High Integrity Software Verificati... |
148
click to vote
PPPJ
2009
ACM
16 years 1 months ago
2009
ACM
Dynamic object reclassification allows changes to the type of an object at runtime. This paper makes the case for object evolution, a restriction of general reclassification by ...
171
click to vote
TASE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Formal verification of low-level programs often requires explicit reasoning and specification of runtime stacks. Treating stacks naively as parts of ordinary heaps can lead to...
164
click to vote
IUI
2010
ACM
15 years 12 months ago
2010
ACM
In this paper we examine the use of multi faceted recommendations to aid users while carrying out exploratory video retrieval tasks. These recommendations are integrated into ViGO...
198
click to vote
ECOOPW
1998
Springer
15 years 10 months ago
1998
Springer
In method-based software development, software engineers create artifacts based on the heuristic rules of the adopted method. Most CASE tools, however, do not actively assist soft...
189
click to vote
ICSE
2010
IEEE-ACM
15 years 5 months ago
2010
IEEE-ACM
To stay aware of relevant information and avoid productivity loss, a developer has to continuously read through new incoming information. Our approach supports the integration of ...