3801 search results - page 173 / 761 » An Approach to Modeling Software Safety |
160
Voted
COMPSAC
1995
IEEE
15 years 8 months ago
1995
IEEE
Software development environments are examples of complex computer applications characterized by heterogeneity; they are composed of diverse information repositories, user interfa...
137
click to vote
IUI
2006
ACM
15 years 10 months ago
2006
ACM
Automated software customization is drawing increasing attention as a means to help users deal with the scope, complexity, potential intrusiveness, and ever-changing nature of mod...
265
Voted
AOSE
2008
Springer
15 years 6 months ago
2008
Springer
A central problem in software maintenance is change propagation: given a set of primary changes that have been made to software, what additional secondary changes are needed? Altho...
156
click to vote
ISSTA
1998
ACM
15 years 8 months ago
1998
ACM
Symbolic model checking has proved highly successful for large nite-state systems, in which states can be compactly encoded using binary decision diagrams (BDDs) or their variants...
143
Voted
FASE
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. As XML diffusion keeps increasing, it is today common practice for most developers to deal with XML parsing and transformation. XML is used as format to e.g. render data,...