BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Portugal
2 × USA
Collaborated with:
O.Müller A.Rüping W.Zimmer A.P.Barros G.Decker M.Dumas
Talks about:
correct (2) get (2) architectur (1) structur (1) demonstr (1) catalogu (1) practic (1) pattern (1) modular (1) equival (1)

Person: Franz Weber

DBLP DBLP: Weber:Franz

Contributed to:

FASE 20072007
CADE 19941994
TOOLS USA 19931993
TOOLS USA 19921992

Wrote 4 papers:

FASE-2007-BarrosDDW #architecture #correlation
Correlation Patterns in Service-Oriented Architectures (APB, GD, MD, FW), pp. 245–259.
CADE-1994-MullerW #composition #higher-order #theory and practice
Theory and Practice of Minimal Modular Higher-Order E-Unification (OM, FW), pp. 650–664.
TOOLS-USA-1993-RupingWZ #data type #design
Demonstrating Coherent Design: A Data Structure Catalogue (AR, FW, WZ), pp. 363–375.
TOOLS-USA-1992-Weber #correctness #how
Getting Class Correctness and System Correctness Equivalent (How to get covariance right) (FW), pp. 199–213.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.