Software Engineering

Software engineering is the branch of computer science that deals with the analysis, design, development and testing of software applications. In our research group, the formal specification group will be focusing on formal development techniques based on mathematical language to describe software specification  problem in order to eliminate misunderstanding, inconsistency, and specification gaps. Other than that, this research group also working on natural language and research into natural language processing to improve requirement gathering. The research group focusses on designing and developing software solutions in the form of software architecture. In addition, the testing group is involved in the process of evaluating the quality of software product in order to improve software defects through the verification and validation  process.