5832 search results - page 371 / 1167 » Software complexity and maintainability |
187
click to vote
VL
2010
IEEE
15 years 5 months ago
2010
IEEE
Visual representations are widely used to describe modern-day software systems, but, in most cases, they lack rigour. This paper addresses the problems of formality, rigour and co...
221
click to vote
AGI
2011
14 years 10 months ago
2011
Intelligent software agents aiming for general intelligence are likely to be exceedingly complex systems and, as such, will be difficult to implement and to customize. Frameworks h...
168
click to vote
ISSTA
2006
ACM
16 years 22 days ago
2006
ACM
We present a method to verify the correctness of parallel programs that perform complex numerical computations, including computations involving floating-point arithmetic. The me...
195
click to vote
GECCO
2005
Springer
16 years 9 days ago
2005
Springer
Mapping biology into computation has both a domain specific aspect – biological theory – and a methodological aspect – model development. Computational modelers have implici...
189
click to vote
ECBS
2000
IEEE
15 years 11 months ago
2000
IEEE
The integration of software tools used in an engineering process is a problem that arises frequently in large-scale engineering projects. Traditional approaches are insufficient f...