System Specification Reengineering Using the SpecView Tool.

Tereza G. Kirner Rogeria C. Gratão

Published in: CSMR (1998)

Keyphrases

software tools
genetic algorithm
social networks
access control
conceptual model
user friendly
reverse engineering
formal verification