Verification Algorithm of Evidence Life Cycles in Extended UML Activity Diagrams

Osamu Takaki, Takahiro Seino, Izumi Takeuti, Noriaki Izumi, Koichi Takahashi. Verification Algorithm of Evidence Life Cycles in Extended UML Activity Diagrams. In Proceedings of the Second International Conference on Software Engineering Advances (ICSEA 2007), August 25-31, 2007, Cap Esterel, French Riviera, France. pages 9, IEEE Computer Society, 2007. [doi]

Authors

Osamu Takaki

This author has not been identified. Look up 'Osamu Takaki' in Google

Takahiro Seino

This author has not been identified. Look up 'Takahiro Seino' in Google

Izumi Takeuti

This author has not been identified. Look up 'Izumi Takeuti' in Google

Noriaki Izumi

This author has not been identified. Look up 'Noriaki Izumi' in Google

Koichi Takahashi

This author has not been identified. Look up 'Koichi Takahashi' in Google