1481 search results - page 3 / 297 » Enriching the Software Development Process by Formal Methods |
ERSHOV
2006
Springer
13 years 9 months ago
2006
Springer
The article presents an approach to development of software standards usage infrastructure. The approach is based on formalization of standards and automated conformance test deriv...
SIGADA
2005
Springer
13 years 11 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...
HICSS
2009
IEEE
14 years 6 days ago
2009
IEEE
This paper examines the non-linear nature of progress on software projects. It asserts that this uneven accomplishment stems from the continuous need to drive value quickly in res...
TSE
2002
13 years 5 months ago
2002
KBSE
1997
IEEE
13 years 9 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...