Automating Performance Optimisation by Heuristic Analysis of a Formal Specification.

Philipp Hoschka

Published in: FORTE (1996)

Keyphrases

formal specification
artificial intelligence
object oriented design
databases
genetic algorithm
open source
model checking
concurrent systems