{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:26:52Z","timestamp":1750307212735,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":12,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,3,8]],"date-time":"2012-03-08T00:00:00Z","timestamp":1331164800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,3,8]]},"DOI":"10.1145\/2160749.2160755","type":"proceedings-article","created":{"date-parts":[[2012,3,13]],"date-time":"2012-03-13T12:29:26Z","timestamp":1331641766000},"page":"23-27","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Educational framework for verification of object-oriented programs"],"prefix":"10.1145","author":[{"given":"Magdalina","family":"Todorova","sequence":"first","affiliation":[{"name":"Sofia University \"St. Kl. Ohridski\", James Bourchier, Sofia, Bulgaria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kamen","family":"Kanev","sequence":"additional","affiliation":[{"name":"Shizuoka University, Johoku, Naka-ku, Hamamatsu, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,3,8]]},"reference":[{"volume-title":"Prof","author":"Atanassov","key":"e_1_3_2_1_1_1","unstructured":"Atanassov , Kr. 2007. On Generalized Nets Theory , Prof . Marin Drinov Academic Publishing House , Sofia . Atanassov, Kr. 2007. On Generalized Nets Theory, Prof. Marin Drinov Academic Publishing House, Sofia."},{"volume-title":"World Scientific","author":"Atanassov","key":"e_1_3_2_1_2_1","unstructured":"Atanassov , Kr. 1991. Generalized Nets , World Scientific , Singapore . Atanassov, Kr. 1991. Generalized Nets, World Scientific, Singapore."},{"issue":"4","key":"e_1_3_2_1_3_1","first-page":"22","article-title":"Algorithms for Tokens Transfer in the Different Types of Intuitionistic Fuzzy Generalized Nets","volume":"10","author":"Atanassov K.","year":"2010","unstructured":"Atanassov , K. , Dimitrov , D. G. and Atanassova , V. 2010 . Algorithms for Tokens Transfer in the Different Types of Intuitionistic Fuzzy Generalized Nets . Cybernetics and Information Technologies , 10 ( 4 ), 22 -- 35 . Atanassov, K., Dimitrov, D. G. and Atanassova, V. 2010. Algorithms for Tokens Transfer in the Different Types of Intuitionistic Fuzzy Generalized Nets. Cybernetics and Information Technologies, 10(4), 22--35.","journal-title":"Cybernetics and Information Technologies"},{"key":"e_1_3_2_1_4_1","unstructured":"Cassel L. Clemens A. Davis G. Guzdial M. McCauley R. McGettrick A. Sloan B. Snyder L. Tymann P. and Weide B. W. 2008. Computer Science Curriculum 2008: An Interim Revision of CS 2001. Report from the Interim Review Task Force (December 2008). ACM and IEEE Computer Society. DOI= http:\/\/www.acm.org\/education\/curricula\/ComputerScience2008.pdf  Cassel L. Clemens A. Davis G. Guzdial M. McCauley R. McGettrick A. Sloan B. Snyder L. Tymann P. and Weide B. W. 2008. Computer Science Curriculum 2008: An Interim Revision of CS 2001 . Report from the Interim Review Task Force (December 2008). ACM and IEEE Computer Society. DOI= http:\/\/www.acm.org\/education\/curricula\/ComputerScience2008.pdf"},{"key":"e_1_3_2_1_5_1","first-page":"51","article-title":"A Graphical Environment for Modeling and Simulation with Generalized Nets, Annual of \"Informatics","volume":"3","author":"Dimitrov D. G.","year":"2010","unstructured":"Dimitrov , D. G. 2010 . A Graphical Environment for Modeling and Simulation with Generalized Nets, Annual of \"Informatics \" Section of the Union of Scientists in Bulgaria , vol. 3 , 51 -- 66 . Dimitrov, D. G. 2010. A Graphical Environment for Modeling and Simulation with Generalized Nets, Annual of \"Informatics\" Section of the Union of Scientists in Bulgaria, vol. 3, 51--66.","journal-title":"Section of the Union of Scientists in Bulgaria"},{"key":"e_1_3_2_1_6_1","first-page":"37","article-title":"Software Products Implementing Generalized Nets, Annual of \"Informatics","volume":"3","author":"Dimitrov D. G.","year":"2010","unstructured":"Dimitrov , D. G. 2010 . Software Products Implementing Generalized Nets, Annual of \"Informatics \" Section of the Union of Scientists in Bulgaria , vol. 3 , 37 -- 50 . Dimitrov, D. G. 2010. Software Products Implementing Generalized Nets, Annual of \"Informatics\" Section of the Union of Scientists in Bulgaria, vol. 3, 37--50.","journal-title":"Section of the Union of Scientists in Bulgaria"},{"key":"e_1_3_2_1_7_1","first-page":"63","article-title":"Optimized Algorithm for Tokens Transfer in Generalized Nets. Recent Advances in Fuzzy Sets, Intuitionistic Fuzzy Sets","volume":"1","author":"Dimitrov D. G.","year":"2010","unstructured":"Dimitrov , D. G. 2010 . Optimized Algorithm for Tokens Transfer in Generalized Nets. Recent Advances in Fuzzy Sets, Intuitionistic Fuzzy Sets , Generalized Nets and Related Topics , vol. 1 , 63 -- 68 . Dimitrov, D. G. 2010. Optimized Algorithm for Tokens Transfer in Generalized Nets. Recent Advances in Fuzzy Sets, Intuitionistic Fuzzy Sets, Generalized Nets and Related Topics, vol. 1, 63--68.","journal-title":"Generalized Nets and Related Topics"},{"key":"e_1_3_2_1_8_1","volume-title":"Proceedings of the Joint Seminar of CTP, IIT-BAS and IMI-BAS \"Modeling and Control of Information Processes\"","author":"Gocheva P.","year":"2010","unstructured":"Gocheva , P. , and Gochev , V . 2010. From Petri Nets to Generalized Nets . In Proceedings of the Joint Seminar of CTP, IIT-BAS and IMI-BAS \"Modeling and Control of Information Processes\" ( Sofia, Bulgaria , 2010 ), 21--32. Gocheva, P., and Gochev, V. 2010. From Petri Nets to Generalized Nets. In Proceedings of the Joint Seminar of CTP, IIT-BAS and IMI-BAS \"Modeling and Control of Information Processes\" (Sofia, Bulgaria, 2010), 21--32."},{"key":"e_1_3_2_1_9_1","first-page":"1","article-title":"Construction of Correct Object-Oriented Programs via Building there Generalized Nets Models, Annual of \"Informatics","volume":"4","author":"Todorova M.","year":"2011","unstructured":"Todorova , M. 2011 . Construction of Correct Object-Oriented Programs via Building there Generalized Nets Models, Annual of \"Informatics \", Section of the Union of Scientists in Bulgaria , vol. 4 , 1 -- 28 . Todorova, M. 2011. Construction of Correct Object-Oriented Programs via Building there Generalized Nets Models, Annual of \"Informatics\", Section of the Union of Scientists in Bulgaria, vol. 4, 1--28.","journal-title":"Section of the Union of Scientists in Bulgaria"},{"key":"e_1_3_2_1_10_1","volume-title":"Proceedings of IWIFSGN'2011 Recent Developments in Fuzzy Sets, Intuitionistic Fuzzy Sets, Generalized Nets and Related Topics. Foundations and Applications","author":"Todorova M.","year":"2011","unstructured":"Todorova , M. 2011 . Model Checker of Object-Oriented Programs Based on Generalized Nets , In Proceedings of IWIFSGN'2011 Recent Developments in Fuzzy Sets, Intuitionistic Fuzzy Sets, Generalized Nets and Related Topics. Foundations and Applications ( Warsaw, Poland , September 30, 2011), 10--20. Todorova, M. 2011. Model Checker of Object-Oriented Programs Based on Generalized Nets, In Proceedings of IWIFSGN'2011 Recent Developments in Fuzzy Sets, Intuitionistic Fuzzy Sets, Generalized Nets and Related Topics. Foundations and Applications (Warsaw, Poland, September 30, 2011), 10--20."},{"key":"e_1_3_2_1_11_1","first-page":"71","article-title":"GNTicker -- A Software Tool for Efficient Interpretation of Generalized Net Models","volume":"3","author":"Trifonov T.","year":"2005","unstructured":"Trifonov T. , and Georgiev , K. 2005 . GNTicker -- A Software Tool for Efficient Interpretation of Generalized Net Models . Issues in Intuitionistic Fuzzy Sets and Generalized Nets , vol. 3 , 71 -- 78 . Trifonov T., and Georgiev, K. 2005. GNTicker -- A Software Tool for Efficient Interpretation of Generalized Net Models. Issues in Intuitionistic Fuzzy Sets and Generalized Nets, vol. 3, 71--78.","journal-title":"Issues in Intuitionistic Fuzzy Sets and Generalized Nets"},{"key":"e_1_3_2_1_12_1","first-page":"36","article-title":"Software for Modeling with Generalized Nets","volume":"6","author":"Trifonov T.","year":"2008","unstructured":"Trifonov T. , Georgiev , K. , and Atanassov , K. 2008 . Software for Modeling with Generalized Nets , Issues in Intuitionistic Fuzzy Sets and Generalized Nets , vol. 6 , 36 -- 42 . Trifonov T., Georgiev, K., and Atanassov, K. 2008. Software for Modeling with Generalized Nets, Issues in Intuitionistic Fuzzy Sets and Generalized Nets, vol. 6, 36--42.","journal-title":"Issues in Intuitionistic Fuzzy Sets and Generalized Nets"}],"event":{"name":"HCCE '12: The Joint International Conference on Human-Centered Computer Environments","sponsor":["Shizuoka University in Hamamatsu Shizuoka University in Hamamatsu","University of Aizu University of Aizu"],"location":"Aizu-Wakamatsu Japan","acronym":"HCCE '12"},"container-title":["Proceedings of the 2012 Joint International Conference on Human-Centered Computer Environments"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2160749.2160755","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2160749.2160755","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:06:40Z","timestamp":1750241200000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2160749.2160755"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,3,8]]},"references-count":12,"alternative-id":["10.1145\/2160749.2160755","10.1145\/2160749"],"URL":"https:\/\/doi.org\/10.1145\/2160749.2160755","relation":{},"subject":[],"published":{"date-parts":[[2012,3,8]]},"assertion":[{"value":"2012-03-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}