2935 search results - page 425 / 587 » An Integrated Approach to High Integrity Software Verificati... |
172
Voted
ENVSOFT
2007
15 years 7 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...
261
Voted
ICSE
2010
IEEE-ACM
15 years 9 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...
159
Voted
SIGSOFT
2007
ACM
16 years 7 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...
158
click to vote
KBSE
2008
IEEE
16 years 1 months 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...
198
Voted
B
2007
Springer
16 years 1 months 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...