Travelled to:
1 × The Netherlands
1 × USA
Collaborated with:
∅ C.Tsai
Talks about:
abstract (1) softwar (1) program (1) concret (1) system (1) orient (1) object (1) method (1) formal (1) engin (1)
Person: Mahesh Dodani
DBLP: Dodani:Mahesh
Contributed to:
Wrote 2 papers:
- CSEE-1994-Dodani #formal method #re-engineering
- Formal Methods for Software Engineering (MD), p. 597.
- ECOOP-1992-DodaniT #named #object-oriented #programming #type system
- ACTS: A Type System for Object-Oriented Programming Based on Abstract and Concrete Classes (MD, CST), pp. 309–328.