HOL-OCL - A Formal Proof Environment for UML/OCL

Achim D. Brucker und Burkhart Wolff

Schlüsselwörter:
Kategorien:
Dokumente:

QR Code for talk:brucker.ea:hol-ocl:2008.Bitte zitieren sie diesen Artikel wie folgt:
Achim D. Brucker und Burkhart Wolff. HOL-OCL - A Formal Proof Environment for UML/OCL. Fundamental Approaches to Software Engineering (FASE08), Budapest, Hungary, 31. mar. 2008.
(Folien) (Handout) (BibTeX) (Share article on LinkedIn. Share article on CiteULike.)

BibTeX
@Talk{ talk:brucker.ea:hol-ocl:2008,
address = {Budapest, Hungary},
author = {Achim D. Brucker and Burkhart Wolff},
day = {31},
event = {Fundamental Approaches to Software Engineering {(FASE08)}},
handout = {https://www.brucker.ch/bibliography/download/2008/talk-brucker.ea-hol-ocl-2008-2x2.pdf},
isodate = {2008-03-31},
language = {USenglish},
lecturer = {Achim D. Brucker},
month = {mar},
slides = {https://www.brucker.ch/bibliography/download/2008/talk-brucker.ea-hol-ocl-2008.pdf},
title = {{HOL-OCL} -- A Formal Proof Environment for {UML/OCL}},
url = {https://www.brucker.ch/bibliography/abstract/talk-brucker.ea-hol-ocl-2008},
year = {2008},
}