1073 search results - page 41 / 215 » Formal Program Development with Approximations |
TSE
2011
13 years 3 months ago
2011
In this paper we present a case study in deriving an algorithm from a formal specification via FermaT transformations. The general method (which is presented in a separate paper)...
PPSN
1994
Springer
14 years 23 days ago
1994
Springer
We present the Genetic L-System Programming (GLP) paradigm for evolutionary creation and development of parallel rewrite systems (Lsystems, Lindenmayer-systems) which provide a com...
ISSRE
2003
IEEE
14 years 1 months ago
2003
IEEE
Test-driven development is a software development practice that has been used sporadically for decades. With this practice, test cases (preferably automated) are incrementally wri...
JSW
2008
13 years 8 months ago
2008
Intermediate COCOMO Model computes effort as a function of program size and a set of cost drivers. Effort adjustment factor (EAF) is calculated using 15 cost drivers. EAF is an imp...
PDP
2007
IEEE
14 years 3 months ago
2007
IEEE
Scientific and engineering programming has been around since the beginning of computing, often being the driving force for new system development and innovation. At the same time...