1804 search results - page 333 / 361 » Use Cases in Model-Driven Software Engineering |
ISSTA
2006
ACM
15 years 5 months ago
2006
ACM
Regression testing aims at showing that code has not been adversely affected by modification activities during maintenance. Regression test selection techniques reuse tests from...
ICFEM
2004
Springer
15 years 5 months ago
2004
Springer
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
ENTCS
2010
14 years 9 months ago
2010
Many biological phenomena are inherently multiscale, i.e. they are characterised by interactions involving different scales at the same time. This is the case of bone remodelling,...
HICSS
2009
IEEE
15 years 6 months ago
2009
IEEE
The amount of electronics in vehicles is growing quickly, thus systems are becoming increasingly complex which makes the engineering of these software intensive systems more and m...
ISORC
2009
IEEE
15 years 6 months ago
2009
IEEE
In his article entitled "From Play-In Scenarios to Code: An Achievable Dream", David Harel presented a development schema that makes it possible to go from high-level us...