Journal Of Reliable Software Engineering (JRSE) is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.
The Journal of Reliable Software Engineering (JRSE) is one of the Media Publications at the Institute of Computer Science (IOCS). This journal focuses on the production of reliable and safe software, by applying formal methods in software engineering as a new branch of software engineering in Indonesia and International.
Research in this lab is very dependent on mathematical and logical background, as the main foundation in guaranteeing its quality. One of the milestones in the development of Formal Method is Djikstra's idea of programming by construction. One of the inspiring speeches that can also motivate people to learn about the formal method in software engineering is the turing award speech of "The Humble Programmer".
Aims and Scopes: