To search, Click below search items.

 

All Published Papers Search Service

Results for conceptual model; Total 35

Title

Modeling Physical/Digital Systems: Formal Event-B vs. Diagrammatic Thinging Machine

Author

Sabah Al-Fedaghi

Citation

Vol. 20  No. 4  pp. 208-220

Keywords

Event-B conceptual model thinging machine event diagrammatic representation


Title

Conceptual Modeling of Time for Computational Ontologies

Author

Sabah Al-Fedaghi

Citation

Vol. 20  No. 6  pp. 1-14

Keywords

Ontology computational ontology conceptual model SysML engineering requirements modeling time


Title

Changes, States, and Events: The Thread from Staticity to Dynamism in the Conceptual Modeling of Systems

Author

Sabah Al-Fedaghi

Citation

Vol. 20  No. 7  pp. 138-151

Keywords

Static changes conceptual model finite state machine requirements modeling static states events behavior specification


Title

Computer Program Decomposition and Dynamic/Behavioral Modeling

Author

Sabah Al-Fedaghi

Citation

Vol. 20  No. 8  pp. 152-163

Keywords

Programming computer program decomposition parallel execution conceptual model diagrammatic representation


[1] [2] [3] [4] [5] [6] [7] [8] [9]