APSEE-StaticPolicy: Verificação de Políticas Estáticas em Modelos de Processos de Software

Rodrigo Quites Reis, Carla Alessandra Lima Reis, Daltro José Nunes. APSEE-StaticPolicy: Verificação de Políticas Estáticas em Modelos de Processos de Software. In Cláudia M. L. Werner, editor, Proceedings of the 15th Brazilian Symposium on Software Engineering, SBES 2001, Rio de Janeiro, RJ, Brazil, October 3-5, 2001. pages 52-67, SBC, 2001. [doi]

Authors

Rodrigo Quites Reis

This author has not been identified. Look up 'Rodrigo Quites Reis' in Google

Carla Alessandra Lima Reis

This author has not been identified. Look up 'Carla Alessandra Lima Reis' in Google

Daltro José Nunes

This author has not been identified. Look up 'Daltro José Nunes' in Google