Вы здесь

Schulte W.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Invariants, Modularity, and Rights 2010 Cohen E., Alkassar E., Boyarinov V., Dahlweid M., Degenbaev U., Hillebrand M., Langenstein B., Leinenbach D., Moskal M., Obua S., Paul W., Pentchev H., Petrova E., Santen T., Schirmer N., Schmaltz S., Schulte W., Shadrin A., Tobies S., Tsyban A., Tverdyshev S. Lecture Notes in Computer Science Perspectives of Systems Informatics 13.04.2010
СТ Semantic Essence of AsmL: Extended Abstract 2004 Gurevich Yu., Rossman B., Schulte W. Lecture Notes in Computer Science Lecture Notes in Computer Science 12.02.2005
СТ Generating Finite State Machines from Abstract State Machines 2004 Grieskamp W., Gurevich Yu., Schulte W., Veanes M. Moscow Computer Sience School 2004 - ASM: Abstract State Machine 29.10.2004
СТ Semantic Essence of AsmL 2004 Gurevich Yu., Rossman B., Schulte W. Moscow Computer Science School 2004 - ASM: Abstract State Machine 29.10.2004
СТ Towards a Tool Environment for Model-Based Testing with AsmL 2004 Barnett M., Grieskamp W., Nachmanson L., Schulte W., Tillmann N., Veanes M. Lecture Notes in Computer Science 11.03.2004
СТ Investigating Java Concurrency Using Abstract State Machines 2000 Gurevich Y., Schulte W., Wallace C. Lecture Notes in Computer Science 27.10.2000
СТ A Programmer Friendly Modular Definition of the Semantics of Java 1999 Borger E., Schulte W. Lecture Notes in Computer Science 03.07.1999
СТ Defining the Java Virtual Machine as Platform for Provably Correct Java Compilation 1998 Borger E., Schulte W. Lecture Notes in Computer Science 02.09.1998
СТ A Formal OO Method Inspired by Fusion and Object-Z 1997 Achatz K., Schulte W. Lecture Notes in Computer Science 15.04.1997
СТ The Design of a Functional GUI Library Using Constructor Classes 1996 Vullinghs T., Schulte W., Schwinn T. Lecture Notes in Computer Science 15.02.1997
СТ Lightweight GUIs for Functional Programming 1995 Vullinghs T., Tuijnman D., Schulte W. Lecture Notes in Computer Science Programming Languages: Implementations, Logics and Programs 16.11.1995
СТ Deriving Residual Reference Count Garbage Collectors 1994 Schulte W. Lecture Notes in Computer Science 12.10.1994