• Suche: Formal Techniques for Java Programs

Treffer 1 - 20 von 65.440

1

Formal Techniques for Java Programs
Object-oriented programming
Leavens, G. T. ; Drossopoulou, S. ; Eisenbach, S. ; et al.
LECTURE NOTES IN COMPUTER SCIENCE. :30-40

Konferenz
Merkliste
2

Formal Techniques for Java Programs
Object-oriented programming; ECOOP 2000--object-oriented programming
Drossopoulou, S. ; Eisenbach, S. ; Jacobs, B. ; et al.
LECTURE NOTES IN COMPUTER SCIENCE. :41-54

Konferenz
Merkliste
3

Formal Techniques for Java Programs
European conference object-oriented technology
Jacobs, B. ; Leavens, G. T. ; Muller, P. ; et al.
LECTURE NOTES IN COMPUTER SCIENCE. :97-103

Konferenz
Merkliste
4

Formal Techniques for Java-Like Programs
Object-oriented technology; Object-oriented technology
Albert, E. ; Banerjee, A. ; Drossopoulou, S. ; et al.
LECTURE NOTES IN COMPUTER SCIENCE. (5475):70-76

Konferenz
Merkliste
5

Formal Techniques for Java-Like Programs
Object-oriented technology: Ecoop 2007 workshop reader
Boyland, J. ; Clarke, D. ; Leavens, G. ; et al.
LECTURE NOTES IN COMPUTER SCIENCE. (4906):99-107

Konferenz
Merkliste
6

Formal Techniques for Java-Like Programs
ECOOP 2006; Object-oriented technology
Ancona, D. ; Drossopoulou, S. ; Igarashi, A. ; et al.
LECTURE NOTES IN COMPUTER SCIENCE. (4379):53-58

Konferenz
Merkliste
7

Formal Techniques for Java-Like Programs (FTfJP)
ECOOP 2004; Object-oriented technology
Coglio, A. ; Huisman, M. ; Kiniry, J. R. ; et al.
LECTURE NOTES IN COMPUTER SCIENCE. 3344:76-83

Konferenz
Merkliste
8

Formal Techniques for Java-Like Programs
Object-oriented programming: ECOOP 2003 workshop reader
Eisenbach, S. ; Leavens, G. T. ; Muller, P. ; et al.
LECTURE NOTES IN COMPUTER SCIENCE. :62-71

Konferenz
Merkliste
9

Formal Techniques for Java-like Programs
European conference on object-oriented programming
Drossopoulou, S. ; Eisenbach, S. ; Leavens, G. T. ; et al.
LECTURE NOTES IN COMPUTER SCIENCE. :203-210

Konferenz
Merkliste
10

Formal Techniques for Java-Like Programs
Object-Oriented Technology ECOOP 2003 Workshop Reader ECOOP 2003 Workshops Darmstadt, Germany, July 21-25, 2003 Final Reports
Eisenbach, S. ; Leavens, G. T. ; Muller, P. ; et al.
LECTURE NOTES IN COMPUTER SCIENCE.. (3013):62-71

Zeitschrift
Merkliste
11

Formal Techniques for Java Programs: Proceedings, Lisbon, Portugal June 14, 1999.
Jacobs, B.P.F. ; Jacobs, B.P.F.

Security of Systems.
Merkliste
12

Formal techniques for java programs.
Jacobs, B.P.F. ; Jacobs, B.P.F.
Demeyer, S. (ed.), Object-Oriented Technology. ECOOP'99 Workshop Reader: ECOOP'99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999 Proceedings, pp. 97-115

Security of Systems.
Merkliste
13

FCA–CIA: An approach of using FCA to support cross-level change impact analysis for object oriented Java programs
Li, Bixin ; Sun, Xiaobing ; Keung, Jacky
In Information and Software Technology August 2013 55(8):1437-1449

Fachzeitschrift
Merkliste
15

Dieses Ergebnis kann Gästen nicht angezeigt werden.

17

Special issue: formal techniques for Java programs
Eisenbach, Susan ; Leavens, Gary T.
Concurrency and Computation: Practice and Experience ; volume 13, issue 13, page 1121-1123 ; ISSN 1532-0626 1532-0634

Fachzeitschrift
Merkliste
18

A formal model for Multi Software Product Lines
Damiani, Ferruccio ; Lienhardt, Michael ; Paolini, Luca
In Science of Computer Programming 1 March 2019 172:203-231

Fachzeitschrift
Merkliste
19

Using SPIN for automated debugging of infinite executions of Java programs
Adalid, Damián ; Salmerón, Alberto ; Gallardo, María del Mar ; et al.
In The Journal of Systems & Software April 2014 90:61-75

Fachzeitschrift
Merkliste
20

Dieses Ergebnis kann Gästen nicht angezeigt werden.

Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter