328 search results - page 54 / 66 » Software engineering for safety: a roadmap |
100
click to vote
GECCO
2007
Springer
15 years 5 months ago
2007
Springer
Ant Colony Optimization (ACO) has been successfully applied to those combinatorial optimization problems which can be translated into a graph exploration. Artificial ants build s...
APCCM
2009
15 years 25 days ago
2009
Application domain description precedes requirements engineering, and is the basis for the development of a software or information system that satisfies all expectations of its u...
CCS
2009
ACM
15 years 6 months ago
2009
ACM
Software flaws in native methods may defeat Java’s guarantees of safety and security. One common kind of flaws in native methods results from the discrepancy on how exceptions...
186
click to vote
POPL
2008
ACM
16 years 1 days ago
2008
ACM
The search for proof and the search for counterexamples (bugs) are complementary activities that need to be pursued concurrently in order to maximize the practical success rate of...
115
click to vote
KBSE
2005
IEEE
15 years 5 months ago
2005
IEEE
Software for resource constrained embedded devices is often implemented in the Java programming language because the Java compiler and virtual machine provide enhanced safety, por...