615 search results - page 4 / 123 » step 2003 |
ICSE
2003
IEEE-ACM
15 years 9 months ago
2003
IEEE-ACM
Step-wise refinement is a powerful paradigm for developing a complex program from a simple program by adding features incrementally. We present the AHEAD (Algebraic Hierarchical Eq...
DATE
2003
IEEE
15 years 2 months ago
2003
IEEE
This paper proposes a novel methodology tailored to design embedded systems, taking into account the emerging market needs, such as hw/sw partitioning, object-oriented specificati...
DATE
2003
IEEE
15 years 2 months ago
2003
IEEE
Abstract — This paper defines a new diagnosis problem for diagnosing delay defects based upon statistical timing models. We illustrate the differences between the delay defect d...
IWPC
2003
IEEE
15 years 2 months ago
2003
IEEE
A key desideratum for many software comprehension tools is to reduce the mental burdens of software engineers. That is, the tools should support cognition. This key benefit is di...
DIGRA
2003
Springer
15 years 2 months ago
2003
Springer
Instead of confining the player to a single role, the active participator model positions the player in a more flexible position towards the fictional gameworld: involved and imme...