{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,31]],"date-time":"2024-10-31T03:04:23Z","timestamp":1730343863286,"version":"3.28.0"},"reference-count":49,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,4]]},"DOI":"10.23919\/fruct.2017.8071326","type":"proceedings-article","created":{"date-parts":[[2017,10,25]],"date-time":"2017-10-25T19:29:28Z","timestamp":1508959768000},"page":"296-308","source":"Crossref","is-referenced-by-count":1,"title":["TRIK studio: Technical introduction"],"prefix":"10.23919","author":[{"given":"Dmitry","family":"Mordvinov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yurii","family":"Litvinov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Timofey","family":"Bryksin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","first-page":"64","article-title":"Russian tools for teaching programming","author":"terekhov","year":"0","journal-title":"Computer science technologies for the New School"},{"journal-title":"A visual programming environment for autonomous robots","year":"2000","author":"banyasad","key":"ref38"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/JRA.1986.1087032"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.15514\/SYRCOSE-2012-6-34"},{"key":"ref31","first-page":"52","article-title":"Mouse gestures recognition suport in meta-CASE tools","author":"osechkina","year":"2010","journal-title":"Software Engineering"},{"key":"ref30","first-page":"27","article-title":"Ubiq Mobile + QReal: a Technology for Development of Distributed Mobile Services","author":"bryksin","year":"2011","journal-title":"Proc 10th Conf of Open Innovations Association FRUCT and 2nd Finnish-Russian Mobile Linux Summit"},{"key":"ref37","first-page":"375","article-title":"Toward process architectures for behavioural robotics","author":"simpson","year":"2009","journal-title":"CPA"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1080\/095281397147167"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.1987.1088037"},{"key":"ref34","article-title":"A colony architecture for an artificial creature","author":"connell","year":"1989","journal-title":"DTIC Document Tech Rep"},{"key":"ref28","first-page":"142","article-title":"Tools for rapid development of domain-specific solutions in QReal metaCASE tool","author":"kuzenkova","year":"0","journal-title":"Scientific Bulletin of SPbSPU"},{"journal-title":"Introduction in visual modeling","year":"2008","author":"koznov","key":"ref27"},{"key":"ref29","first-page":"205","article-title":"QReal DSM platform-An Environment for Creation of Specific Visual IDEs","author":"kuzenkova","year":"2013","journal-title":"ENASE 2013 — Proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering"},{"key":"ref2","first-page":"36","article-title":"TRIK robotics platform: new challenges and new possibilities","author":"luchin","year":"2016","journal-title":"Proceedings of IV Russian conference “Modern technological education from a computer to a robot”"},{"journal-title":"Mindstorms Children Computers and Powerful Ideas","year":"1980","author":"papert","key":"ref1"},{"key":"ref20","article-title":"ROBOLAB: Intuitive Robotic Programming Software to Support Life Long Learning","author":"portsmore","year":"1999","journal-title":"Apple Learning Technology Review"},{"key":"ref22","article-title":"QReal: Robots - An environment for teaching computer science and robotics in schools","volume":"2013","author":"terekhov","year":"2013","journal-title":"ACM International Conference Proceeding Series"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/VLHCC.2011.6070374"},{"journal-title":"Introduction in PascalABC NET programming","year":"2014","author":"doliner","key":"ref24"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/2687233.2687249"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/582153.582176"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2013.6696520"},{"key":"ref10","first-page":"32","article-title":"Pilot activities: LEGO WeDo at primary school","author":"mayerov\u00e1","year":"2012","journal-title":"International workshop Teaching robotics teaching with robotics"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2013.6630613"},{"journal-title":"Advanced Compiler Design Implementation","year":"1997","author":"muchnick","key":"ref40"},{"key":"ref12","first-page":"32","article-title":"Comparison of educational environments for robots programming","volume":"3","author":"mordvinov","year":"2016","journal-title":"Computer aided tools in education"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1013208.1013209"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/WVL.1991.238853"},{"journal-title":"Mastering SIMULINK","year":"2004","author":"dabney","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/M-RA.2007.905745"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1002\/cae.20334"},{"key":"ref18","first-page":"94","article-title":"A LabVIEW-based, interactive virtual laboratory for electronic engineering education","volume":"21","author":"yi","year":"2005","journal-title":"International Journal of Engineering Education"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1002\/j.2168-9830.1997.tb00280.x"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4302-2977-3"},{"key":"ref3","first-page":"181","article-title":"Lego engineer and robolab: Teaching engineering with labview from kindergarten to graduate school","volume":"16","author":"erwin","year":"2000","journal-title":"International Journal of Engineering Education"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1592761.1592779"},{"journal-title":"The LEGO MINDSTORMS NXT 2 0 Discovery Book A Beginner's Guide to Building and Programming Robots","year":"2014","author":"valk","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ISM.2014.24"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1953163.1953329"},{"key":"ref49","first-page":"5","article-title":"ROS: an open-source Robot Operating System","volume":"3","author":"quigley","year":"2009","journal-title":"ICRA Workshop on Open Source Software"},{"key":"ref9","article-title":"Incorporating the fischertechnik bricks into undergraduate mechatronics courses","author":"chang","year":"2006","journal-title":"EE 2006 International Conference on Innovation Good Practice and Research in Engineering Education"},{"key":"ref46","volume":"16","author":"dmitriev","year":"2013","journal-title":"Adaptation of combined space-temporal logics for machine learning systems"},{"key":"ref45","volume":"2010","author":"bugaichenko","year":"2007","journal-title":"Development of formal methods for self-tuning multiagent systems with timing limitations"},{"key":"ref48","first-page":"38","article-title":"QReal-web: a web-based tool for teaching robots programming","author":"zakharov","year":"2016","journal-title":"Proceedings of IV Russian conference “Modern technological education from a computer to a robot”"},{"key":"ref47","first-page":"176","article-title":"Testing robots programming environment","author":"mordvinov","year":"2015","journal-title":"Proceedings of International conference “Tools and methods of program analysis”"},{"key":"ref42","first-page":"53","article-title":"Code generation for metamodeling “on the fly“mode in QReal DSM platform","author":"tikhonova","year":"2015","journal-title":"Proceedings of student conference “Modern technologies in theory and practice of programming”"},{"key":"ref41","article-title":"Structural analysis in decompilation","author":"derevenets","year":"2009","journal-title":"Computing in Applied Science"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2007.363946"},{"key":"ref43","first-page":"84","article-title":"Review of formal methods application in robotics","volume":"2016","author":"mordvinov","year":"2016","journal-title":"Scientific bulletin of SPbSPU Computer science Telecommunications Control theory"}],"event":{"name":"2017 20th Conference of Open Innovations Association (FRUCT)","start":{"date-parts":[[2017,4,3]]},"location":"St. Petersburg, Russia","end":{"date-parts":[[2017,4,7]]}},"container-title":["2017 20th Conference of Open Innovations Association (FRUCT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8053875\/8071282\/08071326.pdf?arnumber=8071326","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,11]],"date-time":"2021-11-11T00:18:45Z","timestamp":1636589925000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8071326\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,4]]},"references-count":49,"URL":"https:\/\/doi.org\/10.23919\/fruct.2017.8071326","relation":{},"subject":[],"published":{"date-parts":[[2017,4]]}}}