Specification patterns can be formal and still easy.
Fernando AsteasuainVíctor A. BrabermanPublished in: SEKE (2010)
Keyphrases
- formal specification
- formal methods
- formal language
- operational semantics
- requirements specification
- machine learning
- similar patterns
- pattern analysis
- pattern mining
- frequent patterns
- high level
- data sets
- design patterns
- sequential patterns
- previously unknown
- specification language
- artificial intelligence
- reactive systems
- provably correct
- specification languages