Work

Towards formal modeling and verification of UML class diagrams using first-order logic and resolution

Year: 2025

Type: conference-paper

Source: IET conference proceedings.

DOI: 10.1049/icp.2025.0231

Authors: Aditya Bagoes Saputra, Thomas Anung Basuki, Jimmy Tirtawangsa

Institutions: Universitas YPPI Rembang, Telkom University, Heriot-Watt University Malaysia

Language: English

Topic: Model-Driven Software Engineering Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4408156952

FWCI:

Cites:

Cited by:

Related to: 10