979 search results - page 159 / 196 » Automated Environment Generation for Software Model Checking |
SEFM
2007
IEEE
14 years 3 months ago
2007
IEEE
It is a common phenomenon for research projects to collect and analyse valuable data using ad-hoc information systems. These costly-to-build systems are often composed of incompat...
AVI
2010
13 years 10 months ago
2010
In this paper, we discuss a method and the associated tool support able to exploit Web services in model-based user interface development, starting with the results of a task anal...
FORTE
2008
13 years 10 months ago
2008
In software engineering, graphical formalisms, like state-transition tables and automata, are very often indispensable parts of the specifications. Such a formalism usually leads t...
SAC
2009
ACM
14 years 3 months ago
2009
ACM
Parallel architectures are the way of the future, but are notoriously difficult to program. In addition to the low-level constructs they often present (e.g., locks, DMA, and non-...
FDL
2004
IEEE
14 years 26 days ago
2004
IEEE
This paper proposes a formal verification methodology which is smoothly integrated with component-based system-level design, using a divide and conquer approach. The methodology a...