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)
Using model-driven development to support portable PaaS applications
Elias Nogueira Daniel Lucrédio; Ana Moreira; Renata Pontin de Mattos Fortes; International Conference on Cloud Computing and Services Science - CLOSER (5. 2015 Lisbon)
Communications in Computer and Information Science Cham : Springer v. 581, p. 115-134, 2015
Exploring smart environments through human computation for enhancing blind navigation
Hugo Paredes Hugo Fernandes; André Sousa; Luis Fernandes; Fernando Koch; Renata Pontin de Mattos Fortes; Vitor Filipe; João Barroso; International Workshop on Collaborative Agents Research and Development - CARE (6. 2015 Istanbul); International Workshop on Multiagent Foundations of Social Computing - MFSC (2. 2015 Istanbul)
Communications in Computer and Information Science Cham : Springer v. 541, p. 66-76, 2015
RoboSeT a tool to support cataloging and discovery of services for service-oriented robotic systems
Lucas Bueno Ruas Oliveira Felipe Augusto Amaral; Diogo B Martins (Diogo Brandão de Martins); Flavio Oquendo; Elisa Yumi Nakagawa; Joint Conference on Robotics and Intelligent Systems - JCRIS 2014 (2014 São Carlos, SP); Latin American Robotics Symposium - LARS 2014 (11. 2014 São Carlos, SP); Brazilian Conference on Robotics - SBR 2014 (2. 2014 São Carlos, SP); Workshop on Applied Robotics and Automation - Robocontrol 2014 (6. 2014 São Carlos, SP)
Communications in Computer and Information Science Heidelberg : Springer v. 507, p. 114-132, 2015