810 search results - page 53 / 162 » Rule-based Model Extraction from Source Code |
VMCAI
2004
Springer
14 years 1 months ago
2004
Springer
Typed Assembly Languages (TALs) can be used to validate the safety of assembly-language programs. However, typing rules are usually trusted as axioms. In this paper, we show how to...
SAC
2004
ACM
14 years 1 months ago
2004
ACM
There is still no standardization of software measures and metrics extraction tools have to be updated frequently to handle the changes. A possible solution is represented by usin...
VSTTE
2005
Springer
14 years 1 months ago
2005
Springer
What You See Is Not What You eXecute: computers do not execute source-code programs; they execute machine-code programs that are generated from source code. Not only can the WYSINW...
MSR
2011
ACM
12 years 10 months ago
2011
ACM
Software readability is a property that influences how easily a given piece of code can be read and understood. Since readability can affect maintainability, quality, etc., prog...
CBMS
2006
IEEE
14 years 1 months ago
2006
IEEE
A rule-based Decision Support System is presented for the diagnosis of Coronary Artery Disease. The generation of the decision support system is realized automatically using a thr...