170 search results - page 1 / 34 » Formal Methods Application: An Empirical Tale of Software De... |
97
Voted
TSE
2002
14 years 9 months ago
2002
KBSE
1997
IEEE
15 years 1 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...
94
Voted
WETICE
2005
IEEE
15 years 3 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...
SIGADA
2005
Springer
15 years 3 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...
107
click to vote
IFIP
2007
Springer
15 years 3 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...