4799 search results - page 30 / 960 » Model Based Requirements Engineering for Embedded Software |
EMSOFT
2005
Springer
15 years 3 months ago
2005
Springer
UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded systems specified as timed automata. In this paper we present our experiences...
HICSS
2009
IEEE
15 years 4 months ago
2009
IEEE
We designed and implemented an ontological solution which makes provisions for choosing adequate devices/sensors for remote monitoring of patients who are suffering from post-stro...
ECRTS
2003
IEEE
15 years 3 months ago
2003
IEEE
Advances in scheduling theory have given designers of control systems greater flexibility over their choice of timing requirements. This could lead to systems becoming more respon...
RE
2005
Springer
15 years 3 months ago
2005
Springer
Security Requirements Engineering is emerging as a branch of Software Engineering, spurred by the realization that security must be dealt with early on during the requirements pha...
VLDB
1994
ACM
15 years 1 months ago
1994
ACM