170 search results - page 1 / 34 » Formal Methods Application: An Empirical Tale of Software De... |
127
click to vote
KBSE
1997
IEEE
15 years 5 months ago
1997
IEEE
Partial evaluation is an optimization technique traditionally used in compilation. We have adapted this technique to the understanding of scientic application programs during t...
118
Voted
WETICE
2005
IEEE
15 years 6 months ago
2005
IEEE
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...
95
Voted
SIGADA
2005
Springer
15 years 6 months ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
140
Voted
IFIP
2007
Springer
15 years 7 months ago
2007
Springer
In global software development (GSD) projects, distributed teams collaborate to deliver high-quality software. Project managers need to control these development projects, which in...