1988 search results - page 278 / 398 » Engineering formal metatheory |
170
click to vote
KBSE
2008
IEEE
16 years 25 days ago
2008
IEEE
The frequent changes during the development and usage of large software systems often lead to a loss of architectural quality which hampers the implementation of further changes a...
192
click to vote
KBSE
2008
IEEE
16 years 25 days ago
2008
IEEE
—Recent research results have shown more benefits of the management of code clones, rather than detecting and removing them. However, existing management approaches for code clo...
154
click to vote
MOMPES
2008
IEEE
16 years 25 days ago
2008
IEEE
During its lifetime, embedded systems go through multiple changes to their runtime architecture. That is, threads, processes, and processor are added or removed to/from the softwa...
165
click to vote
SEFM
2008
IEEE
16 years 25 days ago
2008
IEEE
Aspect oriented programming can arbitrarily distort the semantics of programs. In particular, weaving can invalidate crucial safety and liveness properties of the base program. In...
172
click to vote
SEFM
2008
IEEE
16 years 25 days ago
2008
IEEE
The only practical way to test distributed messagepassing systems is to use local testing. In this approach, used in formalisms such as concurrent TTCN-3, some components are repl...