On the Use of Formal Specifications in the Design and Simulation of Artificial Neural Networks.
Patrícia D. L. MachadoSilvio Romero de Lemos MeiraPublished in: ZUM (1995)
Keyphrases
- artificial neural networks
- formal specification
- object oriented design
- design methodology
- design process
- neural network
- genetic algorithm
- artificial intelligence
- using artificial neural networks
- information systems
- knowledge based systems
- building blocks
- simulation model
- formal methods
- formal specification language