950 search results - page 153 / 190 » Tool Support for Model Checking of Web Application Designs |
ICSE
2003
IEEE-ACM
14 years 7 months ago
2003
IEEE-ACM
Step-wise refinement is a powerful paradigm for developing a complex program from a simple program by adding features incrementally. We present the AHEAD (Algebraic Hierarchical Eq...
VALUETOOLS
2006
ACM
14 years 1 months ago
2006
ACM
In this paper we describe the design, implementation, and analytical background of the DISCO Network Calculator. The DISCO Network Calculator is an open-source toolbox written in ...
ICFP
1999
ACM
14 years 15 hour ago
1999
ACM
The increasing popularity of component-based programming tools offer a big opportunity to designers of advanced programming languages, such as Haskell. If we can package our progr...
JGAA
2008
13 years 7 months ago
2008
Let G be a bipartite graph, and let e, i be two parallel convex curves; we study the question about whether G admits a planar straight-line drawing such that the vertices of one p...
ESWS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Creating a coherent set of ontologies to support a collaborative design process amongst different firms which develop mechatronic products is a challenge due to the seman...