2984 search results - page 348 / 597 » Method engineering process patterns |
141
click to vote
XPU
2007
Springer
15 years 8 months ago
2007
Springer
The number of defects is an important indicator of software quality. Agile software development methods put an explicit requirement on automation and permanently low defect rates. ...
108
click to vote
ASWEC
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper describes the formalisation of Java thread synchronisation in an extended Owicki-Gries theory, which facilitates the proof of safety and progress properties of multi-th...
86
Voted
IWPC
2005
IEEE
15 years 8 months ago
2005
IEEE
In order to make frameworks easier to use we need to better understand the difficulties that programmers have with them. The questions that programmers ask give clues to the qual...
110
click to vote
SADFE
2005
IEEE
15 years 7 months ago
2005
IEEE
With powerful computer and mighty software, seasoned users could turn digital media into what they want. The detection of digital tampering has become a crucial problem. In most o...
122
click to vote
ARCS
2005
Springer
15 years 7 months ago
2005
Springer
This paper examines how methods inspired by biological processes can be applied to the design of large-scale environment-aware sensor networks. Our ultimate goal are systems conta...