Angela F. Freitas

According to our database, Angela F. Freitas authored at least 5 papers between 2003 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2007

Ensuring Quality in the Development of an Automated Testbed via Concepts of Extreme Programming.

Clauirton A. Siebra, Angela F. Freitas, Kleber R. Carneiro, Paulo H. R. Costa, Raquel X. Freitas, Fabio Q. B. da Silva, André L. M. Santos

Proceedings of the 6th Brazilian Symposium on Software Quality, 2007

An architecture for handsets network test automation.

Clauirton de Siebra, Fabio Q. B. da Silva, Andre Luís de Medeiros Santos, Angela F. Freitas, Kleber R. Carneiro, Paulo Costa, Amanda Araujo, Karine Santos, Talita Spiller, Fernando Buononato

Proceedings of the 2nd ACM Workshop on Performance Monitoring and Measurement of Heterogeneous Wireless and Wired Networks, 2007

An investigation into the use of AI planning for handsets network test automation.

Clauirton de Siebra, Angela F. Freitas, Paulo Costa, Raquel X. Freitas, Fabio Q. B. da Silva, Andre Luís de Medeiros Santos

Proceedings of the IASTED International Conference on Artificial Intelligence and Applications, 2007

2006

Automatic Translation from <i>Circus</i> to Java.

Angela F. Freitas, Ana Cavalcanti

Proceedings of the FM 2006: Formal Methods, 2006

2003

A Refinement Tool for Z.

Angela F. Freitas, Carla Nascimento, Ana Cavalcanti

Proceedings of the Formal Methods and Software Engineering, 2003