Concept location in formal specifications.

Published in: J. Softw. Maintenance Res. Pract. (2008)

Keyphrases

formal specification
model checking
object oriented design
concurrent systems
specification languages
design methodology
software components
database
artificial intelligence
high level
knowledge representation
formal methods