ABSTRACT
This article presents an educational framework, designed to support knowledge acquisition and skills development pertinent to program validation and in particular to formal methods for verification of object-oriented programs. The framework is intended to span from undergraduate classes, for junior and sophomore students, up to advanced classes, for graduate students. It supports distinct levels of access targeting: i) beginner, ii) intermediate, and iii) advanced users. Background knowledge and preliminarily acquired skills, associated with each access level, are well defined and reflected into the interaction interface that the framework presents to the user. For completeness, a reference description of the formal program verification method employed in the framework is included in the text, along with the underlying mathematical means supporting the method.
- Atanassov, Kr. 2007. On Generalized Nets Theory, Prof. Marin Drinov Academic Publishing House, Sofia.Google Scholar
- Atanassov, Kr. 1991. Generalized Nets, World Scientific, Singapore. Google ScholarDigital Library
- 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.Google Scholar
- 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.pdfGoogle Scholar
- 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.Google Scholar
- Dimitrov, D. G. 2010. Software Products Implementing Generalized Nets, Annual of "Informatics" Section of the Union of Scientists in Bulgaria, vol. 3, 37--50.Google Scholar
- 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.Google Scholar
- 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.Google Scholar
- 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.Google Scholar
- 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.Google Scholar
- 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.Google Scholar
- 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.Google Scholar
Index Terms
- Educational framework for verification of object-oriented programs
Recommendations
Exploiting PSL standard assertions in a theorem-proving-based verification environment
GLSVLSI '05: Proceedings of the 15th ACM Great Lakes symposium on VLSIAssertion-based design is becoming more widely used in industry. However, little has been done to take advantage of existing design assertions in the theorem-proving verification environments. In this paper, we present our work on development of the ...
Technology workshops by in-service teachers for pre-service teachers
SIGUCCS '01: Proceedings of the 29th annual ACM SIGUCCS conference on User servicesThis project was an initiative through university courses to have graduate in-service teachers, who have learned the use of technology for classroom instruction, offer workshops to undergraduate pre-service teachers. The goals of the project were two-...
What Is Object-Oriented Programming?
The meaning of the term 'object oriented' is examined in the context of the general-purpose programming language C++. This choice is made partly to introduce C++ and partly because C++ is one of the few languages that supports data abstraction, object-...
Comments