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
• Books
• Behavior Ontology, Moonkun Lee, Eohwa Pulications, 2013.
• Process Algebra, Moonkun Lee, Eohwa Pulications, 2015. 
• Formal Methods, Moonkun Lee, Chonbuk National Univeristy Press, 2017.

Challenge

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