On the Use of Formal Specifications in the Design and Simulation of Artificial Neural Networks
作者： Patrícia Duarte de Lima Machado , Silvio Lemos Meira
DOI: 10.1007/3-540-60271-2_113
关键词: Software development 、 Reuse 、 Artificial neural network 、 Software engineering 、 Formal specification 、 Artificial intelligence 、 Class (computer programming) 、 Machine learning 、 Formal methods 、 Process (engineering) 、 Nervous system network models 、 Computer science
摘要: This paper presents an experience on the use of objectoriented formal specifications in process software development for artificial neural networks. A specification networks using MooZ language is presented. class hierarchies shows gradual inclusion network concepts such that new models or paradigms are easily incorporated by reusing previous definitions. EASY, a simulation environment which was developed specification, also described.
springer.com
sci-hub.st 参考文章(14)
Silvio Lemos Meira, Ana Lúcia C. Cavalcanti, Modular Object-oriented Z Specifications Proceedings of the Fifth Annual Z User Meeting on Z User Workshop. pp. 173- 192 ,(1990) , 10.1007/978-1-4471-3540-1_12
P. D. Wasserman, Neural Computing: Theory and Practice ,(1989)
David E. Rumelhart, James L. McClelland, , Parallel distributed processing: explorations in the microstructure of cognition, vol. 1: foundations Computational Models of Cognition and Perception. ,(1986) , 10.7551/MITPRESS/5236.001.0001
L. Fuentes, J. F. Aldana, J. M. Troya, URANO: An Object-Oriented Artificial Neural Network Simulation Tool international work-conference on artificial and natural neural networks. pp. 364- 369 ,(1993) , 10.1007/3-540-56798-4_174
Warren S. McCulloch, Walter Pitts, A logical calculus of the ideas immanent in nervous activity Bulletin of Mathematical Biology. ,vol. 52, pp. 99- 115 ,(1990) , 10.1007/BF02478259
J.-S.R. Jang, ANFIS: adaptive-network-based fuzzy inference system systems man and cybernetics. ,vol. 23, pp. 665- 685 ,(1993) , 10.1109/21.256541
E Fiesler, Neural network classification and formalization Computer Standards & Interfaces. ,vol. 16, pp. 231- 239 ,(1994) , 10.1016/0920-5489(94)90014-0
B. Meyer, On Formalism in Specifications IEEE Software. ,vol. 2, pp. 6- 26 ,(1985) , 10.1109/MS.1985.229776
Harley R. Myler, Arthur R. Weeks, Randall K. Gillis, Gary W. Hall, Object-oriented neural simulation tools for a hypercube parallel machine Neurocomputing. ,vol. 4, pp. 235- 248 ,(1992) , 10.1016/0925-2312(92)90029-O
L.S. Smith, A framework for neural net specification IEEE Transactions on Software Engineering. ,vol. 18, pp. 601- 612 ,(1992) , 10.1109/32.148478