Sciweavers

684 search results - page 32 / 137
» Requirements for an Elucidative Programming Environment
Sort
View
ICSE
2009
IEEE-ACM
15 years 8 months ago
An Empirical Study of Testing File-System-Dependent Software with Mock Objects
Unit testing is a technique of testing a single unit of a program in isolation. The testability of the unit under test can be reduced when the unit interacts with its environment....
Madhuri R. Marri, Tao Xie, Nikolai Tillmann, Jonat...
142
Voted
MIDDLEWARE
2004
Springer
15 years 9 months ago
A context-aware middleware for applications in mobile Ad Hoc environments
Novel ubiquitous computing applications such as intelligent vehicles, smart buildings, and traffic management require special properties that traditional computing applications d...
Carl-Fredrik Sørensen, Maomao Wu, Thirunavu...
RISE
2005
Springer
15 years 9 months ago
Balancing Agility and Discipline with XPrince
Most of the contemporary projects require balance between agility and discipline. In the paper a software development and project management methodology called XPrince (eXtreme PRo...
Jerzy R. Nawrocki, Lukasz Olek, Michal Jasiñ...
IFL
2005
Springer
103views Formal Methods» more  IFL 2005»
15 years 9 months ago
Accurate Step Counting
Abstract Starting with an evaluator for a language, an abstract machine for the same language can be mechanically derived using successive program transformations. This has relevan...
Catherine Hope, Graham Hutton
191
Voted
VEE
2012
ACM
239views Virtualization» more  VEE 2012»
13 years 11 months ago
Transparent dynamic instrumentation
Process virtualization provides a virtual execution environment within which an unmodified application can be monitored and controlled while it executes. The provided layer of co...
Derek Bruening, Qin Zhao, Saman P. Amarasinghe