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

Treffer 161 - 180 von 3.938

161

The accuracy of dependency analysis in static architecture compliance checking
Pruijt, Leo, Lid lectoraat ; Köppe, Christian, Overig ; Werf,van der, Jan Martijn, Overig ; et al.

Architecture compliance... Software Architectuur
Fachzeitschrift
Zu den Favoriten
162

Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs
Dwyer, Matthew B. ; Hatcliff, John ; Robby ; et al.
Formal Methods in System Design: An International Journal. September 2004 25(2-3):199-240

Fachzeitschrift
Zu den Favoriten
163

Compositional type checking of delta-oriented software product lines
BETTINI, Lorenzo ; DAMIANI, Ferruccio ; SCHAEFER, Ina
Acta informatica. 50(2):77-122

Asie Asia Indonésie Indonesia Java Computer science …
Fachzeitschrift
Zu den Favoriten
164

Symbolic Execution with Abstract Subsumption Checking.
Valmari, Antti ; Anand, Saswat ; Păsăreanu, Corina S. ; et al.
Model Checking Software (9783540331025). 2006, p163-181. 19p.

Buch
Zu den Favoriten
165

Automated verification of design patterns: A case study
Nicholson, Jon ; Eden, Amnon H. ; Gasparis, Epameinondas ; et al.
In Science of Computer Programming 1 February 2014 80 Part B:211-222

Fachzeitschrift
Zu den Favoriten
166

Specification and automatic checking of architecture constraints on object oriented programs
Kallel, Sahar ; Tibermacine, Chouki ; Kallel, Slim ; et al.
In Information and Software Technology September 2018 101:16-31

Fachzeitschrift
Zu den Favoriten
167

Probabilistic program performance analysis with confidence intervals
Stefanakos, Ioannis ; Calinescu, Radu ; Gerasimou, Simos
In Information and Software Technology April 2023 156

Fachzeitschrift
Zu den Favoriten
168

An algorithm for deciding BAPA : Boolean algebra with presburger arithmetic
KUNCAK, Viktor ; NGUYEN, Huu Hai ; RINARD, Martin
CADE-20 : automated deduction (Tallinn, 22-27 July 2005)Lecture notes in computer science. :260-277

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

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

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

Refinement of structural heuristics for model checking of concurrent programs through data mining
Milewicz, Reed ; Pirkelbauer, Peter
In Computer Languages, Systems & Structures January 2017 47 Part 2:170-188

Fachzeitschrift
Zu den Favoriten
171

Pruebas empíricas y resultados preliminares con la herramienta Krakatoa para Full Static Program Verification
Edgar Darío, Ramírez-de León ; Oscar, Chávez-Bosquez ; Julián Javier, Francisco-León
In Ingeniería Investigación y Tecnología October-December 2014 15(4):493-504

Fachzeitschrift
Zu den Favoriten
172

Precise analysis of string expressions
CHRISTENSEN, Aske Simon ; MØLLER, Anders ; SCHWARTZBACH, Michael I
SAS 2003 : state analysis (San Diego CA, 11-13 June 2003)Lecture notes in computer science. :1-18

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

Model Checking Merged Program Traces
da Silva, Paulo Salem ; de Melo, Ana C.V.
In Electronic Notes in Theoretical Computer Science 2 July 2009 240:97-112

Fachzeitschrift
Zu den Favoriten
174

A local approach for temporal model checking of Java bytecode
Santone, Antonella ; Vaglini, Gigliola
In Journal of Computer and System Sciences 2005 70(2):258-281

Fachzeitschrift
Zu den Favoriten
175

Checking Event-Based Specifications in Java Systems
Reiss, Steven P.
In Electronic Notes in Theoretical Computer Science 7 February 2006 144(3):107-132

Fachzeitschrift
Zu den Favoriten
176

CHASE: A static checker for JML's Assignable clause
CATANO, Néstor ; HUISMAN, Marieke
VMCAI 2003 : verification, model checking, and abstract interpretation (New York NY, 9-11 January 2003)Lecture notes in computer science. :26-40

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn... …
Konferenz
Zu den Favoriten
177

A Formal Approach to implement java exceptions in cooperative systems
Hanazumi, Simone ; de Melo, Ana C.V.
In The Journal of Systems & Software September 2017 131:475-490

Fachzeitschrift
Zu den Favoriten
178

How the design of JML accommodates both runtime assertion checking and formal verification
Leavens, Gary T. ; Cheon, Yoonsik ; Clifton, Curtis ; et al.
In Science of Computer Programming 2005 55(1):185-208

Fachzeitschrift
Zu den Favoriten
179

Verifying pointer programs using graph grammars
Heinen, Jonathan ; Jansen, Christina ; Katoen, Joost-Pieter ; et al.
In Science of Computer Programming 1 January 2015 97 Part 1:157-162

Fachzeitschrift
Zu den Favoriten
180

Compiling and verifying SC-SystemJ programs for safety-critical reactive systems
Park, Heejong ; Malik, Avinash ; Salcic, Zoran
In Computer Languages, Systems & Structures December 2015 44 Part C:251-282

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

Filter