1356 search results - page 60 / 272 » The ideal of verified software |
ICSE
2010
IEEE-ACM
15 years 4 months ago
2010
IEEE-ACM
The architecture of software systems is known to decay if no counter-measures are taken. In order to prevent this architectural erosion, the conformance of the actual system archi...
TAP
2009
Springer
15 years 6 months ago
2009
Springer
The method contract and loop invariant rules (contract rules) are an important software verification technique for handling method invocations and loops. However, if a verificati...
DAGSTUHL
2008
15 years 1 months ago
2008
We present some examples of extensions for C-XSC that have been developed lately. Among these are extensions that give access to further hardware and software environments as well ...
CHI
2009
ACM
16 years 12 days ago
2009
ACM
In this paper we describe an approach to gathering design requirements for a software auditory display by analyzing user interactions with an ideal partner: a talking human contro...
ICSE
2008
IEEE-ACM
16 years 19 days ago
2008
IEEE-ACM
In grid workflow systems, temporal correctness is critical to assure the timely completion of grid workflow execution. To monitor and control the temporal correctness, fixed-time ...