The SE Research Group
The Software Engineering Research Group is one of research groups within the Computer Science Department. The Group focuses on fundamental and applied research in state-of-the-art software engineering methodologies and techniques, with a strong emphasis on practical training and skill transfer. Research in software engineering supplements teaching performed by the Software Engineering Subject Group.
Projects
The following is a list of recent research projects that are performed by members of the Software Engineering Research Group. Please refer to individual team member's web site for more information and project details.
- Research on applying object-oriented iterative development methodologies to the design and development of advanced large-scale mission critical Artificial Intelligence (AI) applications. (Dr. Chun)
- Research on how AI techniques, such as constraints and rules, can be applied to object-oriented design process to help enforce design rules as well as ensure design consistency. (Dr. Chun)
- Research in the refinement of multiple OO models to develop a systematic model refinement approach to smooth the transition from UML design to implementation. This includes deriving model refinement techniques to formalize, verify and translate selected first-cut UML models to become more precise, consistent and are programming language-directed, and developing a software tool that automates the process. (Dr. Chow)
- Research on practical software engineering issues with the design and development of Web-based school administrative and e-learning applications to fit the special needs of local primary/secondary schools. (Dr. Kwok)
- Research on improving the cost-effectiveness of existing software testing strategies, extend the theoretical foundations of previous work, and enhance the strategies to handle informal specifications. A prototype system will be built to demonstrate the practicality and merits of the proposed strategies. (Dr. Yu)
- Research to improve the efficiency of the MUMCUT testing strategy that detects single faults in Boolean expressions but uses substantially fewer test cases than those required by existing strategies. This project seeks to improve MUMCUT by further eliminating unnecessary test cases and to characterize its ability to detect double faults. (Dr. Yu)
- Research in developing a methodology for test case design that incorporates both the black-box (specification) and white-box (source code) approaches. This new methodology uses white-box information for selecting black-box generated test cases. He plans to automate the approach to further reduce resource needs for software testing. (Dr. Yu)
- Investigation into the practical issues and problems when classification-tree methodology is put into use in various phases of software development by practicing software developers who are less knowledgeable in the methodology. Classification-tree methodology is based on specification and can be applied not only to the planning of testing activities and resources, but also in other quality assurance activities. (Dr. Yu)
Last modified:
Copyright © 1994-2009, Dr. Andy Chun, Hon Wai, All Rights Reserved. Privacy Statement
