MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Thomas Santen" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

16 documents found, showing 1 through 10. Next 10 →

ATOM

A Theory of Structured Model-Based Specifications in Isabelle/HOL
by Thomas Santen — 1997 — Theorem Proving in Higher-Order Logics (TPHOLs 97), volume 1275 of Lecture Notes in Computer Science
…A Theory of Structured Model-Based Specifications in Isabelle/HOL Thomas Santen GMD FIRST Rudower…
Cited by 3 (2 self) – Add To MetaCart

Isomorphisms - A Link Between the Shallow and the Deep
by Thomas Santen, Fachbereich Informatik — 1999 — Theorem Proving in Higher Order Logics, LNCS 1690
…Isomorphisms -- A Link Between the Shallow and the Deep Thomas Santen Softwaretechnik, FR 5…
Cited by 1 (1 self) – Add To MetaCart

Formalization of the SPECTRUM Methodology in DEVA: Signature and Logical Calculus
by Thomas Santen, Fachgebiet Softwaretechnik — 1993
…: Signature and Logical Calculus Vorabdruck Thomas Santen Fachgebiet Softwaretechnik Bericht 93…
Cited by 5 (1 self) – Add To MetaCart

Encoding Object-Z in Isabelle/HOL
by Graeme Smith, Florian Kammüller, Thomas Santen — 2002 — International Conference of Z and B Users (ZB 2002), volume 2272 of LNCS
…Encoding Object-Z in Isabelle/HOL Graeme Smith 1 , Florian Kammüller 2 , and Thomas Santen 2 1…
Cited by 10 (5 self) – Add To MetaCart

Towards a Formal Model of Software Components
by Maritta Heisel, Thomas Santen, Jeanine Souquières — 1996 — In Formal Methods and Software Engineering - Proc. 4th Int. Conf. on Formal Engineering Methods
…Toward a Formal Model of Software Components Maritta Heisel , Thomas Santen ¡ , and Jeanine…
Cited by 3 (1 self) – Add To MetaCart

An Agenda for Specifying Software Components with Complex Data Models
by Kirsten Winter, Thomas Santen, Maritta Heisel — 1998 — 17th International Conference on Computer Safety, Reliability and Security, LNCS
… Santen 1 , and Maritta Heisel 2 1 GMD FIRST,Rudower Chaussee 5, D-12489 Berlin, Germany, kirsten…
Cited by 1 (1 self) – Add To MetaCart

Formalization of Algebraic Specification in the Development Language Deva
by Thomas Santen, Florian Kammüller, Stefan Jähnichen, Martin Beyer — 1995 — KORSO: Methods, Languages, and Tools to Construct Correct Software, LNCS
…Formalization of Algebraic Specification in the Development Language Deva Thomas Santen, Florian…
Cited by 2 (2 self) – Add To MetaCart

A Generic System Architecture for Strategy-Based Software Development
by Maritta Heisel, Thomas Santen, Dominik Zimmermann, Fachgebiet Softwaretechnik — 1995
…A Generic System Architecture for Strategy-Based Software Development Maritta Heisel Thomas Santen…
Cited by 4 (4 self) – Add To MetaCart

Strategy-Based Program Synthesis with IOSS
by Maritta Heisel, Thomas Santen, Dominik Zimmermann — 1994 — Proceedings Workshop on Systems for Computer-Aided Specification, Development and Verification, Technical Report 9416
…Strategy-Based Program Synthesis with IOSS Maritta Heisel Thomas Santen Dominik Zimmermann…
Cited by 1 (1 self) – Add To MetaCart

Confidentiality-Preserving Refinement Is Compositional - Sometimes
by Thomas Santen, Maritta Heisel, Andreas Pfitzmann, Fakultät Informatik — 2002 — In ESORICS, volume 2502 of LNCS
…Confidentiality-Preserving Refinement is Compositional — Sometimes Thomas Santen , Maritta…
Cited by 3 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB