Publisher
AITO - Association Internationale pour les Technologies Objets
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. PathOCL: Path-Based Prompt Augmentation for OCL Generation with GPT-4;Proceedings of the 2024 IEEE/ACM First International Conference on AI Foundation Models and Software Engineering;2024-04-14
2. On Codex Prompt Engineering for OCL Generation: An Empirical Study;2023 IEEE/ACM 20th International Conference on Mining Software Repositories (MSR);2023-05
3. A Retrospective on OOADARE as an Automated Object-Based Approach for Requirements Engineering;Lecture Notes in Electrical Engineering;2023
4. Proving Properties of Operation Contracts with Test Scenarios;Tests and Proofs;2023
5. Automated analyses of model-driven artifacts;Proceedings of the 27th International Workshop on Software Measurement and 12th International Conference on Software Process and Product Measurement;2017-10-25