You cannot see this page without javascript.

Language
한국어

Research

R&D/Business Log



  • 2023 (...)
  • 2022 (...)
  • 2021 (...)
  • 2020 (Not to expect anything from anyone!)
  • 2019
  • 2018
  • 2017
  • 2016
  •  

 

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/PMS,CMS,TMS

 

 

Publications/Projects

 

  

Challenge

 

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

Joint Research

 

 

Global Research Center