3425 search results - page 495 / 685 » A Model Driven Approach for Software Systems Reliability |
133
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
Software can be tested either manually or automatically. The two approaches are complementary: automated testing can perform a large number of tests in little time, whereas manual...
120
click to vote
IWPSE
2003
IEEE
15 years 9 months ago
2003
IEEE
There is a growing demand to port existing PC-based software systems to mobile device platforms. Systems running on mobile devices share basic characteristics with their PC-based ...
118
click to vote
EMSOFT
2006
Springer
15 years 7 months ago
2006
Springer
Recently, a number of frameworks were proposed to extend interface theory to the domains of single-processor and distributed real-time systems. This paper unifies some of these ap...
155
click to vote
CASSIS
2005
Springer
15 years 9 months ago
2005
Springer
System software for deeply embedded devices has to cope with a broad variety of requirements and platforms, but especially with strict resource constraints. To compete against prop...
138
click to vote
ICSE
1997
IEEE-ACM
15 years 8 months ago
1997
IEEE-ACM
—Most analysis methods for real-time systems assume that all the components of the system are at roughly the same stage of development and can be expressed in a single notation, ...