Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage
  • Suche: A Refinement Method for Java Programs

Treffer 1 - 20 von 294

1

A Refinement Method for Java Programs.
Holger Grandy ; Kurt Stenzel ; Wolfgang Reif
FMOODS. :221-235

Konferenz
Zu den Favoriten
2

Dieses Ergebnis kann Gästen nicht angezeigt werden.

3

A Refinement Method for Java Programs
Grandy, Holger ; Stenzel, Kurt ; Reif, Wolfgang (Prof. Dr.)

ddc:004 Abstrakte Zustandsmaschi... Verifikation
Report
Zu den Favoriten
4

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
7

A Refinement Method for Java Programs.
Hutchison, David ; Kanade, Takeo ; Kittler, Josef ; et al.
Formal Methods for Open Object-Based Distributed Systems (9783540729198). 2007, p221-235. 15p.

Buch
Zu den Favoriten
8

From Circus to JCSP
OLIVEIRA, Marcel ; CAVALCANTI, Ana
Formal methods and software engineering (Seattle WA, 8-12 November 2004)Lecture notes in computer science. :320-340

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

Model checking multithreaded programs with asynchronous atomic methods
SEN, Koushik ; VISWANATHAN, Mahesh
Computer aided verification (18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006)0CAV 2006. :300-314

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

Formal Development of Java Programs
Giovanna Di Marzo Serugendo ; Nicolas Guelfi ; The Pennsylvania State University CiteSeerX Archives
http://lglwww.epfl.ch/Team/NG/Publis/all_ps/97_EPFL_TR97_248.ps.gz.

Software Engineering Formal Methods Petri Nets Algebraic Specifications Refinement Concurrent and Distribut... …
Fachzeitschrift
Zu den Favoriten
11

The ASM refinement method
BÖRGER, Egon
RefinementFormal aspects of computing. 15(2-3):237-257

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

Automatic translation from Crcus to java
FREITAS, Angela ; CAVALCANTI, Ana
FM 2006 (formal methods)Lecture notes in computer science. :115-130

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

Forward simulation for data refinement of classes
CAVALCANTI, Ana ; NAUMANN, David A
FME 2002 : formal methods - getting IT right (Copenhagen, 22-24 July 2002)Lecture notes in computer science. :471-490

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

Dieses Ergebnis kann Gästen nicht angezeigt werden.

15

Hard real-time implementation of embedded software in JAVA
TALPIN, Jean-Pierre ; GARNATIE, Abdoulaye ; BERNER, David ; et al.
Scientific engineering of distributed java applications (Luxembourg - Kirchberg, 27-28 November 2003, revised papers)Lecture notes in computer science. :33-47

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

Atomicity Refinement for Verified Compilation
JAGANNATHAN, Suresh ; LAPORTE, Vincent ; PETRI, Gustavo ; et al.
ACM transactions on programming languages and systems. 36(2)

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

Refinement-based context-sensitive points-to analysis for Java
SRIDHARAN, Manu ; BODIK, Rastislav
PLDI'06: Proceedings of the 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation, June 10-16, 2006, Ottawa, Ontario, CanadaACM SIGPLAN notices. 41(6):387-400

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

Refinement algebra for formal bytecode generation
DURAN, Adolfo ; CAVALCANTI, Ana ; SAMPAIO, Augusto
Formal methods and software engineering (Shanghai, 21-25 October 2002)Lecture notes in computer science. :347-358

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

A refinement algebra for object-oriented programming
BORBA, Paulo ; SAMPAIO, Augusto ; CORNELIO, Marcio
ECCOP 2003 : object-oriented programming (Darmstadt, 21-25 July 2003)Lecture notes in computer science. :457-482

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

A strategy for compiling classes, inheritance, and dynamic binding
DURAN, Adolfo ; CAVALCANTI, Ana ; SAMPAIO, Augusto
FME 2003 : formal methods (Pisa, 8-14 September 2003)Lecture notes in computer science. :301-320

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter