Sciweavers

3456 search results - page 129 / 692
» Byte Code Engineering
Sort
View
116
Voted
ACSC
2004
IEEE
15 years 6 months ago
Java Implementation Verification Using Reverse Engineering
An approach to system verification is described in which design artefacts produced during forward engineering are automatically compared to corresponding artefacts produced during...
David J. A. Cooper, Benjamin Khoo, Brian R. von Ko...
116
Voted
APSEC
2006
IEEE
15 years 8 months ago
Evaluation of Source Code Updates in Software Development Based on Component Rank
Essential activities for the achievement of trouble-free software development are monitoring a software product and management of a software project. Monitoring changes that have ...
Reishi Yokomori, Masami Noro, Katsuro Inoue
117
Voted
SCAM
2009
IEEE
15 years 9 months ago
thr2csp: Toward Transforming Threads into Communicating Sequential Processes
—As multicore and heterogeneous multiprocessor platforms replace uniprocessor systems, software programs must be designed with a greater emphasis on concurrency. Threading has be...
Robert Charles Lange, Spiros Mancoridis
112
Voted
CSMR
2008
IEEE
15 years 9 months ago
Towards Recovering Architectural Concepts Using Latent Semantic Indexing
Software engineers think about an existing software system in terms of high-level models. The high-level models are translated to source code and the concepts represented in these...
Pieter van der Spek, Steven Klusener, Piërre ...
107
Voted
ICSE
2008
IEEE-ACM
16 years 2 months ago
Security metrics for source code structures
Software security metrics are measurements to assess security related imperfections (or perfections) introduced during software development. A number of security metrics have been...
Istehad Chowdhury, Brian Chan, Mohammad Zulkernine