111 search results - page 10 / 23 » Automatic Ada Code Generation Using a Model-Driven Engineeri... |
100
click to vote
COMPSAC
1999
IEEE
15 years 4 months ago
1999
IEEE
This paper presents a generic approach to statically analyze Java programs in order to detect potential errors (bugs). We discuss a framework that supports our approach and carrie...
100
click to vote
ICSE
2010
IEEE-ACM
15 years 3 months ago
2010
IEEE-ACM
We present a development environment for automatically building smart, security-aware GUIs following a model-based approach. Our environment consists of a number of plugins that h...
113
click to vote
CODES
2010
IEEE
14 years 9 months ago
2010
IEEE
The last years have shown that there is no way to disregard the advantages provided by multiprocessor System-on-Chip (MPSoC) architectures in the embedded systems domain. Using mu...
100
click to vote
ICSEA
2009
IEEE
15 years 6 months ago
2009
IEEE
: This paper presents an approach to model ontologies for the e-Government domain as a basis for an integrated e-Government environment. Over the last couple of years the applicati...
114
click to vote
SAFECOMP
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Model-based development and automated code generation are increasingly used for actual production code, in particular in mathematical and engineering domains. However, si...