Software Engineering Department

Get Started. It's Free
or sign up with your email address
Rocket clouds
Software Engineering Department by Mind Map: Software Engineering Department

1. Teaching

1.1. Software Engineering

1.2. Object-oriented Analysis and Design

1.3. Formal Methods

1.4. Testing and Quality Assurance

1.5. Object-Oriented Programming

1.6. Programming Methodology

1.7. User Interface Design

1.8. Modeling Languages

1.9. Software Project Management

1.10. Software Architecture

1.11. Service Oriented Architecture

1.12. Embedded Software Engineering

2. Reseach

2.1. Design

2.1.1. Software Architecture

2.1.1.1. Mobile Agents (hanv)

2.1.1.1.1. Agent-based software architecture (hanv)

2.1.1.2. Service-Oriented Architecture(hoangta, hieuvd, thuantn)

2.1.1.3. Cloud Computing (hoangta, hieuvd)

2.1.2. Model Driven Development

2.1.2.1. Scenario Synchronization (hanhdd)

2.1.2.2. Model Transformation (hanhdd)

2.1.2.3. Domain-Specific Modeling (hanhdd)

2.1.2.4. Model Composition (hanhdd)

2.1.3. Design Patterns (hanv,vyvn)

2.2. Specification

2.2.1. UML (thuantn, hanhdd)

2.2.2. Graph Transformation (hanhdd)

2.2.3. OCL & Metamodels (hanhdd, thuantn, hanv)

2.2.4. B-method (thuantn)

2.2.5. Real-time & Embedded (binhnn)

2.2.5.1. Optimization algorithms (nnbinh)

2.2.5.2. Hardware/Software Co-design (nnbinh)

2.2.5.3. Realtime Relational Interface (dvh, hoangta, hanhdd, hungpn)

2.3. Verification

2.3.1. Runtime checking

2.3.1.1. Interface Protocols (hanv, dvh, hoangta)

2.3.1.2. OCL (thuantn, hanv, hanhdd)

2.3.2. Model Checking

2.3.2.1. Modular Model Checking (hungpn)

2.3.2.2. Linear Temporal Logics (hoangta, dvh)

2.3.3. Security (hieuvd, thuantn)

2.3.4. Theorem Proving

2.3.4.1. CafeOBJ, Maude (hungpn, hanv)

2.3.4.2. B-Method (thuantn, dvh)

2.4. Testing

2.4.1. Regression Testing (hungpn)

2.4.2. Conformance Testing (hungpn)

2.4.3. Test Case Generation

2.4.3.1. Floating-point to Fixed-point conversion testing (hoangta)

2.4.4. Model-based testing (hanv)

2.5. Programming languages

2.5.1. Type Sytems (hoangta)

2.5.2. Analyses

2.5.2.1. Fixpoint Calculator (hoangta)

2.5.2.2. Resource Usage (hoangta)

2.5.3. Graph Transformation (hanhdd)

2.5.4. Compiler

2.6. Development and Evolution

2.6.1. Runtime Upgrade (hoangta)

2.6.2. Refinement (dvh, hungpn)

2.6.3. Model Transformation (hanhdd)

2.6.4. Mobile application (chauttm)

2.7. Metrics

2.7.1. CBR Project Cost Estimation (hanv, hanhdd)

2.7.2. Floating Point to Fixed-point Quality (hoangta)

3. Faculties

3.1. Doctor

3.1.1. Nguyen Ngoc Binh, Rector, PhD. from Japan

3.1.2. Tran Thi Minh Chau, PhD. from Germany

3.1.3. Nguyen Viet Ha, Vice Rector, PhD. from Japan

3.1.4. Dang Duc Hanh, PhD. from Germany

3.1.5. Vo Dinh Hieu, PhD. from Japan

3.1.6. Truong Anh Hoang, Dept. Head, PhD. from Norway

3.1.7. Pham Ngoc Hung, PhD. from Japan

3.1.8. Dang Van Hung, Senior Researcher, PhD from Hungary

3.1.9. Truong Ninh Thuan, Vide Dean, PhD. from France

3.2. MSc./PhD. candidate

3.2.1. Pham Thi Kim Dung

3.2.2. Vu Quang Dung

3.2.3. Vu Dieu Huong

3.2.4. To Van Khanh

3.2.5. Nguyen Viet Tan

4. Collaboration

4.1. JAIST, Japan

4.2. NUS, Singapore

4.3. Mitani Sangyo, Japan

4.4. Uni-Bremen, Germany

4.5. IIST, UN Univ.

4.6. AIIT Univ., Japan

4.7. Panasonics, Vietnam

4.8. Univ. of Oslo, Norway

4.9. UNSW, Australia

4.10. Toshiba Research

4.11. Viettel

4.12. FPT Software

4.13. Tinh Van

4.14. Former faculties studying PhD. abroad

4.14.1. Nguyen Duc Anh, EU

4.14.2. Nguyen Thi Minh Anh, Austria

4.14.3. Ngo Xuan Bach, Japan

4.14.4. Nguyen Ngoc Bao, USA

4.14.5. Pham Tuan Hung, USA

4.14.6. Nguyen Thi Nhat Thanh, Italy

4.14.7. Ho Tat Thanh, UK

4.14.8. Vo Van Thanh, USA

4.14.9. Tran Thi Mai Thuong, Norway

5. History

5.1. Head

5.1.1. Nguyen Van Vy, Assoc. Prof. Dr., 2000-2005

5.1.2. Nguyen Viet Ha, Assoc. Prof. Dr. 2005-2009

5.1.3. Truong Anh Hoang, Dr. 2009-now

5.2. Software Engineering Lab

6. Contact: Address: E3-309, 144 Xuan Thuy, Hanoi Tel: (+84)(4)37549016 Web: http://www.coltech.vnu.edu.vn/cnpm/