1782 search results - page 89 / 357 » Tool Support for Proof Engineering |
164
click to vote
ICSE
2009
IEEE-ACM
16 years 11 days ago
2009
IEEE-ACM
As a framework evolves, changes in its Application Programming Interface (API) can break client programs that extend the framework. Repairing a client program can be a challenging...
155
click to vote
ISPW
2005
IEEE
15 years 11 months ago
2005
IEEE
Medical errors are now recognized as a major cause of untimely deaths or other adverse medical outcomes. To reduce the number of medical errors, the Medical Safety Project at the U...
150
click to vote
APSEC
2004
IEEE
15 years 9 months ago
2004
IEEE
The notion of partial and evolutionary specification has gained attention both in research and industry in the last years. While many people regard this just as a process issue, w...
144
click to vote
AADEBUG
1997
Springer
15 years 9 months ago
1997
Springer
Currently, few tools are available for assisting developers with debugging intelligent systems. Because these systems rely heavily on context dependent knowledge and sometimes sto...
171
click to vote
COMPLIFE
2006
Springer
15 years 9 months ago
2006
Springer
A powerful new software concept to physiologically based pharmacokinetic (PBPK) modelling of drug disposition is presented. It links the inherent modular understanding in pharmacol...