Effects of Refactoring Legacy Protocol Implementations: A Case Study.

Birgit Geppert Frank Rößler

Published in: IEEE METRICS (2004)

Keyphrases

lightweight
efficient implementation
case study
test bed
software systems
network protocols
coloured petri nets
database systems
cooperative
source code
formal analysis
security analysis