Adalberto Cajueiro de Farias

Master student, Centre of Informathics, Federal University of Pernambuco

My Schedule

Overview page for CTD 2004

Information available for CTD 2004. The page gives information about studies performed to obtain the MSc degree from CIn/UFPE.  

Projects

• Labeled Deductive Systems and your applications do Abductive Reasoning.
• Refinement Algebra and Aplications(CNPq). Development of a Java Translator from CSPz to CSPM notation.

Publications

• Adalberto Farias, Alexandre Mota and Augusto Sampaio. Efficient CSP_Z Data Abstraction.Integrated Formal Methods (IFM 2004). Lecture Notes in Computer Science, volume 2999, pages 108 - 127. Springer-Verlag, 2004.
• Adalberto Farias, Alexandre Mota and Augusto. A Support Tool for CSP_Z Data Abstraction. Adalberto Farias and Alexandre Mota and Augusto Sampaio. Tool Exibition Notes of the 12th International FME Symposium, pages 11 - 15. 
• Adalberto Farias Efficient And Mechanised Analysis of Infinite CSPZ Processes: strategy and tool support. MSc. dissertation.
• Adalberto Farias, Alexandre Mota and Augusto Sampaio. Efficient Analysis of Infinite CSPZ Processes. In Proceedings of 5th Workshop on Formal Methods (WMF 2002), October 2002, pages 113 -- 128.
• Adalberto Farias, Alexandre Mota and Augusto Sampaio. From CSPz to CSPM: A Transformational Java Tool. In Proceedings of 4th Workshop on Formal Methods (WMF 2001), October 2001, pages 1 -- 10. (in portuguese)
• Adalberto Farias, Alexandre Mota and Augusto Sampaio. A Translator from CSPz to CSPM notation. Revista Eletrônica de Iniciação Científica, Edição Agosto 2001. (in portuguese)
  Available at: http://www.sbc.org.br/reic/edicoes/2001e1/
• Adalberto Farias, Jeísa Oliveira, Marcos Simões, Marcone Almeida and Paulo Silva. Toleran Name Service (TNS): A Fault Tolerant CORBA Naming Service. In 1st Workshop de Objetos Distribuídos, Outubro 2001.(in portuguese)
  Available at: http://www.od.com.br/portugues/programacao/workshop.htm

Technical Reports

• Adalberto Farias and Alexandre Mota. Partitioning the Z Part of CSPz Specifications.. Technical Report, October 2006.
• Adalberto Farias. Action Semantics of CSPz.. Technical Report, October 2001. (in portuguese)
• Adalberto Farias. CASE Tools: Support, Adoption and Integration. Technical Report, June 2001. (in portuguese)

Brief Curriculum Vitae

• Portuguese(ps)

My Schedule

Interest links

• CSP
• Z
• Java links
  • JavaWorld - site containing many useful tools for java developers. It's a very good reference for to know new technologies and tools.
  • JFC and Look and Feel- swing components and look and feel tool tips. Standards for developing user interfaces.
  • JLex and JavaCUP - scanner and parser generation tools(for java).
  • Java and CORBA - distributed systems implementations.

Contact

email: acf@cin.ufpe.br

Last Update: 25 MAR 2004