„Software Language Engineering“

Suchergebnisse

3.587 Treffer

• ArtifactOps and ArtifactDL: a methodology and a language for conceptualizing and operationalising different types of pipelines
  Miñón, Raúl ; Diaz-de-Arcaya, Josu ; Torre-Bastida, Ana I. ; López-de-Armentia, Juan ; Zarate, Gorka ; Bonilla, Lander ; Garcia-Perez, Asier ; Aguirre-Usandizaga, Jon
• Machine Translation Strategies for Low-Resource Colombian Indigenous Languages
  Salazar, Ivan ; Manrique, Ruben ; Pereira Nunes, Bernardo
• Enhancing automated network function onboarding through language extension and code refactoring
  Elabd, Hesham ; Dingel, Juergen ; Lau, Tung Fai ; Tizghadam, Ali
• Compiler Construction – 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings
  2014 Springer Berlin Heidelberg
• Explain further: multi-level explanations for fake news detection using large language models
  Sallami, Dorsaf ; Aïmeur, Esma
• On Brzozowski’s algorithm, pumping lemma, and monoid representation for a typical hesitant fuzzy multiset language
  Verma, Sunny ; Yadav, Vijay K. ; Ruhela, Shainky ; Yadav, Swati ; Sharma, Binod K.
• Legal text summarization via judicial syllogism with large language models
  Song, Yumei ; Qin, Yongbin ; Huang, Ruizhang ; Chen, Yanping ; Lin, Chuan
• Testing hybrid systems with TTCN-3 embedded – An extension of the TTCN-3 language
  Großmann, Jürgen
• Transactions on Petri Nets and Other Models of Concurrency XIII
  2018 Springer International Publishing
• Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems – 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III
  Margaria, Tiziana 2018 Springer International Publishing
• Leveraging Applications of Formal Methods, Verification and Validation. Verification – 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
  Margaria, Tiziana 2018 Springer International Publishing
• Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice – 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV
  Margaria, Tiziana 2018 Springer International Publishing
• Leveraging Applications of Formal Methods, Verification and Validation. Modeling – 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I
  Margaria, Tiziana 2018 Springer International Publishing
• Automated Technology for Verification and Analysis – 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
  Lahiri, Shuvendu K. 2018 Springer International Publishing
• Conceptual Modeling – 37th International Conference, ER 2018, Xi'an, China, October 22–25, 2018, Proceedings
  Trujillo, Juan C. 2018 Springer International Publishing
• Software Technologies: Applications and Foundations – STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers
  Seidl, Martina ; Zschaler, Steffen 2018 Springer International Publishing
• Euro-Par 2017: Parallel Processing Workshops – Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers
  Heras, Dora B. ; Bougé, Luc 2018 Springer International Publishing
• Graph Transformation, Specifications, and Nets – In Memory of Hartmut Ehrig
  2018 Springer International Publishing
• Hardware and Software: Verification and Testing – 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings
  Strichman, Ofer ; Tzoref-Brill, Rachel 2017 Springer International Publishing
• Advanced Parallel Processing Technologies – 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedings
  Dou, Yong ; Lin, Haixiang ; Sun, Guangyu ; Wu, Junjie ; Heras, Dora ; Bougé, Luc 2017 Springer International Publishing