Treffer 181 - 200 von 23.086

181

RulER: Automated Rule-Based Semantic Error Localization and Repair for Code Translation
Jin, Shuo ; Chen, Songqiang ; Xie, Xiaoyuan ; et al.

Software Engineering
Report
Zu den Favoriten
182

The Capabilities of Automated Functional Testing of Programming Assignments
Grocevs, Aleksejs ; Prokofjeva, Natālija
In Procedia - Social and Behavioral Sciences 20 July 2016 228:457-461

Fachzeitschrift
Zu den Favoriten
183

ATLANTIS: AI-driven Threat Localization, Analysis, and Triage Intelligence System
Kim, Taesoo ; Han, HyungSeok ; Park, Soyeon ; et al.

Cryptography and Securit... Artificial Intelligence
Report
Zu den Favoriten
184

GNU prolog to Java: a study on how to connect the two programming environments
Mendes, David José Murteira

Inteligência Artificial... GNU-Prolog Linguagem Java Java language
Zu den Favoriten
185

Visualizing Design Erosion: How Big Balls of Mud are Made
Baum, David ; Dietrich, Jens ; Anslow, Craig ; et al.

Computer Science - Softw...
Report
Zu den Favoriten
186

Applying Jlint to space exploration software
ARTHO, Cyrille ; HAVELUND, Klaus
VMCAI 2004 : verification, model checking, and abstract interpretation (Venice, 11-13 January 2004)Lecture notes in computer science. :297-308

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Konferenz
Zu den Favoriten
187

Transformations between Composite and Visitor implementations in Java
Ajouli, Akram ; Cohen, Julien ; Royer, Jean-Claude

Computer Science - Softw...
Report
Zu den Favoriten
188

Espresso: Brewing Java For More Non-Volatility with Non-volatile Memory
Wu, Mingyu ; Zhao, Ziming ; Li, Haoyu ; et al.

Computer Science - Progr...
Report
Zu den Favoriten
189

DESIGN OF WEB-BASED EDUCATIONAL TOOL OF ASSEMBLY PROGRAMMING IN A COLLABORATIVE LEARNING ENVIRONMENT.
Imai, Yoshiro ; Hori, Yukio ; Kaneko, Keiichi ; et al.
Proceedings of the IADIS International Conference on WWW/Internet. Nov2008, p43-50. 8p. 2 Diagrams, 4 Charts.

Online education Collaborative learning Java programming languag... Linux operating systems Visual learning
Konferenz
Zu den Favoriten
190

How to replicate the cognitive process in computer game-based learning units.
Wang, Chen-Shu ; Li, Yu-Chieh ; Tzeng, Yeu-Ruey
Information Technology & People. 2015, Vol. 28 Issue 2, p327-343. 17p.

Web browsers Human-computer interacti... Java programming languag... Cognitive ability Video games
Fachzeitschrift
Zu den Favoriten
191

VulnLLM-R: Specialized Reasoning LLM with Agent Scaffold for Vulnerability Detection
Nie, Yuzhou ; Li, Hongwei ; Guo, Chengquan ; et al.

Cryptography and Securit... Artificial Intelligence
Report
Zu den Favoriten
192

Three Types of Java Programs
Java™ Programs to Accompany Programming Logic and Design. 2013, p2-3.

Buch
Zu den Favoriten
193

The Structure of a Java Program
Java™ Programs to Accompany Programming Logic and Design. 2013, p5-6.

Buch
Zu den Favoriten
194

Dieses Ergebnis kann Gästen nicht angezeigt werden.

195

A Methodology to Recognize Manufacturing Features of Prismatic Parts from STEP AP 203 File
Venu, Bitla ; Komma, Venkateswara Rao ; Srivastava, Deepanshu
In Materials Today: Proceedings 2015 2(4-5):3170-3177

Fachzeitschrift
Zu den Favoriten
196

CodeSkelGen: a program skeleton generator
Queirós, Ricardo ; REPOSITÓRIO P.PORTO

Code generation Programming languages Annotation
Zu den Favoriten
197

OSCAR. A Noise Injection Framework for Testing Concurrent Software
Luna, Filipe Robalo de ; Lourenço, João ; Bradbury, Jeremy ; et al.

Noise Injection Java Bytecode Instrumentation Concurrency Error Detection
Zu den Favoriten
198

A JML-Based strategy for incorporating formal specifications into the software development process
Pestana, João Miguel Alves ; DigitUMa

Software development Software correctness Formal methods Design by contract Java Modelling Language... JML-based strategy
Zu den Favoriten
199

Visualizador de programas Java concurrentes
Mariño Carballo, Julio ; Peña Martínez, Víctor de la ; Mariño Carballo, Julio ; et al.

E-Ressource
Zu den Favoriten
200

Applying dynamic analysis to programs running in interpreted environments
S. P. Vartanov ; M. K. Ermakov ; A. Y. Gerasimov
Труды Института системного программирования РАН, Vol 29, Iss 1, Pp 135-148 (2018)

динамический анализ прог... анализ программ... Electronic computers. Co... QA75.5-76.95
Fachzeitschrift
Zu den Favoriten

Filter