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/PMS,CMS,TMS
Publications/Projects
- Papers/Projects (Yearly)
- Papers/Projects (Topics)
- Tools
- SRE and BOOK
- SAVE
- Prism
- Open Tools on ADOxx
- Books
Challenge
- Incompleteness of Incompleteness
- Meta-Contradiction of Meta-ness
- Incomplete Logic
- Syntax≡Semantics