124 search results - page 14 / 25 » Software Safety: Where's the Evidence |
ICSE
2009
IEEE-ACM
14 years 2 months ago
2009
IEEE-ACM
Spreadsheets are ubiquitous with evidence that Microsoft Excel, the leading application in the area, has an install base of 90% on end-user desktops. Nowhere is the usage of sprea...
EUROMICRO
2005
IEEE
14 years 1 months ago
2005
IEEE
It has been suggested that use of the Naked Objects pattern could contribute to business agility of applications and reduce the amount of the application code up to 75 percent in ...
FORMATS
2008
Springer
13 years 9 months ago
2008
Springer
Time dependant models have been intensively studied for many reasons, among others because of their applications in software verification and due to the development of embedded pla...
ICSE
2004
IEEE-ACM
14 years 7 months ago
2004
IEEE-ACM
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
ISORC
2008
IEEE
14 years 1 months ago
2008
IEEE
Cyber-Physical Systems (CPS) are integrations of computation and physical processes. Embedded computers and networks monitor and control the physical processes, usually with feedb...