„java software engineering“

Suchergebnisse

364 Treffer

• Efficient and expressive bytecode-level instrumentation for Java programs
  Soueidi, Chukri ; Monnier, Marius ; Falcone, Yliès
• On Verifying Distributed Multithreaded Java Programs
  Chen, Jessica
• A survey on the handover management in 5G-NR cellular networks: aspects, approaches and challenges
  Haghrah, Amiraslan ; Abdollahi, Mehran Pourmohammad ; Azarhava, Hosein ; Niya, Javad Musevi
• Leveraging well-formedness and cognitive level classifiers for automatic question generation on Java technical passages using T5 transformer
  Mulla, Nikahat ; Gharpure, Prachi
• On the spread and evolution of dead methods in Java desktop applications: an exploratory study
  Caivano, Danilo ; Cassieri, Pietro ; Romano, Simone ; Scanniello, Giuseppe
• A domain adaptation method by incorporating belief function in twin quarter-sphere SVM
  Moradi, Mona ; Hamidzadeh, Javad
• BE EXPERT IN JAVA Part- 2 – Learn Java programming and become expert
  Singh, Ummed 2023 BookRix
• Be Expert in Java – Learn Java programming and become expert
  Singh, Ummed 2023 BookRix
• Offline Mining of Microservice-Based Architectures (Extended Version)
  Soldani, Jacopo ; Khalili, Javad ; Brogi, Antonio
• Modularisierung mit Java 9 – Grundlagen und Techniken für langlebige Softwarearchitekturen
  Oelmann, Guido 2018 dpunkt.verlag
• JEMMA: An extensible Java dataset for ML4Code applications
  Karmakar, Anjan ; Allamanis, Miltiadis ; Robbes, Romain
• Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY
  Abbasi, Rosa ; Schiffl, Jonas ; Darulova, Eva ; Ulbrich, Mattias ; Ahrendt, Wolfgang
• Java-MaC: A Run-Time Assurance Approach for Java Programs
  Kim, MoonZoo ; Viswanathan, Mahesh ; Kannan, Sampath ; Lee, Insup ; Sokolsky, Oleg
• IT-Handbuch für Fachinformatiker*innen – Der Ausbildungsbegleiter
  Kersken, Sascha 2021 Rheinwerk Verlag
• Formal methods for industrial critical systems – 17th international workshop ; proceedings
  Stoelinga, Mariëlle ; Pinger, Ralf 2012 Springer
• Formally specifying CARA in Java
  Stark, Eugene W.
• From objects to services: toward a stepwise migration approach for Java applications
  Marchetto, Alessandro ; Ricca, Filippo
• Can static type systems speed up programming? An experimental evaluation of static and dynamic type systems
  Kleinschmager, Sebastian 2013 Anchor Academic Publishing
• Efficient High-Level Programming in Plain Java
  Silva, Rui S. ; Sobral, João L.
• An intelligent resource management method in SDN based fog computing using reinforcement learning
  Anoushee, Milad ; Fartash, Mehdi ; Akbari Torkestani, Javad