Armando Martin Haeberer

According to our database, Armando Martin Haeberer authored at least 15 papers between 1973 and 2001.

Collaborative distances:

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

2001

Scientific Rigour, an Answer to a Pragmatic Question: A Linguistic Framework for Software Engineering.

Armando Martin Haeberer, T. S. E. Maibaum

Proceedings of the 23rd International Conference on Software Engineering, 2001

1998

Editorial.

Marcelo F. Frias, Armando Martin Haeberer

Log. J. IGPL, 1998

Representability and Program Construction within Fork Algebras.

Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer

Log. J. IGPL, 1998

The Very Idea of Software Development Environments: A Conceptual Architecture for the ARTS Environment Paradigm.

Armando Martin Haeberer, T. S. E. Maibaum

Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering, 1998

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

Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer

Proceedings of the Participants Copies for Relational Methods in Logic, 1998

1997

A Finite Axiomatization for Fork Algebras.

Marcelo F. Frias, Armando Martin Haeberer, Paulo A. S. Veloso

Log. J. IGPL, 1997

Fork Algebras in Algebra, Logic and Computer Science.

Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer

Fundam. Informaticae, 1997

Representability and Program Construction within Fork Algebras (Part II).

Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer

Proceedings of the Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, 1997

Fork Algebras.

Armando Martin Haeberer, Marcelo F. Frias, Gabriel Baum, Paulo A. S. Veloso

Proceedings of the Relational Methods in Computer Science., 1997

1996

From Specifications to Programs: A Fork-Algebraic Approach to Bridge the Gap.

Gabriel Baum, Marcelo F. Frias, Armando Martin Haeberer, Pablo E. Martínez López

Proceedings of the Mathematical Foundations of Computer Science 1996, 1996

Adding Design Strategies to Fork Algebras.

Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer

Proceedings of the Perspectives of System Informatics, 1996

1995

PLATO: A Tool to Assist Programming as Term Rewriting and Therem Proving.

Andre J. Sampaio, Armando Martin Haeberer, Claudio T. Prates, Cristina D. Ururahy, Marcelo F. Frias, Neudson C. Albuquerque

Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

1993

On the Smooth Calculation of Relational Recursive Expressions out of First-Order Non-Constructive Specifications Involving Quantifiers.

Armando Martin Haeberer, Gabriel Baum, Gunther Schmidt

Proceedings of the Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28, 1993

Comparing Two Different Approaches to Products in Abstract Relation Algebra.

Rudolf Berghammer, Armando Martin Haeberer, Gunther Schmidt, Paulo A. S. Veloso

Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993

1973

A Method for the Construction of Isomorphisms of the First "n" Natural Numbers onto a Set of Non-Abelian Words.

Armando Martin Haeberer

SIGIR Forum, 1973