Journal of Software Engineering and Applications

ISSN Print: 1945-3116    ISSN Online: 1945-3124

Call For Papers

    Special Issue on Formal Methods


    In computer science, formal methods are a particular kind of mathematically based techniques for the specification, development and verification of software and hardware systems. The use of formal methods for software and hardware design is motivated by the expectation that, as in other engineering disciplines, performing appropriate mathematical analysis can contribute to the reliability and robustness of a design. Formal methods are best described as the application of a fairly broad variety of theoretical computer science fundamentals, in particular logic calculi, formal languages, automata theory, discrete event dynamic system and program semantics, but also type systems and algebraic data types to problems in software and hardware specification and verification.


    In this special issue, we intend to invite front-line researchers and authors to submit original research and review articles on formal methods. Potential topics include, but are not limited to:

    • Formal specification and verification
    • Formal techniques in robustness check
    • Formal description of logic
    • Formal languages and automata theory
    • Formal methods in concurrent software
    • Specification and description language
    • Formal semantic analysis
    • Model checkers

    Authors should read over the journal’s For Authors carefully before submission. Prospective authors should submit an electronic copy of their complete manuscript through the journal’s Paper Submission System.


    Please kindly notice that the “Special Issue” under your manuscript title is supposed to be specified and the research field “Special Issue – Formal Methods” should be chosen during your submission.


    According to the following timetable:


    Submission Deadline

    July 3rd, 2018

    Publication Date

    September 2018


    JSEA Editorial Office

    jsea@scirp.org