Online, library-based visual formal specification monitoring system for monitoring log-files with visible and hidden data.

Doron Drusinsky

Published in: Innov. Syst. Softw. Eng. (2017)

Keyphrases

monitoring system
log files
data acquisition
formal specification
data analysis
data sources
log data
vital signs
knowledge discovery
model checking
database
distributed systems
end users
training data
databases
safe operation
formal methods
web logs
reverse engineering
web users
data quality
data objects