Sciweavers

6508 search results - page 376 / 1302
» Development and the Baldwin Effect
Sort
View
DB
2008
107views more  DB 2008»
15 years 7 months ago
Introducing function extraction into software testing
Software testing can benefit from technologies that enable evolution toward increased engineering discipline. In current practice, software developers lack practical means to dete...
Mark G. Pleszkoch, Richard C. Linger, Alan R. Hevn...
CLEIEJ
2007
203views more  CLEIEJ 2007»
15 years 6 months ago
Optimization Criteria for Effort Estimation using Fuzzy Technique
Effective cost estimation is the most challenging activity in software development. Software cost estimation is not an exact science. Cost estimation process involves a series of ...
Harish Mittal, Pradeep Bhatia
CORR
2007
Springer
128views Education» more  CORR 2007»
15 years 6 months ago
Verified Real Number Calculations: A Library for Interval Arithmetic
—Real number calculations on elementary functions are remarkably difficult to handle in mechanical proofs. In this paper, we show how these calculations can be performed within a...
Marc Daumas, David Lester, César Muñ...
ENVSOFT
2007
97views more  ENVSOFT 2007»
15 years 6 months ago
Coupled human and natural systems: A multi-agent-based approach
A major force affecting many forest ecosystems is the encroachment of residential, commercial and industrial development. Analysis of the complex interactions between development ...
Michael Monticino, Miguel F. Acevedo, Baird Callic...
RTS
2006
176views more  RTS 2006»
15 years 6 months ago
Verifying distributed real-time properties of embedded systems via graph transformations and model checking
Component middleware provides dependable and efficient platforms that support key functional, and quality of service (QoS) needs of distributed real-time embedded (DRE) systems. C...
Gabor Madl, Sherif Abdelwahed, Douglas C. Schmidt