A specification approach to artificial neural network design

A specification-based simulation environment is proposed to address three issues in developing an artificial neural network (ANN) simulation environment. First, the concurrent aspect of an ANN system should be described. Second, design errors should be detected as early as possible. Third, the three distinct components of an ANN should be described separately and clearly. A dataflow specification approach is proposed to address these issues. It has two major characteristics: explicit specification for concurrency; and extensive checking for design errors.<>