Home
|
CV
|
Research
|
Teaching
|
Publications
|
SEAD
|
CRC
|
SecureChange
|
SP4A
|
VideoWall
|
RESG
|
RSS
Research Topics and Demonstrations
Maintaining invariant traceability through bidirectional transformations
(
blinkit
)
The Open Requirements Engineering lab
(
openre
)
Risk and argumentation for good-enough security requirements
(
risa
)
Specifying and detecting meaningful changes
(
mct
)
Recovering Problem Structures from Execution Traces
(
Galar, username: guest, password: checkout
)
An Automated Refactoring Toolkit
(
ART
, username: guest, password: checkout)
Specifying Monitoring and Switching Problems in Context
(
repo
, username: guest, password: checkout)
Light-Weight Extraction of Eclipse Component Dependencies
Reverse engineering source code into goal models
Goal-oriented requirements engineering tools
(
OpenOME
)
Discovering aspects from requirements goal models
(
aspectPHP
)
Reducing build time through precompilations
(For C/C++
pcc
, For Java
precj
)
Componentization of legacy C/C++ software
Literature Programming
(
download
)
Parsing program syntax tree into XML
(
yaxx
)
Making XML document markups international
(
cxsl
)
Performance visualization using XML
(
XFPT
)
Cache impact visualization
(
cacheviz
)
Loop dependence visualization
(
ISV
)
Non-uniform dependences partitioned by recurrence chains
Parallelizing compiler: loop partitioning
Wireless network and mobile computing
Quality-based software reuse
(
Q7
)
Towards Requirements-Driven Autonomic Systems Design
Software refactoring guided by multiple soft-goals