1606 search results - page 192 / 322 » XML-based programming language modeling: An approach to soft... |
105
click to vote
EWSA
2004
Springer
15 years 4 months ago
2004
Springer
Mobile software applications have to meet new requirements directly arising from mobility issues. To address these requirements at an early stage in development, an architecture d...
127
click to vote
PPOPP
2009
ACM
16 years 1 days ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...
EUROMICRO
2007
IEEE
15 years 1 months ago
2007
IEEE
BPEL is a de-facto standard language for web service orchestration. It is a challenge to test BPEL processes automatically because of the complex features of the language. The cur...
ISSTA
2004
ACM
15 years 5 months ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
SEFM
2007
IEEE
15 years 5 months ago
2007
IEEE
Reactive integrated development environments for software engineering have lead to an increase in productivity and quality of programs produced. They have done so by replacing the...