Sciweavers

1713 search results - page 222 / 343
» Production programming in the classroom
Sort
View
SEFM
2007
IEEE
15 years 4 months ago
Supporting Proof in a Reactive Development Environment
Reactive integrated development environments for software engineering have lead to an increase in productivity and quality of programs produced. They have done so by replacing the...
Farhad Mehta
CCS
2007
ACM
15 years 4 months ago
Effect of static analysis tools on software security: preliminary investigation
Static analysis tools can handle large-scale software and find thousands of defects. But do they improve software security? We evaluate the effect of static analysis tool use on s...
Vadim Okun, William F. Guthrie, Romain Gaucher, Pa...
ICCS
2007
Springer
15 years 4 months ago
Validating Evolving Simulations in COERCE
We seek to increase user confidence in simulations as they are adapted to meet new requirements. Our approach includes formal representation of uncertainty, lightweight validation,...
Paul F. Reynolds Jr., Michael Spiegel, Xinyu Liu, ...
OOPSLA
2007
Springer
15 years 4 months ago
CASE-FX: feature modeling support in an OO Case tool
Generative Programming advocates developing a family of systems rather than a set of single systems. Feature modeling can assist in supporting the development of such software pro...
Alain Forget, Dave Arnold, Sonia Chiasson
XPU
2007
Springer
15 years 4 months ago
Overcoming Brooks' Law
Most programmers are familiar with the notion that adding new resources to a project will most likely slow down progress if not bring it to a complete stop while new team members a...
Kealy Opelt