Cover Image

B-OCL: An Object Constraint Language Interpreter in Python

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Haq, Fitash Ul, Cabot, Jordi
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Can Language Models Pass Software Testing Certification Exams? a case study
by: Haq, Fitash Ul, et al.
Published: (2026)

Building BESSER: an open-source low-code platform
by: Alfonso, Iván, et al.
Published: (2024)

Vibe Modeling: Challenges and Opportunities
by: Cabot, Jordi
Published: (2025)

Low-Modeling of Software Systems
by: Cabot, Jordi
Published: (2024)

Vibe-driven model-based engineering
by: Cabot, Jordi
Published: (2026)

From Image to UML: First Results of Image Based UML Diagram Generation Using LLMs
by: Conrardy, Aaron, et al.
Published: (2024)

PathOCL: Path-Based Prompt Augmentation for OCL Generation with GPT-4
by: Abukhalaf, Seif, et al.
Published: (2024)

Towards a DSL to Formalize Multimodal Requirements
by: Gomez-Vazquez, Marcos, et al.
Published: (2025)

Towards a unified user modeling language for engineering human centered AI systems
by: Conrardy, Aaron, et al.
Published: (2025)

User Modeling in Model-Driven Engineering: A Systematic Literature Review
by: Conrardy, Aaron, et al.
Published: (2024)

LangBiTe: A Platform for Testing Bias in Large Language Models
by: Morales, Sergio, et al.
Published: (2024)

AgentSLA : Towards a Service Level Agreement for AI Agents
by: Jouneaux, Gwendal, et al.
Published: (2025)

From OCL to JSX: declarative constraint modeling in modern SaaS tools
by: Bucchiarone, Antonio, et al.
Published: (2025)

Enabling Content Management Systems as an Information Source in Model-driven Projects
by: Giner-Miguelez, Joan, et al.
Published: (2025)

The Ripple Effect of Vulnerabilities in Maven Central: Prevalence, Propagation, and Mitigation Challenges
by: Haq, Ehtisham Ul, et al.
Published: (2025)

Low-code and no-code with BESSER to create and deploy smart web applications
by: Alfonso, Iván, et al.
Published: (2026)

Towards Modeling Human-Agentic Collaborative Workflows: A BPMN Extension
by: Ait, Adem, et al.
Published: (2024)

Efficient Test Data Generation for MC/DC with OCL and Search
by: Sartaj, Hassan, et al.
Published: (2024)

Towards Automated Governance: A DSL for Human-Agent Collaboration in Software Projects
by: Ait, Adem, et al.
Published: (2025)

On the Creation of Representative Samples of Software Repositories
by: Gorostidi, June, et al.
Published: (2024)

A Low-Code Approach for the Automatic Personalization of Conversational Agents
by: Conrardy, Aaron, et al.
Published: (2026)

A Model-based Chatbot Generation Approach to Converse with Open Data Sources
by: Ed-douibi, Hamza, et al.
Published: (2020)

Detecting Multi-Parameter Constraint Inconsistencies in Python Data Science Libraries
by: Xu, Xiufeng, et al.
Published: (2024)

Asset Administration Shell-Based OCL Validation Framework for Model-Based System Engineering
by: Parkash, Om, et al.
Published: (2026)

A Framework to Model ML Engineering Processes
by: Morales, Sergio, et al.
Published: (2024)

EMF-REST: Generation of RESTful APIs from Models
by: Ed-Douibi, Hamza, et al.
Published: (2015)

Towards the interoperability of low-code platforms
by: Alfonso, Iván, et al.
Published: (2024)

A Metascience Study of the Low-Code Scientific Field
by: Tosi, Mauro Dalle Lucca, et al.
Published: (2024)

Breaking the Dependency Chaos: A Constraint-Driven Python Dependency Resolution Strategy with Selective LLM Imputation
by: Chowdhury, Kowshik, et al.
Published: (2026)

Optimizing Retrieval Augmented Generation for Object Constraint Language
by: Li, Kevin Chenhao, et al.
Published: (2025)

Quality Assessment of Python Tests Generated by Large Language Models
by: Alves, Victor, et al.
Published: (2025)

Abstraction Engineering
by: Bencomo, Nelly, et al.
Published: (2024)

ESBMC-Python: A Bounded Model Checker for Python Programs
by: Farias, Bruno, et al.
Published: (2024)

An Empirical Study of Python Library Migration Using Large Language Models
by: Islam, Md Mohayeminul, et al.
Published: (2025)

Characterizing Python Library Migrations
by: Islam, Mohayeminul, et al.
Published: (2022)

An Empirical Study of Large Language Models for Type and Call Graph Analysis in Python and JavaScript
by: Venkatesh, Ashwin Prasad Shivarpatna, et al.
Published: (2024)

Refactoring to Pythonic Idioms: A Hybrid Knowledge-Driven Approach Leveraging Large Language Models
by: Zhang, Zejun, et al.
Published: (2024)

Precision or Peril: A PoC of Python Code Quality from Quantized Large Language Models
by: Melin, Eric L., et al.
Published: (2024)

An Empirical Study of Fault Localization in Python Programs
by: Rezaalipour, Mohammad, et al.
Published: (2023)

Hybrid Fault-Driven Mutation Testing for Python
by: Alimadadi, Saba, et al.
Published: (2026)