7027 search results - page 188 / 1406 » Software process: a roadmap |
111
click to vote
ICSE
1999
IEEE-ACM
15 years 4 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
SIGCOMM
2010
ACM
15 years 1 days ago
2010
ACM
We present PacketShader, a high-performance software router framework for general packet processing with Graphics Processing Unit (GPU) acceleration. PacketShader exploits the mas...
106
click to vote
HICSS
2010
IEEE
15 years 6 months ago
2010
IEEE
As agile software development principles and methods are being adopted by large software product organizations it is important to understand the role of software entropy. That is,...
134
click to vote
AOSE
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Agent-Oriented Software Engineering (AOSE) methodologies are proposed to develop complex distributed systems based upon the agent paradigm. The natural implementation for...
IFIP
1989
Springer
15 years 3 months ago
1989
Springer
‘‘Industrial strength’’ software development environments (SDEs) must provide facilities to address three essential properties of multi-developer software systems: evoluti...