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 - 7 von 7

1

Javassist: Java bytecode engineering made simple: for source-level abstraction
Chiba, Shigeru
Java Developer's Journal. January, 2004, Vol. 9 Issue 1, p28, 3 p.

Zeitschrift
2

A Study in Java ByteCode Engineering with PCESjava
Linenweber, Martin R.
All Computer Science and Engineering Research

Computer Engineering Computer Sciences
Fachzeitschrift
3

Java-MaC: A run-time assurance approach for Java programs
Moonzoo Kim ; Insup Lee ; The Pennsylvania State University CiteSeerX Archives
http://cs.kaist.ac.kr/~moonzoo/papers/fmsd04_javamac.pdf.

software reliability formal specification run-time monitoring and... execution trace validati... program instrumentation Java
Fachzeitschrift
4

Java-MaC: A Run-time Assurance Approach for Java Programs
Kannan, Sampath ; Kim, Moonjoo ; Lee, Insup ; et al.
67 ; Departmental Papers (CIS) ; true ; published

software reliability formal specification run-time monitoring and... execution trace validati... program instrumentation Java
Fachzeitschrift
5

Java-MaC: A run-time assurance approach for Java programs
Kim, Moonzoo ; Viswanathan, M ; Kannan, S ; et al.

software reliability formal specification run-time monitoring and... execution trace validati... program instrumentation Java
Fachzeitschrift
6

Java-MaC: A run-time assurance approach for Java programs
Moonzoo Kim ; Sampath Kannan ; Insup Lee ; et al.
http://www.vs.inf.ethz.ch/edu/HS2011/CPS/papers/kim04_java-mac.pdf.

software reliability formal specification run-time monitoring and... execution trace validati... program instrumentation Java
Fachzeitschrift
7

Dieses Ergebnis kann Gästen nicht angezeigt werden.


Filter