22698 search results - page 215 / 4540 » Modeling in Software Engineering |
149
click to vote
ISORC
2005
IEEE
15 years 9 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...
130
click to vote
ICESS
2004
Springer
15 years 9 months ago
2004
Springer
In this paper we present a new modeling technique using software engineering tool Flow Model for modeling and solving the Dynamic Power Management (DPM) with complex behavioral cha...
143
click to vote
SEW
2003
IEEE
15 years 9 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...
136
click to vote
ECBS
2004
IEEE
15 years 7 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...
133
click to vote
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
The efficient and effective generation of test-data from high-level models is of crucial importance in advanced modern software engineering. Empirical studies have shown that muta...