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 × Germany
1 × Italy
1 × Jamaica
1 × Portugal
Collaborated with:
D.Larsson R.Heldal B.Beckert R.Hähnle P.H.Schmitt V.Klebanov P.Rümmer S.Schlager W.Ahrendt T.Baar E.Habermalz W.Menzel W.Mostowski
Talks about:
system (2) formal (2) constraint (1) transform (1) increment (1) tableaux (1) simplifi (1) variabl (1) specif (1) orient (1)

Person: Martin Giese

DBLP DBLP: Giese:Martin

Contributed to:

CADE 20072007
MoDELS 20052005
UML 20042004
FASE 20022002
IJCAR 20012001

Wrote 5 papers:

CADE-2007-BeckertGHKRSS #component #deduction
The KeY system 1.0 (Deduction Component) (BB, MG, RH, VK, PR, SS, PHS), pp. 379–384.
MoDELS-2005-GieseL #constraints #ocl
Simplifying Transformations of OCL Constraints (MG, DL), pp. 309–323.
UML-2004-GieseH #specification #uml
From Informal to Formal Specifications in UML (MG, RH), pp. 197–211.
FASE-2002-AhrendtBBGHHMMS #design #formal method #object-oriented
The KeY System: Integrating Object-Oriented Design and Formal Methods (WA, TB, BB, MG, EH, RH, WM, WM, PHS), pp. 327–330.
IJCAR-2001-Giese #incremental
Incremental Closure of Free Variable Tableaux (MG), pp. 545–560.

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.