2935 search results - page 425 / 587 » An Integrated Approach to High Integrity Software Verificati... |
150
click to vote
ENVSOFT
2007
15 years 6 months ago
2007
A number of spatial decision support systems (SDSSs) are already available for the systematic planning of conservation reserves. These existing systems offer varying levels of int...
213
click to vote
ICSE
2010
IEEE-ACM
15 years 8 months ago
2010
IEEE-ACM
The feature list of modern IDEs is steadily growing and mastering these tools becomes more and more demanding, especially for novice programmers. Despite their remarkable capabili...
131
click to vote
SIGSOFT
2007
ACM
16 years 6 months ago
2007
ACM
Generalization tasks are important for continual improvement to the design of an evolving code base, eliminating redundancy where it has accumulated. An important step in generali...
136
click to vote
KBSE
2008
IEEE
16 years 17 days ago
2008
IEEE
Run-time monitoring can provide important insights about a program’s behavior and, for simple properties, it can be done efficiently. Monitoring properties describing sequences...
176
click to vote
B
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. CSP B is an integration of the process algebra Communicating Sequential Processes (CSP), and the B-Method, which enables consistent controllers to be written for B machin...