„Programming Languages“

Suchergebnisse

7.502 Treffer

• Meta-analysis for families of experiments in software engineering: a systematic review and reproducibility and validity assessment
  Kitchenham, Barbara ; Madeyski, Lech ; Brereton, Pearl
• Effect sizes and their variance for AB/BA crossover design studies
  Madeyski, Lech ; Kitchenham, Barbara
• Finding better active learners for faster literature reviews
  Yu, Zhe ; Kraft, Nicholas A. ; Menzies, Tim
• Software-Entwicklung für Ingenieure und Ingenieurinnen – eine Einführung mit der Programmiersprache C
  Drescher, Norbert 2024 Springer Vieweg
• Advantages and disadvantages of (dedicated) model transformation languages
  Höppner, Stefan ; Haas, Yves ; Tichy, Matthias ; Juhnke, Katharina 2022 Universität Ulm
• Interactive log-delta analysis using multi-range filtering
  Vidgof, Maxim ; Djurica, Djordje ; Bala, Saimir ; Mendling, Jan
• Model-driven development platform selection: four industry case studies
  Farshidi, Siamak ; Jansen, Slinger ; Fortuin, Sven
• Introduction to the STAF 2015 special section
  Blanchette, Jasmin ; Bordeleau, Francis ; Pierantonio, Alfonso ; Kosmatov, Nikolai ; Taentzer, Gabriele ; Wimmer, Manuel
• Consistency management in industrial continuous model-based development settings: a reality check
  Jongeling, Robbert ; Ciccozzi, Federico ; Carlson, Jan ; Cicchetti, Antonio
• Modelling the interplay of security, privacy and trust in sociotechnical systems: a computer-aided design approach
  Salnitri, Mattia ; Angelopoulos, Konstantinos ; Pavlidis, Michalis ; Diamantopoulou, Vasiliki ; Mouratidis, Haralambos ; Giorgini, Paolo
• The linear landscape of external contextual languages
  Ehrenfeucht, Andrzej ; Păun, Gheorghe ; Rozenberg, Grzegorz
• A feature-based survey of model view approaches
  Bruneliere, Hugo ; Burger, Erik ; Cabot, Jordi ; Wimmer, Manuel
• Distinguishing extended finite state machine configurations using predicate abstraction
  El-Fakih, Khaled ; Yevtushenko, Nina ; Bozga, Marius ; Bensalem, Saddek
• Languages and Compilers for Parallel Computing – 36th International Workshop, LCPC 2023, Lexington, KY, USA, October 11–13, 2023, Revised Selected Papers
  Dietz, Henry 2026 Springer Nature Switzerland, Imprint: Springer
• Automated synthesis of local time requirement for service composition
  André, Étienne ; Tan, Tian Huat ; Chen, Manman ; Liu, Shuang ; Sun, Jun ; Liu, Yang ; Dong, Jin Song
• On generic context lemmas for lambda calculi with sharing
  Schmidt-Schauß, Manfred ; Sabel, David 2007 Univ.-Bibliothek Frankfurt am Main
• On generic context lemmas for lambda calculi with sharing
  Schmidt-Schauß, Manfred ; Sabel, David 2007 Univ.-Bibliothek Frankfurt am Main
• A finite simulation method in a non-deterministic call-by-need calculus with letrec, constructors and case
  Schmidt-Schauß, Manfred ; Machkasova, Elena 2008 Univ.-Bibliothek Frankfurt am Main
• Adequacy of compositional translations for observational semantics
  Schmidt-Schauß, Manfred ; Niehren, Joachim ; Schwinghammer, Jan ; Sabel, David 2008 Univ.-Bibliothek Frankfurt am Main
• On generic context lemmas for lambda calculi with sharing
  Schmidt-Schauß, Manfred ; Sabel, David 2008 Univ.-Bibliothek Frankfurt am Main