2682 search results - page 230 / 537 » An Iterative-Cyclic Software Process Model |
142
Voted
EDCC
2008
Springer
15 years 5 months ago
2008
Springer
This work addresses the problem of software fault diagnosis in complex safety critical software systems. The transient manifestations of software faults represent a challenging is...
127
Voted
ICCL
1998
IEEE
15 years 7 months ago
1998
IEEE
We describe Triveni, a framework and API for integrating threads and events. The design of Triveni is based on an algebra, including preemption combinators, of processes. Triveni ...
111
click to vote
MMS
2008
15 years 3 months ago
2008
Personal photo books are a popular means of capturing important moments and people have ever created this kind of multimedia presentations. With the advent of digital photography ...
129
Voted
SIGSOFT
2004
ACM
16 years 4 months ago
2004
ACM
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners have adopted techniques that support increment...
114
Voted
KBSE
1997
IEEE
15 years 7 months ago
1997
IEEE
Deduction-based software component retrieval uses preand postconditions as indexes and search keys and an automated theorem prover (ATP) to check whether a component matches. This...