„programming languages“

Suchergebnisse

7.502 Treffer

• A systematic literature review on the applications of Bayesian networks to predict software quality
  Tosun, Ayse ; Bener, Ayse Basar ; Akbarinasaji, Shirin
• Experiences and challenges in building a data intensive system for data migration
  Scavuzzo, Marco ; Nitto, Elisabetta Di ; Ardagna, Danilo
• Field classification-based novel fuzzing case generation for ICS protocols
  Kim, Sung Jin ; Shon, Taeshik
• DataMock: An Agile Approach for Building Data Models from User Interface Mockups
  Rivero, José Matías ; Grigera, Julián ; Distante, Damiano ; Montero, Francisco ; Rossi, Gustavo
• Analysis of performance measures in cloud-based ubiquitous SaaS CRM project systems
  Chen, You-Shyang ; Wu, Chienwen ; Chu, Heng-Hsing ; Lin, Chien-Ku ; Chuang, Huan-Ming
• KMLOD: linked open data service for Korean medical database
  Chhaya, PhalPheaktra ; Choi, Chi-Hwan ; Lee, Kyung-Hee ; Cho, Wan-Sup ; Lee, Young-Sung
• SoSyM reflections of 2016: a journal status report
  Georg, Geri ; Gray, Jeff ; Rumpe, Bernhard ; Schindler, Martin
• Introduction to the theme issue on variability modeling of software-intensive systems
  Wąsowski, Andrzej ; Weyer, Thorsten
• Statistical prioritization for software product line testing: an experience report
  Devroey, Xavier ; Perrouin, Gilles ; Cordy, Maxime ; Samih, Hamza ; Legay, Axel ; Schobbens, Pierre-Yves ; Heymans, Patrick
• Empirical assessment of two approaches for specifying software product line use case scenarios
  Bonifácio, Rodrigo ; Borba, Paulo ; Ferraz, Cristiano ; Accioly, Paola
• Analysing the Linux kernel feature model changes using FMDiff
  Dintzner, Nicolas ; Deursen, Arie ˜vanœ ; Pinzger, Martin
• Introduction to the Software Engineering and Formal Methods 2013 special issue
  Bravetti, Mario ; Hierons, Robert M. ; Merayo, Mercedes G.
• Variability testing in the wild: the Drupal case study
  Sanchez, Ana B. ; Segura, Sergio ; Parejo, José A. ; Ruiz-Cortés, Antonio
• An empirical approach toward the resolution of conflicts in goal-oriented models
  Hassine, Jameleddine ; Amyot, Daniel
• Eugenia: towards disciplined and automated development of GMF-based graphical model editors
  Kolovos, Dimitrios S. ; García-Domínguez, Antonio ; Rose, Louis M. ; Paige, Richard F.
• Constraint-based test generation for automotive operating systems
  Choi, Yunja ; Byun, Taejoon
• Analysing the cognitive effectiveness of the WebML visual notation
  Granada, David ; Vara, Juan Manuel ; Brambilla, Marco ; Bollati, Verónica ; Marcos, Esperanza
• An attribute-based community search method with graph refining
  Shang, Jingwen ; Wang, Chaokun ; Wang, Changping ; Guo, Gaoyang ; Qian, Jun
• A design and implementation of a framework for games in IoT
  Kim, Hye-Young
• Synthesis of verifiable concurrent Java components from formal models
  Mariño, Julio ; Alborodo, Raúl N. N. ; Fredlund, Lars-Åke ; Herranz, Ángel