483 search results - page 25 / 97 » Model driven code checking |
TACAS
2012
Springer
12 years 3 months ago
2012
Springer
The number of malware is growing extraordinarily fast. Therefore, it is important to have efficient malware detectors. Malware writers try to obfuscate their code by different tec...
EUROMICRO
2004
IEEE
13 years 11 months ago
2004
IEEE
Software applications can be described as compositions are components at an abstract level. In this paper we present a component modeling process which allows to design, model and...
ECMDAFA
2006
Springer
13 years 11 months ago
2006
Springer
Building service-based architectures has become a major area of interest since the advent of Web services. Modelling these architectures is a central activity. Model-driven archite...
SPLC
2007
13 years 9 months ago
2007
Software product line engineering aims to reduce development time, effort, cost, and complexity by taking advantage of the commonality within a portfolio of similar products. The ...
ECBS
2008
IEEE
14 years 2 months ago
2008
IEEE
Models are widely used for communication and documentation purposes. They also tend to be used as parameters for code generation. Because these models have to be complete, consist...