Showing 1 - 20 of 445

1

Modeling OCL Collection Types and Type Casting using Constraint Programming
Coyle, Matthew ; Loudni, Samir ; Le Calvar, Théo ; et al.
2025 IEEE 37th International Conference on Tools with Artificial Intelligence (ICTAI). :1428-1435

Athène, Greece Object Constraint Langua... Constraint Programming Model Driven Engineering [INFO.INFO-AI]Computer S... Artificial Intelligence...
Conference
Save to List
2

Towards Enforcing Structural OCL Constraints using Constraint Programming
Coyle, Matthew ; Le Calvar, Théo ; Loudni, Samir ; et al.
SAC '25: 40th ACM/SIGAPP Symposium on Applied Computing. :1692-1701

Catania, Italy Object Constraint Langua... Object Constraint Langua... Constraint Programming Global Constraints [INFO]Computer Science [...
Conference
Save to List
3

Navigating the trace of executable domain specific languages through a trace domain query language.
Ajabri, Hiba ; Mottu, Jean-Marie ; Attiogbé, Christian ; et al.
The Journal of Object Technology. 24(2):1-15

Domain-Specific Language Model Execution Execution Trace Trace Query Language Object Constraint Langua... [INFO.INFO-SE]Computer S...
Journal
Save to List
4

A comparison of large language models and model-driven reverse engineering for reverse engineering
Siala, Hanan Abdulwahab ; Lano, Kevin
Frontiers in Computer Science, Vol 7 (2025)
Siala, H A & Lano, K 2025, 'A Comparison of Large Language Models and Model-Driven Reverse Engineering for Reverse Engineering', Frontiers in Computer Science, vol. 7, 1516410. https://doi.org/10.3389/fcomp.2025.1516410

reverse engineering Electronic computers. Co... program abstraction model-driven reverse eng... Program abstraction, Rev... LLMS
Academic journal
Save to List
5

PathOCL: Path-Based Prompt Augmentation for OCL Generation with GPT-4
Abukhalaf, Seif ; Hamdaqa, Mohammad ; Khomh, Foutse
Proceedings of the 2024 IEEE/ACM First International Conference on AI Foundation Models and Software Engineering. :108-118

FOS: Computer and inform... Prompt Engineering Retrieval Augmentation Computer Science - Artif... Large Language Models (L... 02 engineering and techn...
Academic journal
Save to List
6

Definitions and Computational Properties of OCL: A Systematic Review
Goran Rajić ; Vlado Sruk
IEEE Access, Vol 12, Pp 99704-99738 (2024)

specification systematic review MDA 0202 electrical engineer... object constraint langua... Computational properties
Academic journal
Save to List
7

On Codex Prompt Engineering for OCL Generation: An Empirical Study
Abukhalaf, Seif ; Hamdaqa, Mohammad ; Khomh, Foutse
2023 IEEE/ACM 20th International Conference on Mining Software Repositories (MSR). :148-157

Software Engineering (cs... FOS: Computer and inform... Codex Computer Science - Softw... Software Modeling Artificial Intelligence...
Academic journal
Save to List
8

Automatic Translation of OCL Meta-Level Constraints into Java Meta-Programs
Kallel, Sahar ; Tibermacine, Chouki ; Tramoni, Bastien ; et al.
SNPD 2015 - 16th IEEE/ACIS International Conference on Software Engineering. :213-226

Takamatsu, Japan Software Architecture Architecture Constraint Object Constraint Langua... Java Reflect ACM: D.: Software
Conference
Save to List
9

Instantiation of meta-models constrained with OCL: A CSP approach
Ferdjoukh, Adel ; Baert, Anne-Elisabeth ; Bourreau, Eric ; et al.
MODELSWARD: Model-Driven Engineering and Software Development. :213-222

Angers, France Automated Model Generati... Constraint Satisfaction... Object Constraint Langua... [INFO.INFO-SE]Computer S... Software Engineering [cs...
Conference
Save to List
10

Specification and Automatic Checking of Architecture Constraints on Object Oriented Programs
Kallel, Sahar ; Tibermacine, Chouki ; Kallel, Slim ; et al.
Information and Software Technology. 101:16-31

Architecture Constraint Object Constraint Langua... Meta-program Java Reflect AOP AspectJ
Journal
Save to List
11

P2AMF: Predictive, Probabilistic Architecture Modeling Framework
Johnson, Pontus ; Ullberg, Johan ; Buschle, Markus ; et al.
5th International Working Conference on Enterprise Interoperability (IWEI). :104-117

Enschede, Netherlands probabilistic inference system properties prediction Object Constraint Langua... UML
Conference
Save to List
12

Object Constraint Language based test case optimization with modified Average Percentage of Fault Detection metric
Kunxiang Jin ; Kevin Lano
Journal of Software: Evolution and Process. 36

modified APFD metric test case optimization genetic algorithm 0202 electrical engineer... 02 engineering and techn... Object Constraint Langua...
Academic journal
Save to List
13

Extending OCL with Map and Function Types
Lano, Kevin ; Kolahdouz-Rahimi, Shekoufeh ; Department of Informatics [King's College London] ; et al.
9th International Conference on Fundamentals of Software Engineering (FSEN). :108-123

Virtual, Iran Object Constraint Langua... [INFO]Computer Science [...
Conference
Save to List
14

Towards a GDPR-compliant cloud architecture with data privacy controlled through sticky policies
Cambronero, M. Emilia ; Martínez, Miguel A. ; Llana Díaz, Luis Fernando ; et al.

004.056 004.41 General data protection... Data privacy Cloud computing Sticky policies
Academic journal
Save to List
15
16

Maximizing Test Coverage for Security Threats Using Optimal Test Data Generation
Talha Hussain ; Rizwan Bin Faiz ; Mohammad Aljaidi ; et al.
Applied Sciences, Vol 13, Iss 14, p 8252 (2023)

modified condition/decis... decision coverage test coverage test data object constraint langua... structured misuse case d...
Academic journal
Save to List
17

Assisting the creation of OCL constraints
Assistance à la spécification de contraintes OCL dans les métamodèles

Cherfa, Elyes ; Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) ; Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes) ; et al.
Modélisation et simulation. Université de Bretagne Sud, 2021. Français. ⟨NNT : 2021LORIS612⟩

Object-Constraint Langua... Meta-Object Facility Model-Driven Engineering Metamodel Inaccurate Str... Assisting OCL Constraint... Assistance à la co-évolu...
Dissertation/ Thesis
Save to List
18

An UML profile for representing real-time design patterns
Marouane, Hela ; Duvallet, Claude ; Makni, Achraf ; et al.
In Journal of King Saud University - Computer and Information Sciences October 2018 30(4):478-497

Academic journal
Save to List
19

Modelação e diagnóstico de processos organizacionais
Santos, João Pedro de Jesus Carvalho

Tecnologia da informação... Tratamento da informação... Estrutura organizacional OCL Object Constraint La... Diagnóstico Modelação de sistemas
Save to List
20

AspectOCL: using aspects to ease maintenance of evolving constraint specification
Khan, Muhammad Uzair ; Sartaj, Hassan ; Iqbal, Muhammad Zohaib ; et al.
Empirical Software Engineering: An International Journal. 24(4):2674-2724

Academic journal
Save to List

Filter