today, the research team in seg has 9 faculty members, 3 post-doc and around 40 postgraduate students. our research areas mainly focus on software analysis, verification, testing, model driven engineering and all the related areas in the context of software engineering. more specifically, we are currently working on modeling and verification of cyber physical system, software trustworthiness measure and evaluation, verification of real-timed and hybrid system, runtime verification of software code, context-free pointer analysis, aspect-oriented modeling and testing, model based testing generation, model-driven architecture and transformation, service oriented computing and etc.
seg.nju.edu.cn是南京大学网站,该网站属于教育培训行业。网站已经通过工信部备案,备案号为: 苏ICP备10085945号。已开启GZIP压缩,用户主要来自中国,主要流量来自直接访问。。解析出来的IP有:202.119.32.33[中国江苏南京 教育网]。