To search, Click below search items.
All Published Papers Search Service
Title
Modeling Physical/Digital Systems: Formal Event-B vs. Diagrammatic Thinging Machine
Author
Sabah Al-Fedaghi
Vol. 20 No. 4 pp. 208-220
Keywords
Event-B conceptual model thinging machine event diagrammatic representation
Conceptual Modeling of Time for Computational Ontologies
Vol. 20 No. 6 pp. 1-14
Ontology computational ontology conceptual model SysML engineering requirements modeling time
Changes, States, and Events: The Thread from Staticity to Dynamism in the Conceptual Modeling of Systems
Vol. 20 No. 7 pp. 138-151
Static changes conceptual model finite state machine requirements modeling static states events behavior specification
Computer Program Decomposition and Dynamic/Behavioral Modeling
Vol. 20 No. 8 pp. 152-163
Programming computer program decomposition parallel execution conceptual model diagrammatic representation