1663 search results - page 75 / 333 » Software Reuse and Safety |
121
click to vote
RIDE
1998
IEEE
15 years 8 months ago
1998
IEEE
Techniques that emphasize software reuse and scalability are becoming more important than ever. In this paper we present a component-basedmodel for continuous-mediaapplications. C...
125
Voted
SSR
1997
15 years 5 months ago
1997
Configuration management of compiled software artifacts (programs, libraries, icons, etc.) is a growing problem as software reuse becomes more prevalent. For an application compos...
146
Voted
DCOSS
2011
Springer
14 years 3 months ago
2011
Springer
—Modular software, in which strongly-separated units of functionality can be independently added to and removed from a node’s running software, offers a promising approach to e...
151
click to vote
IJAIT
2006
15 years 3 months ago
2006
We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof obligatio...
147
click to vote
COMPUTER
2000
15 years 3 months ago
2000
hysical world. How do you adapt software abstractions designed merely to transform data to meet requirements like real-time constraints, concurrency, and stringent safety considera...