![]() | Monter d'un niveau |
Feng, N., Marsso, L., Getir Yaman, S., Baatartogtokh, Y., Ayad, R., De Mello, V. O., Townsend, B., Standen, I., Stefanakos, I., Imrie, C., Rodrigues, G. N., Cavalcanti, A., Calinescu, R., & Chechik, M. (avril 2024). Analyzing and Debugging Normative Requirements via Satisfiability Checking [Communication écrite]. 46th IEEE/ACM International Conference on Software Engineering (ICSE 2024), Lisbon, Portugal (12 pages). Lien externe
Feng, N., Marsso, L., Yaman, S. G., Standen, I., Baatartogtokh, Y., Ayad, R., de Mello, V. O., Townsend, B., Bartels, H., Cavalcanti, A., Calinescu, R., & Chechik, M. (juin 2024). Normative Requirements Operationalization with Large Language Models [Communication écrite]. 32nd IEEE International Requirements Engineering Conference (RE 2024), Reykjavik, Iceland. Lien externe