8 search results - page 1 / 2 » Bandera: extracting finite-state models from Java source cod... |
ICSE
2000
IEEE-ACM
13 years 8 months ago
2000
IEEE-ACM
SPIN
2000
Springer
13 years 8 months ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...
CICLING
2007
Springer
13 years 11 months ago
2007
Springer
Finite-state technology is considered the preferred model for representing the phonology and morphology of natural languages. The attractiveness of this technology for natural lang...
SCAM
2003
IEEE
13 years 10 months ago
2003
IEEE
This paper presents a flexible way in which a deisgn model extracted from Java programs can remain unified with the source code. Each entity declaration and reference in the Java ...
RE
2005
Springer
13 years 10 months ago
2005
Springer
A reverse engineering process aims at reconstructing el abstractions from source code. This paper presents a novel reverse engineering methodology for recovering stakeholder goal ...