• Suche: Java Program Design

Treffer 141 - 160 von 23.086

141

Refactoring for secure Java program
Suguna, Sowmyaa Venkatachalam ; Suguna, Sowmyaa Venkatachalam

E-Ressource
Zu den Favoriten
142

Agentic Specification Generator for Move Programs
Fu, Yu-Fu ; Xu, Meng ; Kim, Taesoo

Software Engineering Artificial Intelligence Cryptography and Securit... Programming Languages
Report
Zu den Favoriten
143

JML- Based formal development of a Java card application for managing medical appointments
Rodrigues, Ricardo Miguel Soares ; DigitUMa

Formal Methods Java Modelling JML HealthCard …
Zu den Favoriten
144

Evaluating Design Tradeoffs in Numeric Static Analysis for Java
Wei, Shiyi ; Mardziel, Piotr ; Ruef, Andrew ; et al.

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

Accelerating Automatic Program Repair with Dual Retrieval-Augmented Fine-Tuning and Patch Generation on Large Language Models
Guo, Hanyang ; Xie, Xiaoheng ; Dai, Hong-Ning ; et al.

Software Engineering Cryptography and Securit...
Report
Zu den Favoriten
146

Modeling and visualizing object-oriented programs with Codecharts
Eden, A. H. ; Gasparis, E. ; Nicholson, J. ; et al.
Formal Methods in System Design: An International Journal. August 2013 43(1):1-28

Fachzeitschrift
Zu den Favoriten
147

Modeling of two-storey precast school building using Ruaumoko 2D program
Ghani, K. [Faculty of Civil Engineering, Universiti Teknologi MARA, 40450 Shah Alam, Selangor (Malaysia)]
AIP Conference Proceedings; 1660; 1; Conference: ICoMEIA 2014: International Conference on Mathematics, Engineering and Industrial Applications 2014, Penang (Malaysia), 28-30 May 2014; Other Information: (c) 2015 AIP Publishing LLC; Country of input: International Atomic Energy Agency (IAEA)

Fachzeitschrift
Zu den Favoriten
148


Imagawa, Masahiro ; Kusumoto, Shinji ; Inoue, Katsuro ; et al.

Zu den Favoriten
149

Design of a visual environment for programming by direct data manipulation
Adam, Michel ; Frison, Patrice ; Daoud, Moncef ; et al.

Human-Computer Interacti...
Report
Zu den Favoriten
150


Imagawa, Masahiro ; Kusumoto, Shinji ; Inoue, Katsuro ; et al.

Zu den Favoriten
151

An Integrated Framework for Web Services Orchestration.
Saab, C. Boutrous ; Coulibaly, D. ; Haddad, S. ; et al.
International Journal of Web Services Research. Oct-Dec2009, Vol. 6 Issue 4, p1-29. 29p.

Web services Semantics Internetworking Java programming languag... BPEL (Computer program l... Unified modeling languag...
Fachzeitschrift
Zu den Favoriten
152

Refactoring Detection in C++ Programs with RefactoringMiner++
Ritz, Benjamin ; Karakaš, Aleksandar ; Helic, Denis

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

An Overview of the Runtime Verification Tool Java PathExplorer
Havelund, Klaus ; Roşu, Grigore
Formal Methods in System Design: An International Journal. March 2004 24(2):189-215

Fachzeitschrift
Zu den Favoriten
154

Using java-technology to develop graphical applications
Drobot, V. V. ; Shibko, O. N. ; Drobot, V. V. ; et al.
Construction, materials science, mechanical engineering; No. 94 (2016); 50-55; № 94 (2016); 50-55; № 94 (2016); 50-55; 2415-7031

E-Ressource
Zu den Favoriten
155

Distriblets: Java-based distributed computing on the Web.
David Finkel ; Craig E. Wills ; Brian Brennan ; et al.
Internet Research. 1999, Vol. 9 Issue 1, p35. 6p. 2 Diagrams.

World Wide Web Distributed computing Java programming languag... Load factor design
Fachzeitschrift
Zu den Favoriten
156

AutoTEE: Automated Migration and Protection of Programs in Trusted Execution Environments
Han, Ruidong ; Yang, Zhou ; Ma, Chengyan ; et al.

Computer Science - Crypt... Computer Science - Softw...
Report
Zu den Favoriten
157

Informing Sustainability Education in Academic Libraries Through Community Engagement: Evidence From a Rural Green Library in Indonesia.
Anwar, Rully Khairul ; Rejeki, Diah Sri ; Aminudin ; et al.
Evidence Based Library & Information Practice. 2025, Vol. 20 Issue 4, p205-225. 21p.

Academic libraries Sustainability Environmental literacy
Fachzeitschrift
Zu den Favoriten
158

Automated Transpilation of Imperative to Functional Code using Neural-Guided Program Synthesis (Extended Version)
Mariano, Benjamin ; Chen, Yanju ; Feng, Yu ; et al.

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

Proactive Empirical Assessment of New Language Feature Adoption via Automated Refactoring: The Case of Java 8 Default Methods
Khatchadourian, Raffi ; Masuhara, Hidehiko
The Art, Science, and Engineering of Programming, 2018, Vol. 2, Issue 3, Article 6

Computer Science - Progr... Computer Science - Softw...
Report
Zu den Favoriten
160

OOPredictor: Predicting Object-Oriented Accesses using Static Analysis
Arafat, Hassan ; Bremner, David ; Kent, Kenneth B. ; et al.

Programming Languages
Report
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter