9006 search results - page 120 / 1802 » Modeling Software |
138
Voted
ISORC
2005
IEEE
15 years 8 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
135
Voted
TSE
2011
14 years 9 months ago
2011
—Event-Driven Software (EDS) can change state based on incoming events; common examples are GUI and web applications. These EDS pose a challenge to testing because there are a la...
128
click to vote
SEW
2003
IEEE
15 years 7 months ago
2003
IEEE
Model-based software has become quite popular in recent years, making its way into a broad range of areas, including the aerospace industry. The models provide an easy graphical i...
125
click to vote
ECBS
2004
IEEE
15 years 6 months ago
2004
IEEE
: The available evidence in a legacy software system, which can help in its understanding and recovery of its architecture are not always sufficient. Very often the system's d...
126
Voted
IICAI
2007
15 years 4 months ago
2007
The paper presents first results of a project that aims at building a model-based tool for functional testing of control software for passenger vehicles. The objective is that this...