Specification Patterns: Formal and Easy.

Fernando Asteasuain Víctor A. Braberman

Published in: Int. J. Softw. Eng. Knowl. Eng. (2015)

Keyphrases

formal specification
formal methods
similar patterns
genetic algorithm
pattern mining
pattern discovery
previously unknown
operational semantics
reactive systems
specification languages
formal model
interesting patterns
frequent patterns
bayesian networks
formal language
machine learning
formal languages