681 search results - page 9 / 137 » An Assembly Process Model for Method Engineering |
120
click to vote
ICFP
2005
ACM
15 years 11 months ago
2005
ACM
Proof-carrying code (PCC) is a general framework that can, in principle, verify safety properties of arbitrary machine-language programs. Existing PCC systems and typed assembly l...
187
click to vote
POPL
2006
ACM
16 years 5 days ago
2006
ACM
Embedded code pointers (ECPs) are stored handles of functions and continuations commonly seen in low-level binaries as well as functional or higher-order programs. ECPs are known ...
103
click to vote
COMPSAC
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper discusses aspects of the redocumentation of legacy systems and proposes a model oriented approach to generating documentation, which is to produce models from existing ...
APSEC
2004
IEEE
15 years 3 months ago
2004
IEEE
Product line engineering (PLE) is one of the recent and effective reuse approaches, and it consists of two processes; framework engineering and application engineering. Framework ...
118
click to vote
EUROSPI
2005
Springer
15 years 5 months ago
2005
Springer
It is advocated to use the ISO/IEC 15504 standard into new domains not related to Information Technology (IT), giving a powerful enterprise-wide assessment tool for quality manager...