Maude as a Formal Meta-tool.
Manuel ClavelFrancisco DuránSteven EkerJosé MeseguerMark-Oliver StehrPublished in: World Congress on Formal Methods (1999)
Keyphrases
- formal specification
- meta level
- data sets
- database
- formal model
- user friendly
- search results clustering
- visualization tool
- formal analysis
- software tools
- programming language
- object oriented
- evolutionary algorithm
- data analysis
- multiscale
- three dimensional
- website
- decision making
- feature selection
- learning algorithm
- genetic algorithm
- machine learning
- data mining
- databases