{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T06:18:28Z","timestamp":1729664308546,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,9]]},"DOI":"10.1109\/is.2012.6335207","type":"proceedings-article","created":{"date-parts":[[2012,10,24]],"date-time":"2012-10-24T16:32:39Z","timestamp":1351096359000},"page":"153-158","source":"Crossref","is-referenced-by-count":1,"title":["Methodological aspects of an approach for verification of object-oriented programs"],"prefix":"10.1109","author":[{"given":"Magdalina","family":"Todorova","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-5983-1"},{"year":"0","key":"22"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1142\/1357"},{"key":"23","first-page":"309","article-title":"Model checker of object-oriented programs based on generalized nets","author":"todorova","year":"2011","journal-title":"Proceedings of IWIFSGN'2011 Recent Developments in Fuzzy Sets Intuitionistic Fuzzy Sets Generalized Nets and Related Topics"},{"journal-title":"Object-Oriented Software Construction","year":"1997","author":"meyer","key":"18"},{"key":"15","first-page":"1","article-title":"Construction of correct object-oriented programs via building there generalized nets models","volume":"4","author":"todorova","year":"0","journal-title":"Annual of \"informatics\" Section of the Union of Scientists in Bulgaria"},{"journal-title":"On Generalized Nets Theory","year":"2007","author":"atanassov","key":"16"},{"key":"13","doi-asserted-by":"crossref","first-page":"159","DOI":"10.15388\/infedu.2008.10","article-title":"Object-Oriented programming in bulgarian universities' informatics and computer science curricula","volume":"7","author":"donchev","year":"2008","journal-title":"Informatics in Education"},{"key":"14","first-page":"429","article-title":"Automated tools for assisting the educational process in informatics","author":"semerdzhiev","year":"2011","journal-title":"International Conference on Application of Information and Communication Technology in Economy and Education ICAICTEE-2011"},{"key":"11","first-page":"106","article-title":"Operations with Objects and Communication between Objects in Teaching Object-oriented Programming","author":"donchev","year":"2008","journal-title":"Proceedings of the Sixth International Conference \"internet- Education-Science\" Vinnytsia Ukraine"},{"key":"12","first-page":"110","article-title":"Polymorphism in object-oriented programming course-didactic aspects","author":"donchev","year":"2008","journal-title":"Proceedings of the Sixth International Conference \"internet- Education-Science"},{"year":"0","key":"21"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/QUATIC.2010.54"},{"year":"0","key":"20"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/SYNASC.2010.45"},{"key":"1","first-page":"437","article-title":"Testing software based on design by contract","volume":"2","author":"berberova","year":"2008","journal-title":"4th Int Bulgarian-Greek Conference-Computer Science'2008 Kavala Greece"},{"year":"0","key":"10"},{"key":"7","first-page":"8","article-title":"Hierarchical modeling of parallel systems with extended timed nets","author":"bonchev","year":"1991","journal-title":"Petri Nets Newsletter Journal ISSN 0931-1084 Bonn No 40"},{"key":"6","first-page":"307","article-title":"Modeling and analyzing of concurrent systems with ETN","author":"bonchev","year":"1991","journal-title":"Proc of WP&DP ISBN 0 444 89157 9 Sofia"},{"key":"5","first-page":"180","article-title":"Formal semantic of WS-BPEL","author":"dimitrov","year":"2011","journal-title":"Fifth International Conference on Information Systems & Grid Technologies"},{"key":"4","first-page":"164","article-title":"Toward semantic specification of WS-BPEL","author":"dimitrov","year":"2010","journal-title":"Fourth International Conference on Information Systems & Grid Technologies"},{"year":"0","key":"9"},{"year":"0","key":"8"}],"event":{"name":"2012 6th IEEE International Conference Intelligent Systems (IS)","start":{"date-parts":[[2012,9,6]]},"location":"Sofia, Bulgaria","end":{"date-parts":[[2012,9,8]]}},"container-title":["2012 6th IEEE INTERNATIONAL CONFERENCE INTELLIGENT SYSTEMS"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6320720\/6335103\/06335207.pdf?arnumber=6335207","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,30]],"date-time":"2022-01-30T09:11:39Z","timestamp":1643533899000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6335207\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/is.2012.6335207","relation":{},"subject":[],"published":{"date-parts":[[2012,9]]}}}