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
Collaborated with:
K.E.Williamson
Talks about:
synthesi (1) rational (1) industri (1) categori (1) specifi (1) softwar (1) theori (1) formal (1) design (1) applic (1)

Person: Michael Healy

DBLP DBLP: Healy:Michael

Contributed to:

ASE 19991999
ASE 19971997

Wrote 2 papers:

ASE-1999-WilliamsonH #category theory #industrial #synthesis
Industrial Applications of Software Synthesis via Category Theory (KEW, MH), pp. 35–43.
ASE-1997-WilliamsonH #design #specification
Formally Specifying Engineering Design Rationale (KEW, MH), pp. 317–318.
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.