478 search results - page 60 / 96 » Behavioral Specification of Real-Time Requirements |
IJCAI
2007
13 years 9 months ago
2007
Testing embedded software systems on the control units of vehicles is a safety-relevant task, and developing the test suites for performing the tests on test benches is time-consu...
VLSID
2008
IEEE
14 years 8 months ago
2008
IEEE
Protocol conversion involves the use of a converter to control communication between two or more protocols such that desired system-level specifications can be satisfied. We invest...
ECIS
2003
13 years 9 months ago
2003
Web-based electronic service (e-service) end-user adoption and implementation requires an assessment of consumer contextual factors. This paper investigates factors which affect e...
UML
2005
Springer
14 years 1 months ago
2005
Springer
Use cases have achieved wide use as specification tools for systems observable behavior, but there still remains a large gap between specifying behavior and determining the softwar...
ISCIS
2004
Springer
14 years 29 days ago
2004
Springer
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...