2407 search results - page 258 / 482 » A Tool for Abstraction in Model Checking |
185
click to vote
JITE
2006
15 years 7 months ago
2006
learning abstract computer concepts. In addition, visualization helps novices construct a mental model of concepts, which is pivotal to further comprehension and understanding. Sec...
214
click to vote
ENTCS
2008
15 years 7 months ago
2008
Automatic generation of formal specifications from requirement reduces cost and complexity of formal models creation. Thus, the generated formal model brings the possibility to ca...
137
click to vote
ACRI
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. We introduce a Cellular Potts model (a cellular-automatonbased Monte-Carlo model) of in vitro capillary development, or angiogenesis. Our model derives from a recent cont...
175
click to vote
ICMT
2010
Springer
15 years 12 months ago
2010
Springer
Abstract. In their recent book, Mens and Demeyer state that ModelDriven Engineering introduces additional challenges for controlling and managing software evolution. Today, tools e...
189
click to vote
SPLC
2010
15 years 8 months ago
2010
Abstract. Understanding the challenges faced by real projects in evolving variability models, is a prerequisite for providing adequate support for such undertakings. We study the e...