2700 search results - page 290 / 540 » The role of abstraction in software engineering |
191
click to vote
ADAEUROPE
2008
Springer
16 years 29 days ago
2008
Springer
Abstract. The control flow graph is the basis for many code optimisation and analysis techniques. We introduce a new framework for the construction of powerful CFG-based represent...
178
click to vote
ADAEUROPE
2008
Springer
16 years 29 days ago
2008
Springer
We consider networked, embedded real-time systems that operate under run-time uncertainties on activity execution times and arrivals, node failures, and message losses. We consider...
130
click to vote
SCAM
2007
IEEE
16 years 27 days ago
2007
IEEE
ames make or break abstractions: good ones communicate the intention of the method, whereas bad ones cause confusion and frustration. The task of naming is subject to the whims an...
179
click to vote
SCAM
2007
IEEE
16 years 27 days ago
2007
IEEE
This paper presents an implementation of the “form template method” refactoring. This transformation has not been automated yet, but has many similarities with other transform...
194
click to vote
SEFM
2007
IEEE
16 years 27 days ago
2007
IEEE
Various research prototypes and a well-founded theory of model based testing (MBT) suggests the application of MBT to real-world problems. In this article we report on applying th...