RESEARCH

Introduction

Web & Web security

Internet_Security
  • Semantic web
  • Effective Access Control for Web Data
  • Vulnerability Analysis and Detection for HTML5
  • JavaScript and Hybrid Application

Formal Engineering Methods

Abstract_interpretation
  • Formal Specification, Validation, and Verification
  • Model checking, Theorem Proving
  • Ontology Reasoning, Constraint Solving

Requirement Engineering

GeneralRElogo
  • Requirement Analysis, Validation and Conflict Detection
  • Non-Functional Requirements Analysis and Prediction
  • Product Line and Software Product Line
  • Requirement Modeling with Extended Mind Map

Real-Time Software Engineering

realtime_construction_software
  • Real-Time Software and Process Modeling
  • Real-Time Software Specification and Verification
  • Real-Time Software Integration and Migration Control

Semi-structured Data

xml_icom
  • XML and XML DB, Visualization of XML-Schema
  • Ontology and RDF Store
  • Semistructured Data Integration and Migration
  • Optimization of X-Query
  • Consistency Verification for Semistructured Data Manipulation
  • Domain Specific Extension to XML & Data Translation from RDBMS to XML DBMS