7766 search results - page 38 / 1554 » Testing Nondeterminate Systems |
FORTE
2004
13 years 9 months ago
2004
Internet software tightly integrates classic computation with communication software. Heterogeneity and complexity can be tackled with a component-based approach, where components ...
ICSE
2004
IEEE-ACM
14 years 7 months ago
2004
IEEE-ACM
Most research on automated specification-based software testing has focused on the automated generation of test cases. Before a software system can be tested, it must be set up ac...
TSE
2002
13 years 7 months ago
2002
Although there has been recent research into ways to design environments that enable end users to create their own programs, little attention has been given to helping these end u...
RTSS
2008
IEEE
14 years 2 months ago
2008
IEEE
Many embedded systems are subject to temporal constraints that require advance guarantees on meeting deadlines. Such systems rely on static analysis to safely bound worst-case exe...
PADL
2000
Springer
13 years 11 months ago
2000
Springer
In this paper, we demonstrate how Functional Reactive Programming (FRP), a framework for the description of interactive systems, can be extended to encompass parallel systems. FRP ...