Search For:

Displaying 1-6 out of 6 total
Training in Requirements by Collaboration: Branching Stories in Second Life
Found in: Sistemas Colaborativos, Simpósio Brasilerio de
By Katia Vega, Hugo Fuks, Gustavo Carvalho
Issue Date:October 2009
pp. 116-122
Training by playing is believed to be an effective strategy for learning. Training games combine educational and technological techniques that help learners to get involved, collaborate and learn in a practical and interactive way. Collaboration is inheren...
Collaboration engineering, philosophy, and Democracy with LaSca
Found in: International Conference on Computer Supported Cooperative Work in Design
By Gustavo Carvalho, Jano M. Souza, Sergio Palma J. Medeiros
Issue Date:April 2009
pp. 50-55
Now-a-days, with the wide availability of Internet access, a great diffusion of the decision-making in large groups concepts and practices is happening, with many softwares to support it and many people eager to participate and actually collaborating arisi...
Data Encription in an Electronic Ballot Box
Found in: Integrated Circuit Design and System Design, Symposium on
By Ricardo Pezzuol Jacobi, Luis Gustavo Carvalho, João Coelho
Issue Date:September 2001
pp. 0156
Abstract: Brazilian Elections rely on an Electronic Ballot Box (EBB). It is based on a PC motherboard, containing a small keypad and a LCD display which shows messages and candidate's pictures. One of the main issues in the voting process is security again...
Test case generation from natural language requirements based on SCR specifications
Found in: Proceedings of the 28th Annual ACM Symposium on Applied Computing (SAC '13)
By Alexandre Mota, Augusto Sampaio, Diogo Falcão, Flávia Barros, Gustavo Carvalho, Leonardo Motta, Mark Blackburn
Issue Date:March 2013
pp. 1217-1222
Formal models are increasingly used as input for automated test generation strategies. As an example, Software Cost Reduction (SCR) has been designed to detect and correct errors during the requirements phase, also allowing test generation. However, SCR sy...
WINDS workshop: Europe-Latin America cooperation in ICT research: state of the art and possibilities offered by the FP7
Found in: Proceedings of the 2008 Euro American Conference on Telematics and Information Systems (EATIS '08)
By Fabio Nascimbeni, Gustavo Carvalho, Raul Martins
Issue Date:September 2008
pp. 1-2
The proposed workshop aims at presenting the state of the art of cooperation between Europe and Latin America in the field of ICT research, the new approach to international cooperation of the Seventh Framework Programme for Research and the existing parti...
Refinement operators to facilitate the reuse of interaction laws in open multi-agent systems
Found in: Proceedings of the 2006 international workshop on Software engineering for large-scale multi-agent systems (SELMAS '06)
By Carlos Lucena, Gustavo Carvalho, Jean-Pierre Briot, Rodrigo Paes
Issue Date:May 2006
pp. 75-82
As new software demands and requirements appear, the system and its interaction laws must evolve to support these changes. Languages and models should provide the tools for dealing with this evolution. Poor support for evolution has a negative impact on sy...