2407 search results - page 245 / 482 » A Tool for Abstraction in Model Checking |
195
click to vote
SDL
2007
15 years 8 months ago
2007
Abstract. It is still the case that language descriptions have lots of semantic information captured using plain (English) text. These imprecise descriptions are hardly usable for ...
268
click to vote
FATES
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. More and more software systems use a browser as the universal graphical user interface. As a consequence these applications inherit browser navigation as part of their in...
171
click to vote
SYRCODIS
2008
15 years 8 months ago
2008
ETL process evolution is investigated below. A model-driven approach to templates and ETL process evolution problem is developed. We suppose that the ETL process evolution probain...
188
click to vote
GI
2008
Springer
15 years 8 months ago
2008
Springer
Abstract: The present contribution deals with the experiences of introducing a modelbased software development method for device driver families used in electronic control units in...
198
click to vote
CSL
2009
Springer
16 years 1 months ago
2009
Springer
For programs whose data variables range over boolean or finite domains, program verification is decidable, and this forms the basis of recent tools for software model checking. I...