Specialization and instantiation aspects of a standard process for developing educational modules

Ellen Francine Barbosa José Carlos Maldonado; International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - ISOLA (3. 2011 Kassandra-Chalkidiki, Grécia)

Communications in Computer and Information Science Berlin : Springer-Verlag v. 17, p. 503-518, 2008

Heidelberg, Berlin Springer-Verlag 2008

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-2218525 ) e outros locais(Acessar)