R&D/Business Log



• 2016
• 2017

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

• Papers/Projects (Yearly)
• Papers/Projects (Topics)
• Tools
• SRE and BOOK
• SAVE
• Prism
• Open Tools on ADOxx
• SAVE/ADOxx
• Prism/ADOxx
• SRE/ADOxx
• Boos

• 『

  Behavior Ontology

  』

  , Moonkun Lee, Eohwa Pulications, 2013.

• 『

   Process Algebra

  』

  , Moonkun Lee, Eohwa Pulications, 2015.

Challenge

• Incompleteness of Incompleteness
• Meta-Contradiction of Meta-ness
• Incomplete Logic
• Syntax≡Semantics