Conferences

2009

  • Rodrigo Ramos ; SAMPAIO, A. C. A. ; Alexandre Cabral Mota . Systematic Development of Trustworthy Component Systems. In: FM2009 – 16th International Symposium on Formal Methods, 2009, Eindhoven. 16th International Symposium on Formal Methods. Berlin : Springer Verlag – Lecture Notes in Computer Sceince, 2009.
  • SAMPAIO, A. C. A. ; Sidney Nogueira ; Alexandre Cabral Mota . Composiional Verification of Input Output Conformance via CSP Refinement Checking. In: ICFEM – International Conference on Formal Engineering Methods, 2009, Rio de Janeiro. International Conference on Formal Engineering Methods. Berlin : Springer Verlag – Lecture Notes in Computer Science, 2009.
  • Renata Kaufman ; SAMPAIO, A. C. A. ; Alexandre Cabral Mota . Formalisation and Analysis of Objects as CSP Processes. In: Simpósio Brasileiro de Métodos Formais, 2009, Gramado. Simpósio Brasileiro de Métodos Formais. Porto Alegre : SBC – Sociedade Brasileira de Computação, 2009.
  • Rohit Gheyi ; T. Massoni ; P. Borba ; SAMPAIO, A. C. A. . A Complete Set of Object Modeling Laws for Alloy. In: SBMF – Simpósio Brasileiro de Métodos Formais, 2009, Gramado. Simpósio Brasileiro de Métodos Formais. Porto Alegre : SBC – Sociedade Brasileira de Computação, 2009.
  • Juliana Mafra ; Breno Miranda ; IYODA, J. ; SAMPAIO, A. C. A. . Test Case Selector: Uma Ferramenta para Seleção de Testes. In: SAST – Workshop Brasileiro de Teste de Software Sistemático e Automatizado, 2009, Gramado. Workshop Brasileiro de Teste de Software Sistemático e Automatizado. Porto Alegre : SBC – Sociedade Brasileira de Computação, 2009.
  • Lucas Lima ; Eduardo Aranha ; IYODA, J. ; Sampaio, Augusto . Test Case Prioritization Based on Data Reuse – An Experimental Study. In: Empirical Software Engineering and Measurement (ESEM), 2009, Orlando. Empirical Software Engineering and Measurement. Berlin : Springer Verlag – LNCS, 2009.
  • BERTOLINI, Cristiano ; PERES, G. ; dAmorim, M. ; MOTA, A. . A Black-box Testing Technique for the Detection of Crashes Based on Automated Test Scenarios. In: International Conference on Software Testing Verification and Validation, 2009. 2009 International Conference on Software Testing Verification and Validation, 2009. p. 21-30.
  • Rebêlo, H. ; Lima, R. ; CORNÉLIO, Márcio ; Leavens, G. ; MOTA, A. ; Oliveira, C. . Optimizing JML Features Compilation in Ajmlc Using Aspect-Oriented Refactorings. In: Simpósio Brasileiro de Linguagens de Programação, 2009, Gramado. SBLP – XIII Simpósio Brasileiro de Linguagens de Programação, 2009. p. 117-130.
  • DAMASCENO, Adriana Carla ; FARIAS, Adalberto ; MOTA, A. . A Mechanized Strategy for Safe Abstraction of CSP Speci cations. In: Simpósio Brasileiro de Métodos Formais, 2009, Gramado. Brazilian Symposium on Formal Methods (SBMF 2009), 2009. v. 12. p. 118-133.
  • BERTOLINI, Cristiano ; MOTA, A. . Using Probabilistic Model Checking to Evaluate GUI Testing Techniques (aceito p publicação). In: Software Engineering and Formal Methods, 2009, Hanoi. 7th IEEE International Conference on Software Engineering and Formal Methods, 2009.
  • Mitsuo Takaki, Diego Cavalcanti, Rohit Gheyi, Juliano Iyoda, Marcelo d’Amorim and Ricardo Prudêncio. Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing. In: First NASA Formal Methods Symposium (NFM), April 6-8, 2009. Moffett Field, California, USA. To appear on Innovations in Systems and Software Engineering: a NASA Journal.

2008

  • Rodrigo Ramos ; SAMPAIO, A. C. A. ; Alexandre Cabral Mota . Framework Composition Conformance via Refinement Checking. In: ACM Symposium on Applied Computing(SAC), 2008, Fortaleza. 23rd Annual ACM Symposium on Applied Computing(SAC), 2008. v. 23. p. 119-125.
  • Sidney Nogueira ; SAMPAIO, A. C. A. ; Alexandre Cabral Mota . Guided Test Generation from CSP Models. In: ICTAC – International Colloquium on Theoretical Aspects of Computing, 2008, Istanbul. ICTAC 2008 – International Colloquium on Theoretical Aspects of Computing. Berlin : Springer – Lecture Notes in Computer Science, 2008. v. 5160. p. 258-273.
  • Flávia Falcão ; IYODA, J. ; SAMPAIO, A. C. A. . Multiple Synchrony in MSC. In: SBMF – Simpósio Brasileiro de Métodos Formais, 2008, Salvador. Brazilian Symposium on Formal Methods. Poro Alegre : Sociedade Brasileira de Computação, 2008. p. 193-208.
  • SILVA, L. ; SAMPAIO, A. C. A. ; Zhiming Liu . Laws of Object-Orientation with Reference Semantics.. In: IEEE International Conference on Software Engineering and Formal Methods, 2008, Cape Town. IEEE International Conference on Software Engineering and Formal Methods, 2008. p. 217-226.
  • SOUZA, Clélio Feitosa de ; PERES, G. ; MOTA, A. . Unifying Models of Test Cases and Requirements. In: XI Iberoamerican Workshop on Requirements Engineering and Software Environments, 2008, Recife. IDEAS 2008, 2008. p. 113-126.
  • BERTOLINI, Cristiano ; MOTA, A. . Using Refinement Checking as System Testing. In: XI Iberoamerican Workshop on Requirements Engineering and Software Environments, 2008, Recife. IDEAS 2008, 2008. p. 17-30.
  • Didier, A. ; FARIAS, Adalberto ; MOTA, A. . Checking Z data refinements using traces refinement. In: Simpósio Brasileiro de Métodos Formais, 2008, Salvador. SBMF 2008 – Brazilian Symposium on Formal Methods. Salvador : Editora Gráfica da UFBA, 2008. p. 67-82.
  • Lucas Lima, Juliano Iyoda and Augusto Sampaio. A Permutation Technique for Test Case Prioritization in a Black-box Environment. In: Brazilian Workshop on Systematic and Automated Software Testing, 2008, Campinas – SP.

2007

  • PERES, G. ; MOTA, A. . A Tool to Translate CSP Models into English Requirements. In: II Encontro Brasileiro de Teste de Software, 2007, Recife. Encontro Brasileiro de Teste de Software, 2007. hic hardware. Formal Aspects of Computing, v. 19, p. 343-362, 2007.

2006

  • Rodrigo Ramos ; SAMPAIO, A. C. A. ; MOTA, A. . Transformation Laws for UML-RT. In: IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 06), 2006, Bologna – Itália. IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 06). Berlin : Springer – Lecture Notes in Computer Science, 2006. v. 4037. p. 123-138.
  • SAMPAIO, A. C. A. ; Hermano Moura ; Alexandre Vasconcelos . Residência em Software. In: Simpósio Brasileiro de Qualidade de Software (Sessão Prêmio Dorgival Brandão Júnior da Qualidade e Produtividade de Software), 2006, Vila Velha. Simpósio Brasileiro de Qualidade de Software. Porto Alegre : SBC, 2006. p. 150-157.
  • T. Santos ; CAVALCANTI, A. ; SAMPAIO, A. C. A. . Object-Orientation in the UTP. In: Unifying Theories of Programming (UTP 2006), 2006, Walworth Castle. Unifying Theories of Programming, International Symposium, Revised Selected Papers. Berlin : Springer (Lecture Notes in Computer Science). v. 4010. p. 18-37.
  • Gustavo Cabral ; SAMPAIO, A. C. A. . Formal Specification Generation from Requirement Documents. In: SBMF – Simpósio Brasileiro de Métodos Formais, 2006, Natal. SBMF – Simpósio Brasileiro de Métodos Formais. Porto Alegre : SBC, 2006. p. 217-232.
  • Patrícia Ferreira ; SAMPAIO, A. C. A. ; MOTA, A. . Viewing CSP specifications with UML-RT diagrams. In: SBMF – Simpósio Brasileiro de Métodos Formais, 2006, Natal. SBMF – Simpósio Brasileiro de Métodos Formais. Porto Alegre : SBC, 2006. p. 73-88.
  • Manuela Xavier ; CAVALCANTI, A. ; SAMPAIO, A. C. A. . Type Checking Circus Specifications. In: SBMF – Simpósio Brasileiro de Métodos Formais, 2006, Natal. SBMF – Simpósio Brasileiro de Métodos Formais. Porto Alegre : SBC, 2006. p. 105-120.
  • Konrad Slind, Scott Owens, Mike Gordon and Juliano Iyoda. Proof Producing Synthesis of Arithmetic and Cryptographic Hardware. In: Designing Correct Circuits 2006, 2006, Vienna. Design Correct Circuits 2006, 2006.

2005

  • Rodrigo Ramos ; SAMPAIO, A. C. A. ; MOTA, A. . A Semantics for UML-RT Active Classes via Mapping into Circus. In: IFIP Conference on Formal Methods for Open Object-based Distributed Systems, 2005, Atenas. 7th IFIP Conference on Formal Methods for Open Object-based Distributed Systems. Lecture Notes in Computer Science.. Londres : Springer – Lecture Notes in Computer Science, 2005. v. 3535. p. 99-114.
  • Walter Mesquita ; SAMPAIO, A. C. A. ; Ana Melo . A Strategy for the Formal Composition of Frameworks. In: SEFM – Software Engineering and Formal Methods, 2005, Koblenz. IEEE International Conference on Software Engineering and Formal Methods – SEFM 2005. Los Alamitos – Califórnia-USA : IEEE, 2005. p. 404-413.
  • SAMPAIO, A. C. A. ; Carlos Albuqurque ; João Vasconcelos ; Luckerson Cruz ; Luis Figueiredo ; S. Cavalcanti . Software Test Program – A Software Residency Experience. In: International Conference on Software Engineering (Education and Training Track), 2005, St Louis – USA. 27th International Conference on Software Engineering, 2005. p. 611-612.
  • BORGES, R. ; MOTA, A. . Integrando UML e Métodos Formais. In: Simpósio Brasileiro de Métodos Formais, 2005, Porto Alegre. Proceedings of the Brazilian Symposium on Formal Methods, 2005. p. 80-95.
  • MACHADO, Patrícia Duarte de Lima ; SILVA, D. A. ; MOTA, A. . Property Oriented Testing. In: Simpósio Brasileiro de Métodos Formais, 2005, Porto Alegre. Proceedings of the Brazilian Symposium on Formal Methods, 2005. p. 2-16.
  • COLE, Leonardo ; BORBA, Paulo ; MOTA, A. . Proving aspect-oriented programming laws. In: Foundations of Aspect-Oriented Languages, 2005, Chicago. 4th Foundations of Aspect-Oriented Languages (FOAL), 2005. p. 1-10.
  • Mike Gordon, Juliano Iyoda, Scott Owens and Konrad Slind. Automatic Formal Synthesis of Hardware from Higher Order Logic. 5th International Workshop on Automated Verification of Critical Systems (AVoCS 2005)

2004

  • A. Sherif ; HE, J. ; CAVALCANTI, A. ; SAMPAIO, A. C. A. . A Framework for Specification and Validation of Real-Time Systems Using Circus Actions. In: International Colloquiun Theoretical Aspects of Computing – ICTAC 2004, 2005, Guiyang, China. Lecture Notes in Computer Science. Londres : Springer, 2004. v. 3407. p. 478-493.
  • A. Farias ; MOTA, A. ; SAMPAIO, A. C. A. . Efficient CSPZ Data Abstraction. In: Integrated Formal Methods, 2004, Canterbury. 4th International Conference on Integrated Formal Methods. Lecture Notes in Computer Science (LNCS). Berlin : Springer Verlag, 2004. v. 2999. p. 108-127.
  • Leonardo Cole ; Eduardo Piveta ; SAMPAIO, A. C. A. . RUP Based Analysis and Design with Aspects. In: SBES – Simpósio Brasileiro de Engenharia de Software, 2004, Brasília. SBES 2004 – Simpósio Brasileiro de Engenharia de Software. Porto Alegre : SBC – Sociedade Braileira de Computação, 2004. v. XVIII. p. 210-224.

2003

  • P. Borba ; SAMPAIO, A. C. A. ; M. Cornelio . A Refinement Algebra for Object-Oriented Programming. In: ECOOP – European Conference on Object-Oriented Programming, 2003, Darmstadt. ECOOP 2003. Berlin : Springer-Verlag (Lecture Notes in Computer Science), 2003. v. 2743. p. 457-482.
  • A. Sherif ; SAMPAIO, A. C. A. ; S. Cavalcanti . Specification and Validation of the SACI-1 On-Board Computer Using Timd-CSP-Z and Petri Nets. In: Application and Theory of Petri Nets, 2003, Eindhoven. 24th International Conference on Application and Theory of Petri Nets. Berlin : Springer-Verlag (Lecture Notes in Computer Science) Vol. 2679, 2003. v. 2679. p. 161-180.
  • A. Duran ; CAVALCANTI, A. ; SAMPAIO, A. C. A. . A Strategy for Compiling Classes, Inheritance, and Dynamic Binding. In: Formal Methods, 2003, Pisa. FME 2003: Formal Methods. Berlin : Springer Verlag, 2003. v. 2805. p. 301-320.

2002

  • SAMPAIO, A. C. A. ; WOODCOCK, J. ; CAVALCANTI, A. . Refinement in Circus. In: FME – Formal Methods Europe, 2002, Compenhaguem. FME 2002: Formal Methods – Getting IT Right. Berlin : Springer-Verlag (Lecture Notes in Computer Science), 2002. v. 2391. p. 451-470.
  • MOTA, A. ; P. Borba ; SAMPAIO, A. C. A. . Mechanical Abstraction of CSP-Z Processes. In: FME – Formal Methods Europe, 2002, Compenhaguem. FME 2002 – Formal Methods – Getting IT Right. Berlin : Springer-Verlag (Lecture Notes in Computer Science), 2002. v. 2391. p. 163-183.
  • A. Duran ; SAMPAIO, A. C. A. ; CAVALCANTI, A. . Refinement Algebra for Formal Bytecode Generation. In: ICFEM – International Conference on Formal Engineering Methods, 2002, Shangai. Formal Methods and Software Engineering. Berlin : Springer-Verlag (Lecture Notes in Computer Science), 2002. v. 2495. p. 347-358.
  • L. Freitas ; SAMPAIO, A. C. A. ; CAVALCANTI, A. . JACK: A Framework for Process Algebra Implementation in Java. In: Simpósio Brasileiro de Engenharia de Software, 2002, Gramado. XVI Simpósio Brasileiro de Engenharia de Software. Gramado : SBC – Sociedade Brasileira de Computação, 2002. v. 16. p. 98-113.
  • A. Farias ; MOTA, A. ; SAMPAIO, A. C. A. . Efficient Analysis of Infinite CSP-Z Specifications. In: Workshop de Métodos Formais, 2002, Gramado. V Workshop de Métodos Formais. Gramado : SBC – Sociedade Brasileira de Computação, 2002. v. 5. p. 113-128.
  • B. Oliveira ; CAVALCANTI, A. ; SAMPAIO, A. C. A. . The Automation of a Normal Form Reduction Strategy for Object-Oriented Programming. In: Workshop de Métodos Formais, 2002, Gramado. V Workshop de Métodos Formais. Gramado : SBC – Sociedade Brasileira de Computação, 2002. v. 5. p. 193-208.
  • CAVALCANTI, A. ; SAMPAIO, A. C. A. . From CSP-OZ to Java with Processes. In: International Parallel and Distributed Processing Symposium – IPDPD 2002, 2002. Workshop on Formal Methods for Parallel Programming – FMPP. v. 16. p. 1-15.

2001

  • A. Sherif ; SAMPAIO, A. C. A. ; S. Cavalcanti . An Integrated Approach to Specification and Validation of Real-Time Systems. In: Formal Methods Europe (FME’2001), 2001, Berlin. FME2001: Formal Methods for Increasing Software Productivity. Berlin : Springer-Verlag (Lecture Notes in Computer Science), 2001. v. 2021. p. 278-299.
  • SILVA, L. ; SAMPAIO, A. C. A. ; G. Jones . Serialising Parallel Processes in a Hardware/Software Partitioning Context. In: Formal Methods Europe – FME’2001, 2001, Berlin. FME 2001 – Formal Methods for Increasing Software Productivity. Berlin : Springer-Verlag (Lecture Notes in Computer Sceince), 2001. v. 2021. p. 344-363.

2000

  • P. Borba ; SAMPAIO, A. C. A. . Basic Laws of ROOL: an Object-Oriented Language. In: Workshop de Metodos Formais, 2000, Joao Pessoa. SBES’2000 – Workshops, 2000. v. 14. p. 33-44.

1999

  • SILVA, L. ; SAMPAIO, A. C. A. ; BARROS, E. ; IYODA, J. . An Algebraic Approach to Combining Processes in a Hardware/Software Partitioning Environment. In: Algebraic Methodology and Software Technology – AMAST, 1999, Manaus. (AMAST’98). New York : Springer-Verlag (Lecture Notes in Computer Science), 1999. v. 1548. p. 308-324.
  • IYODA, J. ; SAMPAIO, A. C. A. ; SILVA, L. . ParTS: A Partitioning Transformation System. In: FM’99 – World Congress on Formal Methods, 1999, Toulouse. Lecture Notes in Computer Science, 1999. v. 1709. p. 1400-1419.
  • SAMPAIO, A. C. A. ; SILVA, L. ; BARROS, E. ; IYODA, J. . An Algebraic Approach to Codesign. In: Workshop on Provably Correct Systems, 1999, Toulouse. Formal Methods Europe. Toulouse : Springer-Verlag, 1999.

1998

  • MOTA, A. ; SAMPAIO, A. C. A. . Model-Checking CSP-Z. In: FASE’98 – Fundamental Approaches to Software Engineering, 1998, Lisboa. ETAPS’98 – European Joint Conferences on Theory and Practice of Software. New York : Springer-Verlag, 1998. v. 1382. p. 205-220.
  • MOTA, A. ; SAMPAIO, A. C. A. . Model-Checking Processes With States: An Industrial Case Study. In: Anais do XII Simposio Brasileiro de Engenharia de Software, 1998, Maringá. (SBES’98). Maringa/PR : SBC, 1998. v. 12. p. 23-36.
  • SAMPAIO, A. C. A. ; SILVA, L. ; BARROS, E. . A Normal Form Reduction Strategy For Hardware/Software Partitioning. In: Formal Methods Europe, 1997, Gratz. (FME’97). Graz/Austria : Springer-Verlag, 1997. v. 1313. p. 624-643.

1997

  • SILVA, L. ; SAMPAIO, A. C. A. ; BARROS, E. . Projeto Integrado de Hardware e Software Com Ênfase Em Corretude: Um Estudo de Caso. In: XXIV Seminario Integrado de Software e Hardware, 1997, Brasília. (XVII Congresso da SBC). BRASÍLIA/DF : SBC, 1997. v. 27. p. 47-58.

1996

  • SAMPAIO, A. C. A. ; SPENCER, R. . De Occam Para O Transputer: Compilacao Via Reescrita de Termos. In: X Simposio Brasileiro de Engenharia de Software, 1996. (SBES’96). SÃO CARLOS/SP. p. 103-117.
  • SAMPAIO, A. C. A. ; PIRES, A. . Formalizacao Algebrica de Um Metodo Para Particionamento Hardware/Software. In: IX Simposio Brasileiro de Concepcao de Circuitos Integrados, 1996. (SSBCCI’96). Recife/PE. p. 285-296.
  • SAMPAIO, A. C. A. ; SILVA, L. ; BARROS, E. . A Transformational Approach to Hardware/Software Partitioning. In: Hardware Synthesis and Verification Workshop, 1996, Ithaca. Hardware Synthesis and Verification Workshop, 1996.
  • SAMPAIO, A. C. A. . Reusing Algebraic Theories in Program Transformation. In: Program Transformation Workshop, 1996, Durham. Program Transformation Workshop, 1996.

1995

  • SAMPAIO, A. C. A. ; LIMA, J. . Um Método de Desenvolvimento de Programas Para Obj3. In: XXII SEMISH/PANEL95, 1995. (SBC’95). Canela/RS. p. 1051-1062.
  • CAMPOS, M. ; SAMPAIO, A. C. A. ; BRAINER, A. . Proving Algebraic Properties Of Intervals Using OBJ3. In: XVIII SIMPÓSIO BRASILEIRO DE MATEMÁTICA APLICADA E COMPUTACIONAL, 1995. (SBMAC’95). Curitiba/PR. p. 118-122.

1994

  • CORDEIRO, V. ; SAMPAIO, A. C. A. ; MEIRA, S. . From Mooz To Eiffel:A Rigorous Approach To System Development. In: FORMAL METHODS EUROPE’94, 1994. FROM MOOZ TO EIFFEL:A RIGOROUS APPROACH TO SYSTEM DEVELOPMENT. PARIS. p. 306-325.
  • BARROS, E. ; SAMPAIO, A. C. A. . Toward Provably Correct Hardware Partitioning Using Occam. In: PROCEEDINGS OF THE THIRD INTERNATIONAL WORKSHOP ON HARDWARE/SOFTWARE CODESIGN (IEEE COMPUTER SOCIETY PRESS), 1994. TOWARD PROVABLY CORRECT HARDWARE/SOFTWARE PARTITIONING USING OCCAM. FRANCE. p. 210-217.
  • CORDEIRO, V. ; SAMPAIO, A. C. A. ; MEIRA, S. . De Mooz Para Eiffel. In: XXI CONGRESSO DA SBC, 1994. (SBC’94). Caxambu/MG. p. 379-393.
  • CORDEIRO, V. ; SAMPAIO, A. C. A. ; MEIRA, S. . Um Estudo de Caso Real Em Refinamento de Especificações Formais Orientadas A Objetos. In: VIII SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 1994. UM ESTUDO DE CASO REAL EM REFINAMENTO DE ESPECIFICAÇÕES FORMAIS ORIENTADAS A OBJETOS. CURITIBA/PR. p. 143-158.
  • BARROS, E. ; LIMA, M. ; SAMPAIO, A. C. A. . From Hardware/Software Partitioning To Layout Synthesis: A Transformation Approach. In: VIII SIMPÓSIO BRASILEIRO DE CONCEPÇÃO DE CIRCUITOS INTEGRADOS, 1994. (SBCCI’94). Gramado/RS. p. 089-100.

1990

  • SAMPAIO, A. C. A. ; MEIRA, S. . Modular Extensions to Z. In: VDM’90: VDM and Z – Formal Methods in Software Development, 1990, Kiel. VDM’90: VDM and Z – Formal Methods in Software Development, 1990. v. 428. p. 211-232.

1988

  • SAMPAIO, A. C. A. ; Paulo Cunha . Uma Análise de Adequação e Validação de Primitivas de Comunicação entre Processos. In: SBRC – Simpósio Brasileiro de Redes de Computadores, 1988, Belo Horizonte. VI SBRC – Simpósio Brasileiro de Redes de Computadores. Porto Alegre : SBC, 1988. v. 6.
  • SAMPAIO, A. C. A. ; MEIRA, S. . Especificação em Z de um Interpretador para uma Linguagem Simples. In: XV SEMISH – Congresso da SBC, 1988, Rio de Janeiro. XV SEMISH – Congresso da SBC. Porto Alegre : SBC, 1988. v. 15. p. 201-213.
  • SAMPAIO, A. C. A. ; MEIRA, S. . Zc : Uma Notação para Especificação de Sistemas Complexos. In: XV SEMISH – Congresso da SBC, 1988, Rio de Janeiro. XV SEMISH – Congresso da SBC. Porto Alegre : SBC, 1988. v. 15. p. 188-200.
  • Max Albuquerque ; Hermano Moura ; SAMPAIO, A. C. A. ; MEIRA, S. . GEMS – Um Gerenciador de Módulos de Software. In: II SBES – Simpósio Brasileiro de Engenharia de Software, 1988, Canela. II SBES – Simpósio Brasileiro de Engenharia de Software. Porto Alegre : SBC, 1988. v. 2. p. 61-74.

1987

  • SAMPAIO, A. C. A. ; MEIRA, S. . Especificação Funcional de um Interpretador. In: ERMAC – SBMAC, 1987, Fortaleza. IV ERMAC – SMBAC, 1987.