Conference
Temporal Requirement Formalization Using Large Language Models
| Τίτλος: | Temporal Requirement Formalization Using Large Language Models |
|---|---|
| Συγγραφείς: | Hu, Zhiyuan, Ma, Wei, Wang, Qiang, Jiang, Lingxiao, Li, Dongsheng |
| Πηγή: | 2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER) SANER Software Analysis, Evolution and Reengineering (SANER), 2026 IEEE International Conference on. :842-853 Mar, 2026 |
| Relation: | 2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER) |
| Βάση Δεδομένων: | IEEE Xplore Digital Library |
καταχωρήστε σχόλιο πρώτοι!