ReUML: a UML Profile for Modeling and Verification of Reactive Systems

Fatemeh Alavizadeh, Alireza Hashemi Nekoo, Marjan Sirjani. ReUML: a UML Profile for Modeling and Verification of Reactive Systems. In Proceedings of the Second International Conference on Software Engineering Advances (ICSEA 2007), August 25-31, 2007, Cap Esterel, French Riviera, France. pages 50, IEEE Computer Society, 2007. [doi]

Abstract

Abstract is missing.