9626 search results - page 510 / 1926 » Invariant Based Programming |
205
click to vote
CORR
2002
Springer
15 years 7 months ago
2002
Springer
We believe that design patterns can be an effective means of consolidating and communicating program construction expertise for functional programming, just as they have proven to...
193
click to vote
SIGSOFT
2010
ACM
15 years 5 months ago
2010
ACM
This paper presents Basset, a tool for systematic testing of JVM-based actor programs. The actor programming model offers a promising approach for developing reliable concurrent a...
197
click to vote
HICSS
2003
IEEE
16 years 28 days ago
2003
IEEE
Efficacy and Sustainability of a Telerehabilitation Program Sustainability and appropriateness of care are important components for healthcare systems as they begin integrating te...
203
click to vote
SIGUCCS
2003
ACM
16 years 26 days ago
2003
ACM
IT Training and Communications is a division of Information Technology Services (ITS), which provides computer application training for the faculty and staff at Saint Louis Univer...
270
click to vote
IFIP
2001
Springer
16 years 2 days ago
2001
Springer
— Semi-formal verification based on symbolic simulation offers a good compromise between formal model checking and numerical simulation. The generation of functional test vector...