麻豆区

Software engineering

麻豆区

Automated software analysis and testing

Leveraging static and dynamic program analysis techniques to automate the quality assurance for software; automated bug detection; automated test generation; software security and vulnerability detection.

Cyber-physical systems

Runtime monitoring; design space exploration; formal assurance of dependability, safety and resilience; certification; self-adaptive smart systems.

Internet-scale software

Resource management in cloud computing; inter-cloud frameworks and management; software architectures for Internet-of-things; security and trust in Internet-of-things.

Mining software repositories

Mining the historical data that is produced during the development of software systems to yield actionable insights; data mining; statistical regression analysis; machine learning.

Model-driven engineering

Modeling languages; concerns, aspects, viewpoints; advanced separation of concerns; model queries and transformations; code generators; model-based analysis; model-based reuse; model management; concern-driven development.

Requirements engineering

Elicitation, specification, analysis and validation of requirements; model-driven requirements engineering; goal-oriented modeling; requirements reuse; User Requirements Notation (URN).

Variability management and modeling

Representing and managing large set of similar software artifacts; systematic software reuse; mass customization; variability models; software product line engineering; configuration management; navigating space of decisions.

Software engineering group members Topics
Variability management and modeling; Mining software repositories

Internet-scale software

Model-driven engineering; requirements engineering

Lili Wei Automated software analysis and testing; Empirical software engineering; Mining code repositories.

D谩niel Varr贸听(Adjunct Professor)

Cyber-physical systems; model-driven engineering

Back to top