5832 search results - page 1017 / 1167 » Software complexity and maintainability |
165
click to vote
FATES
2003
Springer
15 years 11 months ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
186
click to vote
ICES
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Vertebrate and most invertebrate organisms interact with their environment through processes of adaptation and learning. Such processes are generally controlled by comple...
146
click to vote
SAC
2010
ACM
15 years 11 months ago
2010
ACM
The verification of industrial systems specified with CSP often implies the analysis of many concurrent and synchronized components. The cost associated to these analyses is usu...
169
Voted
EICS
2010
ACM
15 years 11 months ago
2010
ACM
Ten years ago, I introduced the notion of user interface plasticity to denote the capacity of user interfaces to adapt, or to be adapted, to the context of use while preserving us...
152
click to vote
MSR
2010
ACM
15 years 11 months ago
2010
ACM
—FLOSS distributions like RedHat and Ubuntu require a lot more complex infrastructures than most other FLOSS projects. In the case of community-driven distributions like Debian, ...