Вы здесь

Santen T.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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
СТ Test Case Generation for UML Statecharts 2003 Seifert D., Helke S., Santen T. Lecture Notes in Computer Science 18.02.2004
СТ Toward a Formal Model of Sotware Components 2002 Heisel M., Santen T., Souquieres J. Lecture Notes in Computer Science 20.11.2002
СТ Encoding Object-Z in Isabelle/HOL 2002 Smith G., Kammuller F., Santen T. Lecture Notes in Computer Science 02.03.2002
СТ Mechanized Analysis of Behavioral Conformance in the Eiffel Base Libraries 2001 Helke S., Santen T. Lecture Notes in Computer Science 06.04.2001
СТ Behavioral Conformance Verification in an Integrated Approach Using UML and B 2000 Meyer E., Santen T. Lecture Notes in Computer Science 30.11.2000
СТ On the Semantic Relation of Z and HOL 1998 Santen T. Lecture Notes in Computer Science 08.12.1998
СТ Automating Test Case Generation from Z Specifications with Isabelle 1997 Helke S., Neustupny T., Santen T. Lecture Notes in Computer Science 15.04.1997
СТ Formalization of Algebraic Specification in the Development Language Deva 1995 Santen T., Kammuller F., Jahnichen S., Beyer M. Lecture Notes in Computer Science KORSO: Methods, Languages, and Tools for the Construction of Correct Software 28.12.1995
СТ Tool Support for Formak Software Development: A Generic Architecture 1995 Heisel M., Santen T., Zimmermann D. Lecture Notes in Computer Science Software Engineering - ESEC 95 30.11.1995

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Integrated Formal Methods: Proc./Second Intern. Conf., IFM 2000, Dagstuhl Castle, Germany, November 2000 2000 Lecture Notes in Computer Science
  1. Grieskamp W.
  2. Santen T.
  3. Stoddart B.
28.11.2000