• Suche: "CleanJava"

Volltext-Artikel, eBooks und vieles mehr aus dem EBSCO Discovery Service

Das Gesuchte nicht gefunden? Schauen Sie in der Onleihe oder machen Sie einen Kaufvorschlag

Treffer 1 - 19 von 19

1

CleanJava: A Formal Notation for Functional Program Verification
Cheon, Yoonsik ; Yeep, Cesar ; Vela, Melisa
2011 Eighth International Conference on Information Technology: New Generations Information Technology: New Generations (ITNG), 2011 Eighth International Conference on. :221-226 Apr, 2011

Konferenz
Zur Merkliste hinzufügen
2

Constructing verifiably correct Java programs using OCL and CleanJava
Yoonsik Cheon ; Carmen Avila ; The Pennsylvania State University CiteSeerX Archives
http://www.cs.utep.edu/cheon/techreport/tr13-15.pdf.

correctness proof functional program verif... intended function CleanJava Object Constraint Langua...
Fachzeitschrift
Zur Merkliste hinzufügen
3

Using OCL and CleanJava
Yoonsik Cheon ; Carmen Avila ; The Pennsylvania State University CiteSeerX Archives
http://www.cs.utep.edu/cheon/techreport/tr13-15.pdf.

correctness proof functional program verif... intended function CleanJava Object Constraint Langua...
Fachzeitschrift
Zur Merkliste hinzufügen
4

for the CleanJava Annotation Language
Cesar Yeep ; Yoonsik Cheon ; The Pennsylvania State University CiteSeerX Archives
http://www.cs.utep.edu/cheon/techreport/tr13-29.pdf.

Formal annotation langua... parser static checker CleanJava JastAddJ. 1998 CR Catego... D.3.2 [Programming Langu... …
Fachzeitschrift
Zur Merkliste hinzufügen
6

Enhancing the Expressiveness of the CleanJava Language
Melisa Vela ; Yoonsik Cheon ; The Pennsylvania State University CiteSeerX Archives
http://www.cs.utep.edu/cheon/techreport/tr13-33.pdf.

languages D.3.3 [Programming Langu... control structures inheritance polymorphism functions …
Fachzeitschrift
Zur Merkliste hinzufügen
7

Enhancing the Expressiveness of the CleanJava Language
Vela, Melisa ; Cheon, Yoonsik
Departmental Technical Reports (CS)

formal specification functional programming functional program verif... intended function cleanjava Programming Languages an... …
Fachzeitschrift
Zur Merkliste hinzufügen
8

CJC: An Extensible Checker for the CleanJava Annotation Language
Yeep, Cesar
Departmental Technical Reports (CS)

Formal annotation langua... parser static checker CleanJava JastAddJ Programming Languages an... …
Fachzeitschrift
Zur Merkliste hinzufügen
9

Constructing Verifiably Correct Java Programs Using OCL and CleanJava
Cheon, Yoonsik ; Avila, Carmen
Departmental Technical Reports (CS)

correctness proof functional program verif... intended function CleanJava Object Constraint Langua... Computer Sciences …
Fachzeitschrift
Zur Merkliste hinzufügen
10

CJC: An Extensible Checker for the CleanJava Annotation Language
Yeep, Cesar Eduardo
Open Access Theses & Dissertations

CJC CleanJava Functional Program Verif... JASG JastAddJ Java …
Fachzeitschrift
Zur Merkliste hinzufügen
11

Functional Verification of Class Invariants in CleanJava
Avila, Carmen ; Cheon, Yoonsik
Departmental Technical Reports (CS)

class invariant functional program verif... intended function proof logic CleanJava Computer Engineering
Fachzeitschrift
Zur Merkliste hinzufügen
12

The CleanJava Language for Functional Program Verification
Cheon, Yoonsik ; Yeep, Cesar ; Vela, Melisa
Departmental Technical Reports (CS)

formal specification functional program verif... intended function CleanJava language Computer Engineering
Fachzeitschrift
Zur Merkliste hinzufügen
13

CleanJava: A Formal Notation for Functional Program Verification
Cheon, Yoonsik ; Yeep, Cesar ; Vela, Melisa
Departmental Technical Reports (CS)

formal specification formal verification functional program verif... intended function CleanJava Computer Engineering
Fachzeitschrift
Zur Merkliste hinzufügen
14

CleanJava: A formal notation for functional program verification
Yoonsik Cheon ; Cesar Yeep ; Melisa Vela ; et al.
http://www.cs.utep.edu/cheon/techreport/tr10-49.pdf.

formal specification formal verification functional program verif... intended function CleanJava. 1998 CR Categ... D.2.4 [Software Engineer... …
Fachzeitschrift
Zur Merkliste hinzufügen
15

CJC: An extensible checker for the CleanJava annotation language
Yeep Rivas, Cesar Eduardo
ETD Collection for University of Texas, El Paso

Computer science
Fachzeitschrift
Zur Merkliste hinzufügen
16

Program Verification
Yoonsik Cheon ; Cesar Yeep ; Melisa Vela ; et al.
http://www.cs.utep.edu/cheon/techreport/tr11-52.pdf.

formal specification functional program verif... intended function CleanJava language. 1998... D.2.4 [Software Engineer...
Fachzeitschrift
Zur Merkliste hinzufügen
17

Program Verification
Yoonsik Cheon ; Cesar Yeep ; Melisa Vela ; et al.
http://www.cs.utep.edu/cheon/techreport/tr10-49.pdf.

formal specification formal verification functional program verif... intended function CleanJava
Fachzeitschrift
Zur Merkliste hinzufügen
18

Functional Verification of Class Invariants in CleanJava.
Avila, Carmen ; Cheon, Yoonsik
Innovations & Advances in Computer, Information, Systems Sciences & Engineering; 2013, p1067-1076, 10p

Buch
Zur Merkliste hinzufügen
19

of object-based reasoning ∗
Greg Kulczycki ; Gregory Kulczycki ; The Pennsylvania State University CiteSeerX Archives
http://www.cs.clemson.edu/~resolve/reports/RSRG-03-02.pdf.

Aliasing cleanliness data movement initialization Java parameter passing …
Fachzeitschrift
Zur Merkliste hinzufügen
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter