494 search results - page 38 / 99 » On Some Epistemological Problems of Software Engineering |
AADEBUG
1997
Springer
15 years 1 months ago
1997
Springer
This paper presents a new approach to enforcing array bounds and pointer checking in the C language. Checking is rigorous in the sense that the result of pointer arithmetic must r...
FOSSACS
2006
Springer
15 years 1 months ago
2006
Springer
Metric Temporal Logic (MTL) is a real-time extension of Linear Temporal Logic that was proposed fifteen years ago and has since been extensively studied. Since the early 1990s, it ...
AVI
2006
14 years 11 months ago
2006
This paper presents an analysis of user studies from a review of papers describing new visualisation applications and uses these to highlight various issues related to the evaluat...
ARC
2010
Springer
14 years 9 months ago
2010
Springer
: When a logistics system is "self-organizing" it can function without significant intervention by managers, engineers, or software control. The social insects, such as a...
ICSE
2005
IEEE-ACM
15 years 9 months ago
2005
IEEE-ACM
Autonomic computing is a grand-challenge vision of the future in which computing systems will manage themselves in accordance with high-level objectives specified by humans. The I...