Formalization and Analysis of Dataflow in Object-Oriented Design Models.

Toshiaki Aoki Takuya Katayama Formalization and Analysis of Dataflow in Object-Oriented Design Models. 95-105 2005 conf/isorc/2005 ISORC http://doi.ieeecomputersociety.org/10.1109/ISORC.2005.28 db/conf/isorc/isorc2005.html#AokiK05