4258 search results - page 434 / 852 » Languages and Interactive Software Development |
154
Voted
PPDP
2009
Springer
15 years 11 months ago
2009
Springer
The construction of reliable concurrent and distributed systems is an extremely difficult endeavour. For complex systems, it requires modular development strategies based on prec...
166
click to vote
WISE
2009
Springer
16 years 2 months ago
2009
Springer
ct One significant effort towards combining the virtues of Web search, viz. being accessible to untrained users and able to cope with vastly heterogeneous data, with those of dat...
141
click to vote
SEKE
2009
Springer
15 years 11 months ago
2009
Springer
Abstract—Runtime monitoring, where some part of a program’s behavior and/or data is observed during execution, is a very useful technique that software developers to use for un...
169
click to vote
TASE
2007
IEEE
15 years 11 months ago
2007
IEEE
Safety is an important property of high-assurance software, and one of the hot research topics on it is the verification method for software to meet its safety policies. In our p...
137
click to vote
COMPSAC
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper presents an approach for automated test case generation using a software specification modeled in Statecharts. The steps defined in such approach involve: translation o...