For the audio browser usersMove to the content area日本語EnglishSign up

CHANG Han-Myung

Neighbors
Delete
Shin Nakajima05/13, updated
Delete
OHNISHI Atsushi08/08, updated
Delete
IIDA Shusaku11/03, updated
Delete
LIU Shaoying06/09, updated
Delete
Takeo Imai01/05, updated
Delete
KATAYAMA Tetsuro03/19, updated
 more..

CHANG Han-Myung

Last updated: 10/03/26 00:00
 
Avatar
Name
CHANG Han-Myung
URL
http://www.seto.nanzan-u.ac.jp/~chang/index-e.html
Affiliation
Nanzan University
Section
Faculty of Information Sciences and Engineering, Department of Software Engineering
Job title
Associate Professor
Degree
(BLANK)(Nara Institute of Science and Technology)

Research Areas

 
 

Academic Background

Plain Text 
 
 
 - 
1999
Graduate School, Division of Information Science, Nara Institute of Science and Technology
 
 
 - 
1989
Faculty of Engineering, Doshisha University
 

Misc

Plain Text 
 
Consistency Checking between Structured Diagrams based on Formal Methods
15(3) 2-16   1998
Specification Transformation Techniques to Support Modling for an Application System
Information Processing Society of Japan Transactions on Mathematical Modeling and Its Applications   40(SIG9(TOM2)) 18-29   1999

Research Projects (Competitive Research Funds)

Plain Text 
 
Formal Methods on Software Developments
Software Development Environments Based on Formal Methods