Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage
  • Suche: Checking Java programs

Treffer 141 - 160 von 3.938

141

Can We Monitor All Multithreaded Programs?
El-Hokayem, Antoine ; Falcone, Yliès ; Compiler Optimization and Run-time Systems (CORSE) ; et al.
RV 2018 - 18th International Conference on Runtime Verification. :1-24

Limassol, Cyprus [INFO.INFO-SE]Computer S... Software Engineering [cs... [INFO.INFO-ES]Computer S... Embedded Systems
Konferenz
Zu den Favoriten
142

Translating Java for Multiple Model Checkers: The Bandera Back-End
Iosif, Radu ; Dwyer, Matthew, B ; Hatcliff, John ; et al.
Formal Methods in System Design. 26(2):137-180

[INFO.INFO-SE]Computer S... Software Engineering [cs...
Zeitschrift
Zu den Favoriten
143

Tree Regular Model Checking for Lattice-Based Automata
Genet, Thomas ; Le Gall, Tristan ; Legay, Axel ; et al.
CIAA - 18th International Conference on Implementation and Application of Automata, Jul 2013, Halifax, Canada

Halifax, Canada ACM: F.: Theory of Compu... F.3: LOGICS AND MEANINGS... F.3.1: Specifying and Ve... F.3.1.3: Mechanical veri... [INFO.INFO-SE]Computer S... …
Konferenz
Zu den Favoriten
144

Checking probabilistic noninterference using JOANA
Snelting, Gregor ; Giffhorn, Dennis ; Graf, Jürgen ; et al.
it - Information Technology. 56(6):280-287

Fachzeitschrift
Zu den Favoriten
145

Runtime Conformance Checking of Objects Using Alloy
Crane, Michelle L. ; Dingel, Juergen
In Electronic Notes in Theoretical Computer Science October 2003 89(2):2-21

Fachzeitschrift
Zu den Favoriten
146

Dieses Ergebnis kann Gästen nicht angezeigt werden.

147

Tree Regular Model Checking for Lattice-Based Automata
Genet, Thomas ; Gall, Tristan Le ; Legay, Axel ; et al.

Computer Science - Forma... Computer Science - Logic...
Report
Zu den Favoriten
148

Checking Java Programs
Darwin, Ian

Computing and Computers
Zu den Favoriten
149

Assessing Students' Structured Programming Skills with Java: The "Blue, Berry, and Blueberry" Assignment.
Xihui Zhang
Journal of Information Technology Education: Research. 2010, Vol. 9, pIIP227-IIP235. 9p.

Students Computer programming Algorithms Object-oriented programm... Object-oriented methods...
Fachzeitschrift
Zu den Favoriten
150

Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs.
D'Amorim, Marcelo ; Lauterburg, Steven ; Marinov, Darko
IEEE Transactions on Software Engineering. Sep/Oct2008, Vol. 34 Issue 5, p597-613. 17p. 11 Diagrams, 4 Charts.

OBJECT-oriented methods... SOFTWARE verification DEBUGGING STATE-space methods JAVA programming languag...
Fachzeitschrift
Zu den Favoriten
151

Model Checking JAVA Programs Using Java Pathfinder
Pressburger, Thomas ; Havelund, Klaus
CASI

Unclassified Unlimited Publicly available Computer Programming and...
Zu den Favoriten
152

The improvement of horticultural villages sustainability in Central Java Province, Indonesia
Sutrisno, Joko ; Haryanto, Eddy Tri ; Harsono, Puji ; et al.
Open Agriculture. 8(1)

Fachzeitschrift
Zu den Favoriten
153

Dieses Ergebnis kann Gästen nicht angezeigt werden.

154

Discovering Documentation for Java Container Classes.
Henkel, Johannes ; Reichenbach, Christoph ; Diwan, Amer
IEEE Transactions on Software Engineering. Aug2007, Vol. 33 Issue 8, p526-543. 18p.

OBJECT-oriented programm... PROGRAMMING languages SYSTEMS design COMPUTER software COMPUTER systems JAVA programming languag...
Fachzeitschrift
Zu den Favoriten
155

Dieses Ergebnis kann Gästen nicht angezeigt werden.

156

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
157

Dieses Ergebnis kann Gästen nicht angezeigt werden.

158

OpenJML: Software verification for Java 7 using JML, OpenJDK, and Eclipse
Cok, David R.
EPTCS 149, 2014, pp. 79-92

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

Runtime verification on abstract finite state models.
Jevitha, K.P. ; Jayaraman, Bharat ; Sethumadhavan, M.
Journal of Systems & Software. Oct2024, Vol. 216, pN.PAG-N.PAG. 1p.

LOGIC COMPUTER software LANGUAGE & languages
Fachzeitschrift
Zu den Favoriten
160

MMC: the Mono Model Checker
Ruys, Theo C. ; de Brugh, Niels H.M. Aan
In Electronic Notes in Theoretical Computer Science 31 July 2007 190(1):149-160

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

Filter