Formal Methods in Software Engineering use mathematical techniques and tools to specify, design, and verify software sys...
Conducting academic research is hard. Whether it be searching for articles, reading through tons of papers or maybe writ...
If you are writing a research proposal, you’ll find the following tips helpful. ...
This article is not meant to be a complete guide for paper writing. It is just a cheat sheet for me to follow when I’m l...
In our final semester of university, we had a course called “Software Metrics.” Ths study of software metrics aims at me...
A brief introduction about DSSE, their research topics, and the conferences/journals they participate in.