Mathematical Methods Applied in Software Engineering
A special issue of Mathematics (ISSN 2227-7390). This special issue belongs to the section "E1: Mathematics and Computer Science".
Deadline for manuscript submissions: 15 May 2026 | Viewed by 41
Special Issue Editors
Interests: machine learning and cognitive computing; artificial intelligence and applications; computer technology; software engineering AI; network and information security; big data technology and engineering
Special Issue Information
Dear Colleagues,
Software engineering is a rapidly evolving field that demands rigorous methods to ensure the reliability, correctness, and efficiency of software systems. In this context, mathematical methods play a vital role by providing formal foundations, methodologies, and tools for modeling, specification, verification, and optimization of software and its development processes.
This Special Issue aims to highlight the significance of mathematical approaches in addressing the increasing complexity of modern software systems. Potential topics of interest include, but are not limited to, formal methods, logic-based reasoning, algebraic and categorical models, graph theory applications, model checking, and probabilistic methods in software reliability, prediction, and explanation.
By promoting the integration of mathematics into software engineering practices, this Special Issue provides a platform for interdisciplinary research that bridges theory and practice. We invite contributions that demonstrate how mathematical rigor can lead to more robust, maintainable, and verifiable software systems, and how these methods can be effectively applied in real-world software development challenges.
Dr. Yingjun Zhang
Dr. Liyan Song
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
- formal methods
- software prediction
- software verification
- mathematical modeling
- model checking
- logic in software engineering
Benefits of Publishing in a Special Issue
- Ease of navigation: Grouping papers by topic helps scholars navigate broad scope journals more efficiently.
- Greater discoverability: Special Issues support the reach and impact of scientific research. Articles in Special Issues are more discoverable and cited more frequently.
- Expansion of research network: Special Issues facilitate connections among authors, fostering scientific collaborations.
- External promotion: Articles in Special Issues are often promoted through the journal's social media, increasing their visibility.
- Reprint: MDPI Books provides the opportunity to republish successful Special Issues in book format, both online and in print.
Further information on MDPI's Special Issue policies can be found here.
