Sciweavers

2259 search results - page 123 / 452
» Leveraging Distributed Software Development
Sort
View
AOSE
2007
Springer
15 years 9 months ago
A Goal-Oriented Software Testing Methodology
Abstract. Agent-Oriented Software Engineering (AOSE) methodologies are proposed to develop complex distributed systems based upon the agent paradigm. The natural implementation for...
Duy Cu Nguyen, Anna Perini, Paolo Tonella
PROFES
2004
Springer
15 years 8 months ago
Introducing the Next Generation of Software Inspection Tools
The area of tool support for software inspection has been under active research since the early 1990's. Although numerous implementations exist and development is still taking...
Henrik Hedberg
TAICPART
2006
IEEE
131views Education» more  TAICPART 2006»
15 years 9 months ago
Bogor: A Flexible Framework for Creating Software Model Checkers
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
Robby, Matthew B. Dwyer, John Hatcliff
ICSE
2009
IEEE-ACM
16 years 4 months ago
Locating need-to-translate constant strings for software internationalization
Modern software applications require internationalization to be distributed to different regions of the world. In various situations, many software applications are not internatio...
Xiaoyin Wang, Lu Zhang, Tao Xie, Hong Mei, Jiasu S...
IADIS
2004
15 years 4 months ago
Speculative TCP Connection Admission Using Connection Migration in Cluster-Based Servers
This paper presents speculative TCP connection admission, a mechanism for improving sub-optimal request distribution decisions in cluster-based servers. Overloaded server nodes in...
Vlad Olaru, Walter F. Tichy