1663 search results - page 36 / 333 » Software Reuse and Safety |
EUROMICRO
2002
IEEE
14 years 2 months ago
2002
IEEE
ICRE
1998
IEEE
14 years 2 months ago
1998
IEEE
A safety analysis was performed on the software requirements for a family of ight instrumentation displays of commercial aircraft. First, an existing Safety Checklist was extended...
QSIC
2005
IEEE
14 years 3 months ago
2005
IEEE
Many programs need to access data in a relational database. This is usually done by means of queries written in SQL. Although the language SQL is declarative, certain runtime erro...
CAV
2007
Springer
14 years 4 months ago
2007
Springer
We present Hector, a software tool for combining different abstraction methods to extract sound models of heap-manipulating imperative programs with recursion. Extracted models ma...
ICSE
2009
IEEE-ACM
14 years 4 months ago
2009
IEEE-ACM
In this paper I will address the problem of verifying that a service-oriented embedded system fulÀlls required safety guarantees. Services will be represented by collaborations a...