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

Treffer 241 - 260 von 3.938

241

Checking strong specifications using an extensible software model checking framework
ROBBY ; RODRIGUEZ, Edwin ; DWYER, Matthew B ; et al.
TACAS 2004 : tools and algorithms for the construction and analysis of systems (Barcelona, 29 March - 2 April 2004)Lecture notes in computer science. :404-420

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

Data flow analysis for checking properties of concurrent Java programs.
Naumovich, Gleb ; Avrunin, George S. ; Clarke, Lori A.
ICSE: International Conference on Software Engineering; May1999, p399-410, 12p

Konferenz
Zu den Favoriten
243

Verifiable multi-agent programs
BORDINI, Rafael H ; FISHER, Michael ; VISSER, Willem ; et al.
ProMAS 2003 : programming multi-agent systems (Melbourne, 15 July 2003, selected revised and invited papers)Lecture notes in computer science. :72-89

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

Verifying atomicity specifications for concurrent object-oriented software using model-checking
HATCLIFF, John ; ROBBY ; DWYER, Matthew B
VMCAI 2004 : verification, model checking, and abstract interpretation (Venice, 11-13 January 2004)Lecture notes in computer science. :175-190

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

Types for Atomicity: Static Checking and Inference for Java.
FLANAGAN, CORMAC ; FREUND, STEPHEN N. ; LIFSHIN, MARINA ; et al.
ACM Transactions on Programming Languages & Systems; Jul2008, Vol. 30 Issue 4, p20:1-20:53, 53p

TIME measurements JAVA programming languag... PROGRAMMING languages OBJECT-oriented programm... COMPUTER programming CODING theory …
Fachzeitschrift
Zu den Favoriten
246

Checking JML specifications using an extensible software model checking framework
ROBBY ; RODRIGUEZ, Edwin ; DWYER, Matthew B ; et al.
Tools and algorithms for the construction and analysis of systems 2004International journal on software tools for technology transfer (Print). 8(3):280-299

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

Finding concurrency-related bugs using random isolation.
Kidd, Nicholas ; Reps, Thomas ; Dolby, Julian ; et al.
International Journal on Software Tools for Technology Transfer. Nov2011, Vol. 13 Issue 6, p495-518. 24p.

JAVA programming languag... SYNCHRONIZATION TAGS (Metadata) SEMANTICS DATA flow computing
Fachzeitschrift
Zu den Favoriten
248

Synthesis of interface specifications for Java classes
ALUR, Rajeev ; MADHUSUDAN, P ; CERNY, Pavol ; et al.
Proceedings of the 2005 ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2005)ACM SIGPLAN notices. 40(1):98-109

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

Making Program Refactoring Safer.
Soares, Gustavo ; Gheyi, Rohit ; Serey, Dalton ; et al.
IEEE Software. Jul/Aug2010, Vol. 27 Issue 4, p52-57. 6p. 1 Diagram, 3 Charts.

PLUG-ins (Computer progr... COMPUTER software
Fachzeitschrift
Zu den Favoriten
250

Program Instrumentation and Trace Analysis
Havelund, Klaus ; Goldberg, Allen ; Filman, Robert ; et al.

Computer Programming And...
Report
Zu den Favoriten
251

Cogent : Accurate theorem proving for program verification
COOK, Byron ; KROENING, Daniel ; SHARYGINA, Natasha
CAV 2005 : computer aided verification (Edinburgh, 6-10 July 2005)Lecture notes in computer science. :296-300

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

Java-MaC: A Run-Time Assurance Approach for Java Programs.
MoonZoo Kim ; Mahesh Viswanathan ; Sampath Kannan ; et al.
Formal Methods in System Design; Mar2004, Vol. 24 Issue 2, p129-155, 27p

Fachzeitschrift
Zu den Favoriten
253

Automated Environment Generation for Software Model Checking
Tkachuk, Oksana ; Dwyer, Matthew B ; Pasareanu, Corina S

Computer Programming And...
Report
Zu den Favoriten
254

ESC/Java2: Uniting ESC/Java and JML.
Barthe, Gilles ; Burdy, Lilian ; Huisman, Marieke ; et al.
Construction & Analysis of Safe, Secure & Interoperable Smart Devices. 2005, p108-128. 21p.

Buch
Zu den Favoriten
255

Language-specific make technology for the Java programming language
DMITRIEV, Mikhail
Proceedings of the 2002 ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'02)ACM SIGPLAN notices. 37(11):373-385

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

Providing fine-grained access control for Java programs via binary editing.
Pandey, Raju ; Hashii, Brant
Concurrency, Practice & Experience; Nov2000, Vol. 12 Issue 14, p1405-1430, 26p

JAVA programming languag... ACCESS control OBJECT-oriented methods... COMPUTER multitasking COMPUTER security COMPUTER systems
Fachzeitschrift
Zu den Favoriten
257

Bytecode model checking: An experimental analysis
BASIN, David ; FRIEDRICH, Stefan ; GAWKOWSKI, Marek ; et al.
Model checking software (Grenoble, 11-13 April 2002)Lecture notes in computer science. :42-59

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

Specifying subtypes in Safety Critical Java programs.
Haddad, Ghaith ; Leavens, Gary T.
Concurrency & Computation: Practice & Experience; Nov2013, Vol. 25 Issue 16, p2290-2306, 17p

JAVA programming languag... COMPUTER security COMPUTER software REAL-time computing SOURCE code CODING theory
Fachzeitschrift
Zu den Favoriten
259

Information flow analysis for Java bytecode
GENAIM, Samir ; SPOTO, Fausto
VMCAI 2005 : verification, model checking, and abstract interpretation (Paris, 17-19 January 2005)Lecture notes in computer science. :346-362

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

Assessing Students' Structured Programming Skills with Java: The 'Blue, Berry, and Blueberry' Assignment
Zhang, Xihui
9

Undergraduate Students Student Attitudes Programming Languages Programming Skill Analysis Skill Development …
Fachzeitschrift
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter