1938 search results - page 66 / 388 » Dependable Software |
165
Voted
SPLC
2004
15 years 3 months ago
2004
A key aspect of variability management in software product families is the explicit representation of the variability. Experiences at several industrial software development compan...
123
Voted
CSMR
2000
IEEE
15 years 7 months ago
2000
IEEE
Shimba, a prototype reverse engineering environment, has been built to support the understanding of Java software. Shimba uses Rigi and SCED to analyze, visualize, and explore the...
135
Voted
TSE
2008
15 years 2 months ago
2008
Web applications are widely adopted and their correct functioning is mission critical for many businesses. At the same time, Web applications tend to be error prone and implementat...
124
Voted
ICSE
2010
IEEE-ACM
14 years 12 months ago
2010
IEEE-ACM
Developers change source code to add new functionality, fix bugs, or refactor their code. Many of these changes have immediate impact on quality or stability. However, some impact...
133
Voted
ICFP
2008
ACM
16 years 2 months ago
2008
ACM
We describe an axiomatic extension to the Coq proof assistant, that supports writing, reasoning about, and extracting higher-order, dependently-typed programs with side-effects. C...