Travelled to:1 × Belgium
1 × Germany
1 × Ireland
1 × The Netherlands
Collaborated with:∅ G.S.Teo
Talks about:vdm (3) mathemat (2) tutori (2) specif (2) school (2) irish (2) introduct (1) construct (1) structur (1) morphism (1)
Person: Mícheál Mac an Airchinnigh
DBLP: Airchinnigh:M=iacute=che=aacute=l_Mac_an
Facilitated 1 volumes:
EdContributed to:
2001198819871991Wrote 7 papers:
- FME-2001-Airchinnigh #towards
- Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics (MMaA), pp. 396–418.
- VDME-1988-TeoA #specification #using
- The Use of VDM in the Specification of Chinese Characters (GST, MMaA), pp. 476–499.
- VDME-1987-Airchinnigh #morphism
- Mathematical Structures and their Morphisms in Meta-IV (MMaA), pp. 287–320.
- VDME-1987-Airchinnigh87a #tutorial
- Introduction to the VDM Tutorial (MMaA), pp. 356–361.
- VDME-1987-Airchinnigh87b #data type #specification
- Specification by Data Types (MMaA), pp. 362–388.
- VDME-1991-Airchinnigh #tutorial
- Tutorial on the Irish School of the VDM (MMaA), pp. 141–237.