1251 search results - page 86 / 251 » A Method for Component-Based Software and System Development |
152
click to vote
PROFES
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Software maintenance is the most expensive activity in software development. Many software companies spent a large amount of cost to maintain the existing software system...
116
click to vote
CTW
2006
15 years 3 months ago
2006
This paper reports on the application of a range of human computer interaction (HCI) methods to the redesign of an electronic flight bag (EFB), as part of a commercial software dev...
139
click to vote
IJAOSE
2010
15 years 15 days ago
2010
: The complexity and scope of software systems continues to grow. One approach to dealing with this growing complexity is the use of intelligent, multi-agent systems. However, due ...
126
Voted
CAV
2005
Springer
15 years 8 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
108
click to vote
VSTTE
2005
Springer
15 years 8 months ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...