MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Franz Weber" – sorted by Relevance.

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

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

4 documents found, showing 1 through 4.

ATOM

Getting Class Correctness and System Correctness Equivalent - How to Get Covariance Right
by Franz Weber — 1992
… specification and, of course, an implementa- 16 Franz Weber tion must always be compatible to its specification…
Cited by 10 (0 self) – Add To MetaCart

Theory and Practice of Minimal Modular Higher-Order E-Unification
by Olaf Müller, Franz Weber — 1994 — Proceedings of the 12th Conference on Automated Deduction, number 814 in LNAI
…Theory and Practice of Minimal Modular Higher-Order E-Unification Olaf Muller 1 and Franz Weber…
Cited by 1 (0 self) – Add To MetaCart

Correlation Patterns in ServiceOriented Architectures
by Alistair Barros, Gero Decker, Marlon Dumas, Franz Weber — 2007 — In Proceedings of the 10th International Conference on Fundamental Approaches to Software Engineering (FASE
…COVER SHEET Barros, Alistair P. and Decker, Gero and Dumas, Marlon and Weber, Franz (2006…
Cited by 7 (2 self) – Add To MetaCart

Demonstrating Coherent Design: A Data Structure Catalogue
by Andreas Rüping, Franz Weber, Walter Zimmer, Forschungszentrum Informatik (fzi, Bereich Programmstrukturen — 1993 — in Raimund Ege, Madhu Singh, Bertrand Meyer (Eds.), TOOLS 11 - Technology of Object-Oriented Languages and Systems
…Demonstrating Coherent Design: A Data Structure Catalogue Andreas R��ping, Franz Weber, Walter…
Cited by 4 (0 self) – Add To MetaCart

Showing 1 through 4.

ATOM

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