2935 search results - page 15 / 587 » An Integrated Approach to High Integrity Software Verificati... |
108
click to vote
VLSID
2006
IEEE
16 years 4 months ago
2006
IEEE
Many formal verification tools today are based on Boolean proof techniques. The two most powerful approaches in this context are Binary Decision Diagrams (BDDs) and methods based ...
142
click to vote
RTCSA
2008
IEEE
15 years 10 months ago
2008
IEEE
COMDES-II is a component-based software framework intended for Model Integrated Computing (MIC) of embedded control systems with hard real-time constraints. We present a transforma...
145
click to vote
ISESE
2005
IEEE
15 years 9 months ago
2005
IEEE
Agile software development solutions are targeted at enhancing work at project level. Little is yet known about the relationship between agile projects and organizational capabili...
124
click to vote
SIGADA
2005
Springer
15 years 9 months ago
2005
Springer
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and senior level undergraduates. The paper describes th...
156
click to vote
COMPSAC
2009
IEEE
15 years 10 months ago
2009
IEEE
With the ongoing trend towards the globalization of software systems and their development, components in these systems might not only work together, but may end up evolving indep...