DocumentCode
2417110
Title
Software engineering methods for neural networks
Author
Senyard, Anthony ; Kazmierczak, Ed ; Sterling, Leon
Author_Institution
Dept. of Comput. Sci. & Software Eng., Melbourne Univ., Parkville, Vic., Australia
fYear
2003
fDate
10-12 Dec. 2003
Firstpage
468
Lastpage
477
Abstract
Neural networks have been used to solve a wide range of problems. Unfortunately, many of the applications of neural networks reported in the literature have been built in an ad-hoc manner, without being informed by the techniques and tools of software engineering. The problem with developing neural networks in an ad-hoc manner, using a "trial and error" or "build and fix" approach, is that successes are difficult to repeat. Building neural networks to solve specific problems using ad-hoc processes is repeatable only if there is a sufficient culture of disciplined practice and experienced people in the organisation to facilitate the process. We propose a set of methods for developing neural networks that can be used to systematically and repeatably "engineer" neural networks to solve specific problems. We explore the "design problem "for neural networks, and the problem of validating and verifying the operation and learning algorithms for neural network software. A feature of our approach is to separate the generic components of a neural network from the application specific components.
Keywords
formal specification; knowledge verification; learning (artificial intelligence); neural nets; program verification; ad-hoc process; formal specification; formal verification; learning algorithm; neural network software; software engineering method; software validation; Algorithm design and analysis; Application software; Backpropagation algorithms; Computer science; Design methodology; Feedforward neural networks; Humans; Neural networks; Software algorithms; Software engineering;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering Conference, 2003. Tenth Asia-Pacific
Print_ISBN
0-7695-2011-1
Type
conf
DOI
10.1109/APSEC.2003.1254402
Filename
1254402
Link To Document