R&D/Business Log



• 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

 

• 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.
  • Multi-Paradigm Programming Languages, Chonbuk National Univeristy Press, 2021.

  

Challenge

 

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