A. Haeberer

A finitary relational algebra for classical first-order logic

Paulo A. S. Veloso, Armando Martin Haeberer, P. Veloso, 1991 .

Interoperability via Architecture U.s. Partners Brazilian Partner Previous Interactions Bio and Indication of Submission to Cnpq from Brazilian Partner See Attached. Mathematical and Engineering Foundations for Interoperability via Architecture

J. McCarthy, C. Talcott, A. Haeberer, 1998 .

A calculus for program construction based on fork algebras, design strategies and generic algorithms

M. Frias, G. Baum, A. Haeberer, 2001 .

Scientific rigour, an answer to a pragmatic question: a linguistic framework for software engineering

T. S. E. Maibaum, Armando Martin Haeberer, T. Maibaum, 2001, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.

Towards an epistemology-based methodology for verification and validation testing

Armando Martin Haeberer, Maria Victoria Cengarle, M. V. Cengarle, 2000 .

The very idea of software development environments: a conceptual architecture for the arts' environment paradigm

T. S. E. Maibaum, Armando Martin Haeberer, T. Maibaum, 1998, Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239).

Fork Algebras in Algebra, Logic and Computer Science

Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer, 2002, Fundam. Informaticae.

Software development: a problem-theoretic analysis and model

P.A.S. Veloso, A. M. Haeberer, P. Veloso, 1989, [1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume II: Software Track.