Language
한국어

Research

R&D/Business Log




Research Areas/Domains

 

  • Re-Engineering
  • Reverse-Engineering
  • Formal Methods
  • Real-Time Systems
  • CASE Tools
  • Ontology
  • Behavior Engieering
  • Meta-Modeling Tools
  • Modeling/Formal Method Tools: SAVE/ADOxx, PRISM/ADOxx, SRE/ADOxx
  • Business Process Engineering Method and Tool : ADONIS

 

 

Publications/Projects

 

  

 

Challenge

 

  • Incompleteness of Incompleteness
  • Meta-Contradiction of Meta-ness
  • Incomplete Logic
  • SyntaxSemantics

Joint Research

 


Global Research Center