BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Germany
2 × France
2 × Italy
3 × The Netherlands
Collaborated with:
∅ J.Liu O.Traynor Z.Qian B.Hoffmann D.Sannella C.Lüth H.Tej Kolyang J.Peleska E.Olderog A.Baer E.W.Karlsen
Talks about:
program (7) develop (5) transform (4) prospectra (3) methodolog (2) function (2) algebra (2) system (2) specif (2) method (2)

Person: Bernd Krieg-Brückner

DBLP DBLP: Krieg-Br=uuml=ckner:Bernd

Facilitated 2 volumes:

ESOP 1992Ed
ESOP 1992Ed

Contributed to:

FASE 19991999
World Congress on Formal Methods 19991999
FM-Trends 19981998
ECOOP 19961996
SEKE 19921992
ESOP 19881988
Software Development and Ada 19861986
VDM Europe (1) 19911991
VDM Europe (2) 19911991
TAPSOFT, Vol.2: AS 19891989
TAPSOFT, Vol.2: CCPSD 19911991

Wrote 13 papers:

FASE-1999-LuthTKK #development #proving #theorem proving #tool support
TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving (CL, HT, K, BKB), pp. 239–243.
FM-v2-1999-Krieg-BrucknerPOB #development #formal method
The UniForM Workbench, a Universal Development Environment for Formal Methods (BKB, JP, ERO, AB), pp. 1186–1205.
FM-1998-Krieg-Bruckner #formal method
UniForM Perspectives for Formal Methods (BKB), pp. 251–265.
ECOOP-1996-QianK #functional #object-oriented #programming
Typed Object-Oriented Functional Programming with Late Binding (ZQ, BKB), pp. 48–72.
SEKE-1992-LiuTK #knowledge-based #programming
Knowledge-Based Transfonnational Programming (JL, OT, BKB), pp. 632–639.
ESOP-1988-Krieg-Bruckner #algebra #development #formal method
Algebraic Formalisation of Program Development by Transformation (BKB), pp. 34–48.
CRAI-1986-Krieg-Bruckner #integration #verification
Integration of Program Construction and Verification: The PROSPECTRA Methodology (BKB), pp. 173–194.
VDME-1991-HoffmannK
The PROSPECTRA System (BH, BKB), pp. 668–669.
VDME-1991-Krieg-BrucknerKLT #development
The PROSPECTRA Methodology and System: Uniform Transformational (Meta-) Development (BKB, EWK, JL, OT), pp. 363–397.
AS-1989-Krieg-Bruckner #algebra #development #metaprogramming #specification
Algebraic Specification and Fundamentals for Transformational Program and Meta Program Development (BKB), pp. 36–59.
CCPSD-1991-Krieg-BrucknerS #dependent type #higher-order #in the large #in the small #inheritance #specification
Structuring Specifications in-the-Large and in-the-Small: Higher-Order Functions, Dependent Types and Inheritance in SPECTRAL (BKB, DS), pp. 313–336.
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.