3706 search results - page 450 / 742 » The Transformational Approach to Program Development |
215
click to vote
SMALLTALK
2007
Springer
15 years 11 months ago
2007
Springer
Concurrency control in Smalltalk is based on locks and is therefore notoriously difficult to use. Even though some implementations provide high-level constructs, these add complexi...
138
click to vote
FPCA
1989
15 years 9 months ago
1989
Parametric polymorphism constrains the behavior of pure functional programs in a way that allows the derivation of interesting theorems about them solely from their types, i.e., v...
232
click to vote
OOIS
2001
Springer
15 years 9 months ago
2001
Springer
The accurate estimation of software development effort has major implications for the management of software development in the industry. Underestimates lead to time pressures tha...
172
click to vote
JSW
2008
15 years 4 months ago
2008
The current software development environment has been changing into new development paradigms such as concurrent distributed development environment and the so-called open source p...
150
click to vote
NDSS
2009
IEEE
15 years 11 months ago
2009
IEEE
Anti-malware companies receive thousands of malware samples every day. To process this large quantity, a number of automated analysis tools were developed. These tools execute a m...