VSTTE
2005
Springer
14 years 5 months ago
2005
Springer
VSTTE
2005
Springer
14 years 5 months ago
2005
Springer
The validation of modern software systems on mobile devices needs to incorporate both functional and non-functional requirements. While some progress has been made in validating pe...
VSTTE
2005
Springer
14 years 5 months ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
VSTTE
2005
Springer
14 years 5 months ago
2005
Springer
VSTTE
2005
Springer
14 years 5 months ago
2005
Springer
This paper argues that specified blocks have every advantage over the combination of assertions, preconditions, postconditions, invariants, and variants, both for verifying program...
VSTTE
2005
Springer
14 years 5 months ago
2005
Springer
In this paper, we consider the Grand Challenge under a very specific perspective: the enabling of application experts without programming knowledge to reliably model their busines...
VSTTE
2005
Springer
14 years 5 months ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
VSTTE
2005
Springer
14 years 5 months ago
2005
Springer
ICCBSS
2005
Springer
14 years 5 months ago
2005
Springer
ICCBSS
2005
Springer
14 years 5 months ago
2005
Springer
This paper proposes the adoption of a goal-based method called GBRAM for facilitating the process of building taxonomies of COTS components. Since GBRAM was defined in a different ...