Contemporary Modeling and Visualizing of Formal Methods in Computer Science
A special issue of Mathematics (ISSN 2227-7390). This special issue belongs to the section "Computational and Applied Mathematics".
Deadline for manuscript submissions: closed (31 July 2021) | Viewed by 593
Special Issue Editors
Interests: semantics of programming languages; software engineering; formal methods in software engineering
Interests: formal verification; model checking; automata theory; probabilistic models; applied probability
Special Issues, Collections and Topics in MDPI journals
Interests: security protocols; system verifications; formal methods in software engineering
Special Issues, Collections and Topics in MDPI journals
Special Issue Information
Dear Colleagues,
Distant education has undergone some development and has a strong position in the current system of education in various types of schools, especially universities. In the current situation, when the world is in the Covid-19 pandemic (in 2020), many ordinary work activities are being moved to the online environment, not excluding education. The educational process requires student-teacher interaction. However, in the time of online education, this possibility is significantly absent. Distant education using modern technologies is proving to be a substitute.
Now the online (distant) teaching in the time of the world pandemic is very actual and possibly the one method for providing the full lectures. Educators face a great challenge, as in teaching online, without contact with students, to clearly explain various topics. One of the suitable forms seemed to be the visualization and animation of formal methods and algorithms using educational software.
This Special Issue will accept high-quality papers with original research results in theoretical research, and recent progress in the study of applied problems in science and technology.
Dr. William Steingartner
Dr. Olga Siedlecka-Lamch
Dr. Sabina Szymoniak
Prof. Dr. Wolfgang Schreiner
Guest Editors
Manuscript Submission Information
Manuscripts should be submitted online at www.mdpi.com by registering and logging in to this website. Once you are registered, click here to go to the submission form. Manuscripts can be submitted until the deadline. All submissions that pass pre-check are peer-reviewed. Accepted papers will be published continuously in the journal (as soon as accepted) and will be listed together on the special issue website. Research articles, review articles as well as short communications are invited. For planned papers, a title and short abstract (about 100 words) can be sent to the Editorial Office for announcement on this website.
Submitted manuscripts should not have been published previously, nor be under consideration for publication elsewhere (except conference proceedings papers). All manuscripts are thoroughly refereed through a single-blind peer-review process. A guide for authors and other relevant information for submission of manuscripts is available on the Instructions for Authors page. Mathematics is an international peer-reviewed open access semimonthly journal published by MDPI.
Please visit the Instructions for Authors page before submitting a manuscript. The Article Processing Charge (APC) for publication in this open access journal is 2600 CHF (Swiss Francs). Submitted papers should be well formatted and use good English. Authors may use MDPI's English editing service prior to publication or during author revisions.
Keywords
- Mathematical modeling
- Formal methods
- Static visualization
- Animation
- Visualization techniques
- Solving of problems
