Formal Software Engineering for Computational Modelling.

Magne Haveraaen Helmer André Friis Tor Arne Johansen

Published in: Nord. J. Comput. (1999)

Keyphrases

software engineering
formal methods
artificial intelligence
ctl model update
programming language
software systems
software development
software maintenance
mathematical programming
knowledge engineering
databases
reverse engineering
open source
object oriented
computational power
genetic algorithm
data mining