1251 search results - page 178 / 251 » A Method for Component-Based Software and System Development |
143
Voted
AMAST
2010
Springer
14 years 9 months ago
2010
Springer
mu-term is a tool which can be used to verify a number of termination properties of (variants of) Term Rewriting Systems (TRSs): termination of rewriting, termination of innermost ...
122
Voted
ICSM
2003
IEEE
15 years 8 months ago
2003
IEEE
As systems evolve, they become harder to understand because the implementation of concepts (e.g. business rules) becomes less coherent. To preserve source code comprehensibility, ...
152
Voted
SCAI
1993
15 years 4 months ago
1993
Among the most important challenges for contemporary AI research are the development of methods for improved robustness, adaptability, and overall interactiveness of systems. Inter...
153
Voted
SIGSOFT
2010
ACM
15 years 15 days ago
2010
ACM
The transfer of entire projects to offshore locations, the aging and renewal of core developers in legacy products, the recruiting in fast growing Internet companies, and the part...
125
Voted
BMCBI
2005
15 years 2 months ago
2005
Background: Numerous microarray analysis programs have been created through the efforts of Open Source software development projects. Providing browser-based interfaces that allow...