1239 search results - page 168 / 248 » Applying Model Checking to Concurrent UML Models |
124
Voted
RE
1999
Springer
15 years 6 months ago
1999
Springer
Requirements capture by scenarios and user interface prototyping have become popular techniques. Yet, the transition from scenarios to formal specifications is still ill-defined, ...
121
Voted
CLEIEJ
2006
15 years 2 months ago
2006
: This paper presents an account of the experience observed when obtaining a set of requirements for the development of educational software for people with impaired vision. Numero...
87
Voted
ICAC
2005
IEEE
15 years 8 months ago
2005
IEEE
As software comes under increasing scrutiny for its lack of safety and reliability, numerous static and partially dynamic tools (including model checking) have been proposed for v...
145
Voted
SMI
2010
IEEE
15 years 14 days ago
2010
IEEE
In this article, we present a rule-based language dedicated to topological operations, based on graph transformations. Generalized maps are described as a particular class of graph...
146
click to vote
RTSS
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper, we address the problem of symbolically computing the region in the parameter’s space that guarantees a feasible schedule, given a set of real-time tasks character...