{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T21:54:03Z","timestamp":1729634043902,"version":"3.28.0"},"reference-count":45,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/apsec.2003.1254402","type":"proceedings-article","created":{"date-parts":[[2004,7,8]],"date-time":"2004-07-08T16:05:44Z","timestamp":1089302744000},"page":"468-477","source":"Crossref","is-referenced-by-count":4,"title":["Software engineering methods for neural networks"],"prefix":"10.1109","author":[{"given":"A.","family":"Senyard","sequence":"first","affiliation":[]},{"given":"E.","family":"Kazmierczak","sequence":"additional","affiliation":[]},{"given":"L.","family":"Sterling","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Software Engineering","year":"2000","author":"van vliet","key":"ref39"},{"key":"ref38","first-page":"30","article-title":"Principal components analysis for neural network input variable reduction and financial forecasting (part 2)","volume":"4","author":"thomason","year":"1996","journal-title":"J Neuro"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/32.148478"},{"key":"ref32","article-title":"Using an ensemble of neural networks for handwritten mathematical formula recognition","author":"senyard","year":"2003","journal-title":"Eng Applications of Neural Networks"},{"journal-title":"Toward the Software Engineering of Neural Networks","year":"2003","author":"senyard","key":"ref31"},{"journal-title":"Classical and Object-Oriented Software Engineering","year":"1999","author":"schach","key":"ref30"},{"key":"ref37","first-page":"31","article-title":"An introduction to nonstationary analysis and financial time series preprocessing","volume":"4","author":"thomason","year":"1996","journal-title":"J Neuro"},{"journal-title":"The Z Notation A Reference Manual","year":"1992","author":"spivey","key":"ref36"},{"journal-title":"Software Engineering","year":"1989","author":"sommerville","key":"ref35"},{"journal-title":"Using a framework to specify a network of temporal neurons","year":"1996","author":"smith","key":"ref34"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/0920-5489(94)90014-0"},{"journal-title":"Software in Safety-Related Systems (IEE\/BCS Joint Study Report)","year":"1992","author":"wichmann","key":"ref40"},{"key":"ref11","first-page":"14","article-title":"An overview of data dimensions and visualization","volume":"4","author":"fortner","year":"1996","journal-title":"J Neuro"},{"journal-title":"A comparison of back propagation implementations","year":"1995","author":"gibb","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/BF00317773"},{"key":"ref14","first-page":"7","article-title":"Visualization tools for complexity and finance (or looking before we leap","volume":"4","author":"hampton","year":"1996","journal-title":"J Neuro"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/32.345826"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1049\/sej.1995.0008","article-title":"using z to support the design of interactive safety-critical systems","volume":"10","author":"johnson","year":"1995","journal-title":"Software Engineering Journal"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194000000146"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-7506-1102-2.50011-6"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-34869-8_26"},{"journal-title":"Software Engineering","year":"1995","author":"sallis","key":"ref28"},{"key":"ref4","first-page":"68","article-title":"Formal methods and safety-critical standards","volume":"27","author":"bowen","year":"1994","journal-title":"IEEE Computer"},{"key":"ref27","article-title":"Testing randomness: A suite of statistical procedures","volume":"45","author":"rukhin","year":"2000","journal-title":"SIAM J Theory of Probability and its Applications"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/35.6.579"},{"key":"ref6","article-title":"The process of applying machine learning algorithms","author":"brodley","year":"1995","journal-title":"Proceedings of Workshop on Applying Machine Learning in Practice at IMLC-95"},{"key":"ref29","first-page":"364","article-title":"Extended ml: An institution-independent framework for formal program development","author":"sannella","year":"1985","journal-title":"Category Theory and Computer Programming"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1049\/sej.1993.0025","article-title":"safety-critical systems, formal methods and standards","volume":"8","author":"bowen","year":"1993","journal-title":"Software Engineering Journal"},{"journal-title":"Proceedings of the 1998 IEEE Conference on Evolutionary Computation","article-title":"Hierarchical evolution of neural networks","year":"1998","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1987.1663532"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1162\/089976699300016458"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/0920-5489(94)90012-4"},{"journal-title":"9th International Conference of Z Users","article-title":"On the Use of Formal Specifications in the Design and Simulation of Artificial Neural Networks","year":"1995","key":"ref1"},{"key":"ref20","first-page":"598","article-title":"Automatic choice of dimensionality for PCA","author":"minka","year":"2000","journal-title":"NIPS"},{"key":"ref45","article-title":"A population-based learning algorithm which learns both architectures and weights of neural networks","author":"yao","year":"1995","journal-title":"Proc ICYCS 95 Workshop Soft Computing"},{"journal-title":"An Introduction to Formal Specification and Z","year":"1991","author":"potter","key":"ref22"},{"journal-title":"Proc 7th Int Conf Genetic Algorithms","article-title":"Culling and teaching in neuro-evolution","year":"1997","key":"ref21"},{"journal-title":"Software Development with Z A Practical Approach to Formal Methods in Software Engineering","year":"1992","author":"wordsworth","key":"ref42"},{"key":"ref24","first-page":"1","author":"prior","year":"1998","journal-title":"Eugenic evolution for combinatorial optimization"},{"key":"ref41","article-title":"Rapid prototyping using formal specifications","author":"winikoff","year":"1998","journal-title":"Proceedings of the Australasian Computer Science Conference"},{"journal-title":"Software Engineering - A Practitioner's approach","year":"1992","author":"pressman","key":"ref23"},{"key":"ref44","first-page":"1213","article-title":"Pepnet: Parallel evolutionary programming for constructing artificial neural networks","author":"yao","year":"1997","journal-title":"Evolutionary Programming VI"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/IJCNN.1999.836192"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4899-3035-4"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-08-040953-5.50008-8"}],"event":{"name":"Tenth Asia-Pacific Software Engineering Conference, 2003.","location":"Chiang Mai, Thailand"},"container-title":["Tenth Asia-Pacific Software Engineering Conference, 2003."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8883\/28061\/01254402.pdf?arnumber=1254402","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T04:39:28Z","timestamp":1497587968000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1254402\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":45,"URL":"https:\/\/doi.org\/10.1109\/apsec.2003.1254402","relation":{},"subject":[]}}