Sciweavers

1014 search results - page 100 / 203
» Software Development Environments for Scientific and Enginee...
Sort
View
SAC
2008
ACM
13 years 8 months ago
Automatic software fault localization using generic program invariants
Despite extensive testing in the development phase, residual defects can be a great threat to dependability in the operational phase. This paper studies the utility of lowcost, ge...
Rui Abreu, Alberto González 0002, Peter Zoe...
JNCA
2010
106views more  JNCA 2010»
13 years 7 months ago
A methodology for engineering collaborative and ad-hoc mobile applications using SyD middleware
Today’s web applications are more collaborative and are using the standard and ubiquitous Internet protocols. We have earlier developed System on Mobile Devices (SyD) middleware...
Praveen Madiraju, Srilaxmi Malladi, Janaka Balasoo...
VMCAI
2005
Springer
14 years 2 months ago
An Overview of Semantics for the Validation of Numerical Programs
Interval computations, stochastic arithmetic, automatic differentiation, etc.: much work is currently done to estimate and to improve the numerical accuracy of programs but few c...
Matthieu Martel
ICSE
2004
IEEE-ACM
14 years 2 months ago
Balancing Agility and Discipline: Evaluating and Integrating Agile and Plan-Driven Methods
Rapid change and increasing software criticality drive successful development and acquisition organizations to balance the agility and discipline of their key processes. The emerg...
Barry W. Boehm, Richard Turner
WCRE
2010
IEEE
13 years 7 months ago
Software Process Recovery: Recovering Process from Artifacts
—Often stakeholders, such as developers, managers, or buyers, want to find out what software development processes are being followed within a software project. Their reasons in...
Abram Hindle