Software Logical Structure Verification Method by Modeling Implemented Specification.

Keiji Uetsuki Tohru Matsuodani Kazuhiko Tsuda

Published in: KES (3) (2011)

Keyphrases

logical structure
verification method
model checking
temporal logic
software development
high level
structural information
modeling language
information retrieval
data sets
databases
natural language processing
co occurrence