1799 search results - page 137 / 360 » The Logic of Correctness in Software Engineering |
148
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
A system built in terms of autonomous agents may require even greater correctness assurance than one which is merely reacting to the immediate control of its users. Agents make su...
154
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months 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 ...
151
click to vote
EUROMICRO
2000
IEEE
15 years 10 months ago
2000
IEEE
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
134
click to vote
APSEC
2004
IEEE
15 years 10 months ago
2004
IEEE
To formalize a software process, its important aspects must be extracted as a model. Many processes are used repeatedly, and the ability to automate a process is also desired. One...
205
click to vote
EMSOFT
2010
Springer
15 years 4 months ago
2010
Springer
Correct and efficient implementation of general real-time applications remains by far an open problem. A key issue is meeting timing constraints whose satisfaction depends on feat...