1988 search results - page 236 / 398 » Engineering formal metatheory |
167
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
The methodology of aspect-oriented software engineering has been proposed to factor out concerns that are orthogonal to the core functionality of a system. In particular, this is a...
174
click to vote
CSIE
2009
IEEE
15 years 7 months ago
2009
IEEE
Succinct test script with high efficiency is one of key point for automation of embedded software testing. In this paper, we integrated object technique with automated simulation ...
149
click to vote
ACMSE
2010
ACM
15 years 4 months ago
2010
ACM
Developing software from models is a growing practice and there exist many model-based tools (e.g., model editors, model interpreters) for supporting model-driven engineering. Eve...
174
click to vote
EMSOFT
2010
Springer
15 years 4 months ago
2010
Springer
SystemC is the de facto standard for modeling embedded systems. It allows system design at various levels of abstractions, provides typical object-orientation features and incorpo...
178
click to vote
SIGMOD
2005
ACM
16 years 3 days ago
2005
ACM
In a number of recent studies [4, 8] researchers have found that because search engines repeatedly return currently popular pages at the top of search results, popular pages tend ...