Browsing Publikationsnachweise by Person "Schmid, Joachim"

Now showing items 1-8 of 8

Capturing Requirements by Abstract State Machines: The Light Control Case Study

Börger, Egon; Riccobene, E.; Schmid, Joachim (2000)

Wissenschaftlicher Artikel
Compiling Abstract State Machines to C++

Schmid, Joachim (2001)

Beitrag zu einer Konferenz
Composition and Submachine Concepts for Sequential ASMs

Börger, Egon et al. (2000)

Beitrag zu einer Konferenz
Introduction to AsmGofer

Schmid, Joachim (2001)

Sonstiges (textgeprägt)
Java and the Java Virtual Machine: Definition, Validation, Verification

Stärk, R.; Schmid, Joachim; Börger, Egon (2001)

Buch
Java bytecode verification is not possible

Stärk, R.; Schmid, Joachim (2001)

Beitrag zu einer Konferenz
Report on a Practical Application of ASMs in Software Design

Börger, Egon et al. (2000)

Beitrag zu einer Konferenz
The problem of Bytecode Verification in Current Implementations of the JVM

Stärk, R.; Schmid, Joachim (2000)

Sonstiges (textgeprägt)