Control Flow Normalization for COBOL/CICS Legacy System.

Mark van den Brand Alex Sellink Chris Verhoef

Published in: CSMR (1998)

Keyphrases

control flow
data flow
process model
software testing
business process models
transition systems
programming language
reverse engineering
modeling language
formal semantics
workflow management systems
formal specification
artificial intelligence
index structure
knowledge base
machine learning
database