16725 search results - page 696 / 3345 » Engineering Software Correctness |
229
click to vote
ICFCA
2005
Springer
16 years 28 days ago
2005
Springer
A key difficulty in the maintenance and evolution of complex software systems is to recognize and understand the implicit dependencies that define contracts that must be respecte...
169
click to vote
DATE
2002
IEEE
16 years 11 days ago
2002
IEEE
In this paper, we present an efficient methodology to validate high performance algorithms and prototype them using reconfigurable hardware. We follow a strict topdown Hardware/So...
191
click to vote
IJAOSE
2008
15 years 7 months ago
2008
: This paper presents a systematic description of a reusable software architecture for multi-agent systems in the domain of manufacturing control. The architectural description con...
220
click to vote
ESEM
2008
ACM
15 years 9 months ago
2008
ACM
Although a lot of attention has been paid to software cost estimation since 1960, making accurate effort and schedule estimation is still a challenge. To collect evidence and iden...
243
click to vote
RE
2010
Springer
15 years 2 months ago
2010
Springer
The design of the variability of a software product line is crucial to its success and evolution. Meaningful variable features need to be elicited, analyzed, documented and validat...