@article{CTT100390061, author = {山田聖 and 渡部卓雄}, title = {契約による設計を支援するアスペクト指向的振舞インターフェース記述言語Moxa}, journal = {情報処理学会論文誌 プログラミング}, year = 2005, } @inproceedings{CTT100390060, author = {Michael Reinsch and Takuo Watanabe}, title = {Towards Reusable Heterogeneous Data-Centric Disentangled Parts}, booktitle = {}, year = 2005, } @inproceedings{CTT100389585, author = {NAOYUKI NAGATOU and Takuo Watanabe}, title = {Execution Monitoring and Information Flow Properties}, booktitle = {Supplemental Volume of the 2005 International Conference on Dependable Systems and Networks (DSN 2005)}, year = 2005, } @inproceedings{CTT100389584, author = {Kiyoshi Yamada and Takuo Watanabe}, title = {Moxa: An Aspect-Oriented Approach to Modular Behavioral Specifications}, booktitle = {AOSD 2005 Workshop on Software-engineering Properties of Languages and Aspect Technologies (SPLAT '05)}, year = 2005, } @inproceedings{CTT100499089, author = {Kiyoshi Yamada and Takuo Watanabe}, title = {An Aspect-Oriented Approach to Modular Behavioral Specification of Java Components}, booktitle = {}, year = 2005, }