Buchumschlag

Toward Conceptual Modeling for Propositional Logic: Propositions as Events

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Al-Fedaghi, Sabah
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Conceptual Modeling and Classification of Events
von: Al-Fedaghi, Sabah
Veröffentlicht: (2024)

Textual-Based vs. Thinging Machines Conceptual Modeling
von: Al-Fedaghi, Sabah
Veröffentlicht: (2025)

Carving Nature/Conceptual Models at Joints Using Thinging Machines
von: Al-Fedaghi, Sabah
Veröffentlicht: (2025)

Exploring Conceptual Modeling Metaphysics: Existence Containers, Leibniz's Monads and Avicenna's Essence
von: Al-Fedaghi, Sabah
Veröffentlicht: (2024)

Conceptual Entity-Relationship Model: Underneath the Simplicity and Staticity
von: Al-Fedaghi, Sabah
Veröffentlicht: (2025)

Preconceptual Modeling in Software Engineering: Metaphysics of Diagrammatic Representations
von: Al-Fedaghi, Sabah
Veröffentlicht: (2024)

Thinging Machines for Requirements Engineering: Superseding Flowchart-Based Modeling
von: Al-Fedaghi, Sabah
Veröffentlicht: (2025)

From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions
von: Alfageeh, Ali, et al.
Veröffentlicht: (2025)

Event-B Agent: Towards LLM Agent for Formal Model Synthesis and Repair
von: Wang, Hongshu, et al.
Veröffentlicht: (2026)

A Conceptual Model for the Analysis of Investigation Elements in Games
von: Marques, Pedro, et al.
Veröffentlicht: (2024)

Understanding Everything as Code: A Taxonomy and Conceptual Model
von: Wei, Haoran, et al.
Veröffentlicht: (2025)

Logic Mining from Process Logs: Towards Automated Specification and Verification
von: Klimek, Radoslaw, et al.
Veröffentlicht: (2025)

A Conceptual Framework for Requirements Engineering of Pretrained-Model-Enabled Systems
von: Jin, Dongming, et al.
Veröffentlicht: (2025)

Extracting Conceptual Knowledge to Locate Software Issues
von: Wang, Ying, et al.
Veröffentlicht: (2025)

Folklore in Software Engineering: A Definition and Conceptual Foundations
von: Enoiu, Eduard, et al.
Veröffentlicht: (2026)

Barriers to Adopting Design for Assembly in Modular Product Architecture: Development of a Conceptual Model Through Content Analysis
von: Monetti, Fabio Marco, et al.
Veröffentlicht: (2024)

Vision to Specification: Automating the Transition from Conceptual Features to Functional Requirements
von: Lian, Xiaoli, et al.
Veröffentlicht: (2025)

Automated Control Logic Test Case Generation using Large Language Models
von: Koziolek, Heiko, et al.
Veröffentlicht: (2024)

A Fuzzy Logic-Based Quality Model For Identifying Microservices With Low Maintainability
von: Yilmaz, Rahime, et al.
Veröffentlicht: (2024)

"TODO: Fix the Mess Gemini Created": Towards Understanding GenAI-Induced Self-Admitted Technical Debt
von: Mujahid, Abdullah Al, et al.
Veröffentlicht: (2026)

Structure- and Event-Driven Frameworks for State Machine Modeling with Large Language Models
von: Abdulkarim, Samer, et al.
Veröffentlicht: (2026)

OSM: Leveraging Model Checking for Observing Dynamic 1 behaviors in Aspect-Oriented Applications
von: AlSobeh, Anas
Veröffentlicht: (2024)

Teaching Program Decomposition in CS1: A Conceptual Framework for Improved Code Quality
von: Haldeman, Georgiana, et al.
Veröffentlicht: (2024)

Parameterized Dynamic Logic -- Towards A Cyclic Logical Framework for General Program Specification and Verification
von: Zhang, Yuanrui
Veröffentlicht: (2024)

Computation Tree Logic Guided Program Repair
von: Liu, Yu, et al.
Veröffentlicht: (2025)

Re-evaluation of Logical Specification in Behavioural Verification
von: Klimek, Radoslaw, et al.
Veröffentlicht: (2025)

ChatGPT in Introductory Programming: Counterbalanced Evaluation of Code Quality, Conceptual Learning, and Student Perceptions
von: Andleeb, Shiza, et al.
Veröffentlicht: (2025)

Learning Hybrid Process Models From Events: Process Discovery Without Faking Confidence
von: van der Aalst, Wil M. P., et al.
Veröffentlicht: (2017)

BFL: a Logic to Reason about Fault Trees
von: Nicoletti, Stefano M., et al.
Veröffentlicht: (2022)

SEAL: Symbolic Execution with Separation Logic (Competition Contribution)
von: Brablec, Tomáš, et al.
Veröffentlicht: (2026)

Counterexample Classification against Signal Temporal Logic Specifications
von: Zhang, Zhenya, et al.
Veröffentlicht: (2026)

A Conceptual Model and Methodology for Sustainability-aware, IoT-enhanced Business Processes
von: Bosch, Victoria Torres, et al.
Veröffentlicht: (2025)

Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous Vehicle via Event-B Refinement
von: Kobayashi, Tsutomu, et al.
Veröffentlicht: (2024)

Identifying Root Causes of Null Pointer Exceptions with Logical Inferences
von: Kim, Jindae, et al.
Veröffentlicht: (2024)

Parallelized Code Generation from Simulink Models for Event-driven and Timer-driven ROS 2 Nodes
von: Obi, Kenshin, et al.
Veröffentlicht: (2025)

Diagnosis via Proofs of Unsatisfiability for First-Order Logic with Relational Objects
von: Feng, Nick, et al.
Veröffentlicht: (2024)

From Logic to Toolchains: An Empirical Study of Bugs in the TypeScript Ecosystem
von: Tang, TianYi, et al.
Veröffentlicht: (2026)

Conceptual Mutation Testing for Student Programming Misconceptions
von: Prasad, Siddhartha, et al.
Veröffentlicht: (2023)

Towards a Digital Twin Modeling Method for Container Terminal Port
von: Hakimi, Faouzi, et al.
Veröffentlicht: (2025)

Exploring Prompt Patterns in AI-Assisted Code Generation: Towards Faster and More Effective Developer-AI Collaboration
von: DiCuffa, Sophia, et al.
Veröffentlicht: (2025)