Multi-objective Optimization of Formal Specifications.
Simon StruckMichael LipaczewskiFrank OrtmeierMatthias GüdemannPublished in: HASE (2012)
Keyphrases
- multi objective optimization
- formal specification
- multi objective
- evolutionary algorithm
- model checking
- specification languages
- object oriented design
- differential evolution
- multi objective optimization problems
- reverse engineering
- genetic algorithm
- multi objective genetic algorithm
- nsga ii
- multiple objectives
- bi objective
- protocol specification
- formal specification language
- pareto optimal
- formal methods
- optimization algorithm
- software components
- concurrent systems
- pareto optimal set
- evolutionary computation
- multi objective genetic algorithms
- information systems
- multi objective problems
- complex optimization problems