CoFI: The Common Framework Initiative for Algebraic Specification and Development.

Peter D. Mosses

Published in: TAPSOFT (1997)

Keyphrases

main contribution
case study
theoretical framework
database
information technology
bayesian networks
probabilistic model
software engineering
knowledge based systems
software architecture
design principles
genetic algorithm
multiscale
development process
formal methods