Follow
Magdalina Todorova
Magdalina Todorova
Professor of Computer Science, Sofia University
Verified email at fmi.uni-sofia.bg
Title
Cited by
Cited by
Year
Introducing information security concepts and standards in higher education
D Orozova, K Kaloyanova, M Todorova
TEM Journal 8 (3), 1017, 2019
142019
Educational framework for verification of object-oriented programs
M Todorova, K Kanev
Proceedings of the 2012 Joint International Conference on Human-Centered …, 2012
132012
GN IDE: implementation, improvements and algorithms
N Angelova, M Todorova, K Atanassov
Comptes rendus de l'Académie bulgare des Sciences 69 (4), 411-421, 2016
122016
Construction of Correct Object-Orientated Programs via Building their Generalized Nets Models
M Todorova
Annual of “Informatics Section, Union of Scientists in Bulgaria 4, 1-28, 2011
122011
Innovative Experience In Undergraduate Education Of Software Professionals-Project-Based Learning In Data Structure And Programming
M Todorova, H Hristov, E Stefanova, N Nikolova, E Kovatcheva
ICERI2010 Proceedings, 5141-5150, 2010
112010
Generalized net model of the process of personalization and usage of an e-learning environment
D Orozova, K Atanassov, M Todorova
Proceedings of the Jangjeon Mathematical Society 19 (4), 615-624, 2016
102016
Generalized net model of sequential programs
M Todorova, D Orozova
2018 20th International Symposium on Electrical Apparatus and Technologies …, 2018
82018
Verification of procedural programs via building their generalized nets models
M Todorova
Union of Bulgarian Mathematicians, 2012
82012
Ontology concept in courses on students
D Orozova, M Todorova
TEM Journal 7 (3), 693, 2018
62018
Training Difficulties in Deductive Methods of Verification and Synthesis of Program
M Todorova, D Orozova
International Journal of Advanced Computer Science and Applications 9 (7), 2018
62018
How to follow modern trends in courses in “databases”-introduction of data mining techniques by example
D Orozova, M Todorova
INTED2017 Proceedings, 8186-8194, 2017
62017
How to Build up Contemporary Computer Science Specialists–Formal Methods of Verification and Synthesis of Programs in Introduction Courses on Programming
M Todorova, D Orozova
ICERI2016 Proceedings, 4249-4256, 2016
62016
How to Build Up Contemporary Software Professionals Project-Based Learning in Data Structure and Programming
M Todorova, H Hristov, E Stefanova, N Nikolova
Demetra EOOD, 2010
62010
Applying program verification methods in software specialists education
M Todorova
INTED2013 Proceedings, 6260-6270, 2013
52013
Methodological aspects of an approach for verification of object-oriented programs
M Todorova
2012 6th IEEE International Conference Intelligent Systems, 153-158, 2012
52012
Grid framework for e-learning services
M Todorova
Fourth International Conference Information Systems & Grid Technologies, 153-163, 2010
52010
Applying deductive verification to bachelor degree courses in programming
M Todorova, D Orozova
ICERI2017 Proceedings, 5055-5065, 2017
42017
The predicate transformer and its application in introduction to programming courses
M Todorova, D Orozova
Бургаски свободен университет, 8000 Бургас, бул." Сан Стефано"№ 62, 2015
42015
The Go Programming Language: Characteristics and Capabilities
M Todorova, M Nisheva-Pavlova, G Penchev, T Trifonov, P Armyanov, ...
Annual of “Informatics” Section Union of Scientists in Bulgaria 6, 76-85, 2013
42013
Implementation of an Approach for Verification of Procedural Programs.
MV Todorova
GSTF Journal on Computing 2 (2), 2012
42012
The system can't perform the operation now. Try again later.
Articles 1–20