950 search results - page 35 / 190 » Tool Support for Model Checking of Web Application Designs |
MIDDLEWARE
2004
Springer
14 years 1 months ago
2004
Springer
Application servers provide many functionalities commonly needed in the development of a complex distributed application. So far, the functionalities have mostly been developed an...
ASE
2008
13 years 7 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
IPPS
2006
IEEE
14 years 1 months ago
2006
IEEE
In this paper we show how high-level UML models of mobile computing applications can be analysed for classical performance measures such as throughput. The approach proceeds by co...
ACSC
2007
IEEE
14 years 2 months ago
2007
IEEE
The design guideline avoid dependency cycles among modules was ï¬rst alluded to by Parnas in 1978. Many tools have since been built to detect cyclic dependencies among a programâ...
ADAEUROPE
2005
Springer
14 years 1 months ago
2005
Springer
This paper describes the design and implementation of GNAT Pro for ERC32, a flexible cross-development environment supporting the Ravenscar tasking model on top of bare ERC32 comp...