{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T13:30:23Z","timestamp":1762522223206,"version":"3.28.0"},"reference-count":34,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,7]]},"DOI":"10.1109\/icci-cc.2018.8482093","type":"proceedings-article","created":{"date-parts":[[2018,10,8]],"date-time":"2018-10-08T23:23:37Z","timestamp":1539041017000},"page":"117-123","source":"Crossref","is-referenced-by-count":5,"title":["Towards a Methodology for RTPA-MATLAB Code Generation Based on Machine Learning Rules"],"prefix":"10.1109","author":[{"given":"James Y.","family":"Xu","sequence":"first","affiliation":[]},{"given":"Yingxu","family":"Wang","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Using Z Specification Refinement and Proof","year":"1996","author":"woodcock","key":"ref33"},{"journal-title":"Comparative Programming Language","year":"1988","author":"wilson","key":"ref32"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.4018\/jssci.2010101907"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1166\/jama.2013.1030"},{"journal-title":"AI Programmer Autonomously Creating Software Programs using Genetic Algorithms","year":"2017","author":"becker","key":"ref34"},{"journal-title":"Programming languages Principles and practice","year":"1993","author":"louden","key":"ref10"},{"key":"ref11","article-title":"An Intuitionistic Theory of Types: Predicative Part","author":"martin-lof","year":"1975","journal-title":"Logic Colloquium 1973"},{"journal-title":"Software Engineer's Reference Book","year":"1991","author":"mcdermid","key":"ref12"},{"key":"ref13","first-page":"25","article-title":"Impediments to Industrial Use of Formal Method","volume":"24","author":"michael","year":"1996","journal-title":"IEEE Computer"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-10235-3"},{"key":"ref15","first-page":"376","article-title":"An Overview and Synthesis on Timed Process Algebras","author":"nicollin","year":"1991","journal-title":"Proceedings of the 3rd International Computer Aided Verification Conference"},{"journal-title":"Data Structures with Abstract Data types and Pascal","year":"1985","author":"stubbs","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.4018\/jcini.2008070105"},{"journal-title":"C++ Translator for RAISE Specifications (Tech Rep No 220)","year":"2000","author":"univan","key":"ref18"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1023\/A:1020561826073","article-title":"The Real-Time Process Algebra (RTPA)","volume":"14","author":"wang","year":"2002","journal-title":"Annals of Software Engineering"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1166\/jama.2014.1060"},{"journal-title":"A Comparative Study of Programming Languages","year":"1977","author":"higman","key":"ref4"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.4018\/jssci.2009070107"},{"key":"ref3","first-page":"346","article-title":"A Real-Time Process Algebra with Open Intervals and Maximal Progress","volume":"8","author":"fecher","year":"2001","journal-title":"Nordic Journal of Computing"},{"journal-title":"Communicating Sequential Processes","year":"1985","author":"hoare","key":"ref6"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.4018\/jssci.2009062506"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359585"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1147\/rd.33.0210"},{"journal-title":"The RAISE Specification Language The BCS Practitioner Series","year":"1995","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/6041.6042"},{"journal-title":"Elements of the Theory of Computation","year":"1998","author":"lewis","key":"ref9"},{"journal-title":"Compilers Principles Techniques and Tools","year":"1985","author":"aho","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2006.871138"},{"key":"ref22","first-page":"6","article-title":"On Contemporary Denotational Mathematics for Computational Intelligence","volume":"2","author":"wang","year":"2008","journal-title":"Transactions of Computational Science"},{"key":"ref21","doi-asserted-by":"crossref","DOI":"10.1201\/9780203496091.ch15","article-title":"Software Engineering Foundations: A Software Science Perspective","volume":"2","author":"wang","year":"2007","journal-title":"CRC Series in Software Engineering"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.4018\/jcini.2008040103"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.4018\/jcini.2008040101"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.4018\/jcini.2008040106"},{"key":"ref25","first-page":"46","article-title":"Mathematical Laws of Software","volume":"2","author":"wang","year":"2008","journal-title":"Transactions of Computational Science"}],"event":{"name":"2018 IEEE 17th International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC)","start":{"date-parts":[[2018,7,16]]},"location":"Berkeley, CA","end":{"date-parts":[[2018,7,18]]}},"container-title":["2018 IEEE 17th International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8470026\/8482005\/08482093.pdf?arnumber=8482093","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,10,30]],"date-time":"2018-10-30T10:08:53Z","timestamp":1540894133000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8482093\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/icci-cc.2018.8482093","relation":{},"subject":[],"published":{"date-parts":[[2018,7]]}}}