Travelled to:
1 × China
1 × United Kingdom
Collaborated with:
∅ A.Moitra
Talks about:
softwar (2) system (2) growth (2) communic (1) schedul (1) algebra (1) specif (1) formal (1) feed (1) care (1)
Person: Mathai Joseph
DBLP: Joseph:Mathai
Contributed to:
Wrote 3 papers:
- FM-2005-Joseph
- Formal Aids for the Growth of Software Systems (MJ), p. 1.
- SEFM-2004-Joseph
- Care, Feeding and Growth of Software Systems (MJ), p. 186–?.
- CSE-1985-JosephM #algebra #communication #specification
- Algebraic Specification Of A Communication Scheduler (MJ, AM), pp. 356–370.