4799 search results - page 228 / 960 » Model Based Requirements Engineering for Embedded Software |
195
click to vote
SPIN
2007
Springer
16 years 20 days ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
156
click to vote
MODELS
2009
Springer
16 years 1 months ago
2009
Springer
The proliferation of smart spaces and emergence of new standards, such as Web Services, have paved the way for a new breed of software systems. Often the complete functional and Qo...
188
click to vote
SEW
2003
IEEE
15 years 11 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...
186
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
The presence of a functionally correct golden implementation has a significant advantage in the software development life cycle. Such a golden implementation is exploited for soft...
161
click to vote
ICSM
2006
IEEE
16 years 18 days ago
2006
IEEE
Long-running applications such as network services require continuous uptime but also frequent changes to the software. To avoid downtime for software maintenance, applications mu...