Runtime monitoring; design space exploration; formal assurance of dependability, safety and resilience; certification; self-adaptive smart systems.
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.
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.
Assembling, verifying, and delivering official releases of software systems from raw materials such as source code, documentation, configuration, and data files; build systems, release pipelines, continuous integration, deployment, and delivery.
Elicitation, specification, analysis and validation of requirements; model-driven requirements engineering; goal-oriented modeling; requirements reuse; User Requirements Notation (URN).
|Software engineering group members||Topics|
Model-driven engineering; requirements engineering
|Lili Wei||Software analysis and testing, empirical software engineering, mining code repositories.|
Dániel Varró (Adjunct Professor)
Cyber-physical systems; model-driven engineering