„Software Language Engineering“

Suchergebnisse

3.587 Treffer

• Robust Argumentation Machines – First International Conference, RATIO 2024, Bielefeld, Germany, June 5–7, 2024, Proceedings
  Cimiano, Philipp ; Frank, Anette ; Kohlhase, Michael ; Stein, Benno 2024 Springer Nature Switzerland, Imprint: Springer
• Automated Reasoning – 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I
  Benzmüller, Christoph ; Heule, Marijn J. H. ; Schmidt, Renate A. 2024 Springer Nature Switzerland, Imprint: Springer
• Softwareentwicklung mit ChatGPT und Copilot – Mit innovativen KI-Tools Produktivität, Effizienz und Codequalität steigern
  Crocker, Nathan B. ; Lang, Jørgen W. 2025 dpunkt.verlag
• Performance evaluation of tokenizers in large language models for the Assamese language
  Tamang, Sagar ; Bora, Dibya Jyoti
• Fundamental Approaches to Software Engineering – 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings
  Boronat, Artur ; Fraser, Gordon 2025 Springer Nature Switzerland, Imprint: Springer
• Fault-based refinement-testing for CSP
  Cavalcanti, Ana ; Simao, Adenilso
• Knowledge-guided large language models are trustworthy API recommenders
  Wei, Hongwei ; Su, Xiaohong ; Zheng, Weining ; Tao, Wenxing ; Yu, Hailong ; Kuang, Yuqian
• Vision-Based Sign Language Translation via a Skeleton-Aware Neural Network
  Gan, Shi-Wei ; Yin, Ya-Feng ; Jiang, Zhi-Wei ; Xie, Lei ; Lu, Sang-Lu
• AutoHyper: leveraging language inclusion checking for hyperproperty model-checking
  Beutner, Raven ; Finkbeiner, Bernd
• Coding Examples from Simple to Complex – Applications in JavaScript™
  Gagniuc, Paul A. 2024 Springer Nature Switzerland, Imprint: Springer
• Open Source Systems: Long-Term Sustainability – 8th IFIP WG 2.13 International Conference, OSS 2012, Hammamet, Tunisia, September 10-13, 2012, Proceedings
  Hammouda, Imed 2012 Springer Berlin
• Simula Research Laboratory – by Thinking Constantly about it
  Tveito, Aslak 2010 Springer Berlin
• Deep learning based dynamic sign language translation system
  Sahm, Batool A. ; Al-Fahaam, Hassanin ; Jasim, Abbas A.
• Rigorous pattern matching as a language feature
  Taft, S. Tucker
• LLM-KGMQA: large language model-augmented multi-hop question-answering system based on knowledge graph in medical field
  Wang, FeiLong ; Shi, Donghui ; Aguilar, Jose ; Cui, Xinyi ; Jiang, Jinsong ; Shen, Longjian ; Li, Mengya
• Finding the sweet spot for organizational control and team autonomy in large-scale agile software development
  Moe, Nils Brede ; Šmite, Darja ; Paasivaara, Maria ; Lassenius, Casper
• K-Bloom: unleashing the power of pre-trained language models in extracting knowledge graph with predefined relations
  Vo, Trung ; Luu, Son T. ; Nguyen, Le-Minh
• A natural language-based method to specify privacy requirements: an evaluation with practitioners
  Peixoto, Mariana ; Gorschek, Tony ; Mendez, Daniel ; Fucci, Davide ; Silva, Carla
• Model-driven design space exploration for multi-robot systems in simulation
  Harbin, James ; Gerasimou, Simos ; Matragkas, Nicholas ; Zolotas, Thanos ; Calinescu, Radu C. ; Alpizar Santana, Misael
• Advanced prefetching and caching of models with PrefetchML
  Daniel, Gwendal ; Sunyé, Gerson ; Cabot, Jordi