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
Computer Program Decomposition and Dynamic/Behavioral Modeling
Vol. 20 No. 8 pp. 152-163
Programming computer program decomposition parallel execution conceptual model diagrammatic representation
Underpinning Theories of Software Engineering: Dynamism in Physical Sources of the Shannon?Weaver Communication Model
Vol. 20 No. 9 pp. 120-131
Conceptual modeling; mathematical modeling, information; system decomposition; diagrammatic representation.
Towards Conceptual Modeling Semantics: Eventizing Tarski¡¯s Truth Schema
Vol. 20 No. 10 pp. 223-233
Conceptual modeling, modeling language, diagrammatic representation, formal semantics, UML semantics, T-schema