1200 search results - page 43 / 240 » The Problem Frames Approach to Software Engineering |
SAC
2000
ACM
14 years 1 months ago
2000
ACM
: The World Wide Web’s anticipated scope as an environment for knowledge exchange has changed dramatically. Without major modifications to its primary mechanisms the Web has turn...
VMCAI
2010
Springer
14 years 6 months ago
2010
Springer
We present uniform approaches to establish complexity bounds for decision problems such as reachability and simulation, that arise naturally in the verification of timed software s...
CSMR
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper motivates the need for more research to ensure a consistent level of reliability in software systems. We briefly outline the relevant developments that drive this need...
XPU
2004
Springer
14 years 2 months ago
2004
Springer
Refactoring is a key element of many agile software development methods. While most developers associate small design changes with the term refactoring (as described by Martin Fowl...
CISIS
2008
IEEE
14 years 3 months ago
2008
IEEE
Since the appearance in 1993, first approaching the Shannon limit, the Turbo Codes gave a new direction for the channel encoding field, especially since they were adopted for mult...