Armando Martin Haeberer

Publication Activity (10 Years)

Years Active: 1973-2001
Publications (10 Years): 0

Publications

Armando Martin Haeberer, T. S. E. Maibaum
Scientific Rigour, an Answer to a Pragmatic Question: A Linguistic Framework for Software Engineering. ICSE (2001)
Armando Martin Haeberer, T. S. E. Maibaum
The Very Idea of Software Development Environments: A Conceptual Architecture for the ARTS Environment Paradigm. ASE (1998)
Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer
Representability and Program Construction within Fork Algebras. Log. J. IGPL 6 (2) (1998)
Marcelo F. Frias, Armando Martin Haeberer
Editorial. Log. J. IGPL 6 (2) (1998)
Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer
A calculus for program construction based on fork algebras, generic algorithms and design strategies. RelMiCS (1998)
Marcelo F. Frias, Armando Martin Haeberer, Paulo A. S. Veloso
A Finite Axiomatization for Fork Algebras. Log. J. IGPL 5 (3) (1997)
Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer
Representability and Program Construction within Fork Algebras (Part II). RelMiCS (1997)
Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer
Fork Algebras in Algebra, Logic and Computer Science. Fundam. Informaticae 32 (1) (1997)
Gabriel Baum, Marcelo F. Frias, Armando Martin Haeberer, Pablo E. Martínez López
From Specifications to Programs: A Fork-Algebraic Approach to Bridge the Gap. MFCS (1996)
Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer
Adding Design Strategies to Fork Algebras. Ershov Memorial Conference (1996)
Andre J. Sampaio, Armando Martin Haeberer, Claudio T. Prates, Cristina D. Ururahy, Marcelo F. Frias, Neudson C. Albuquerque
PLATO: A Tool to Assist Programming as Term Rewriting and Therem Proving. TAPSOFT (1995)
Armando Martin Haeberer, Gabriel Baum, Gunther Schmidt
On the Smooth Calculation of Relational Recursive Expressions out of First-Order Non-Constructive Specifications Involving Quantifiers. Formal Methods in Programming and Their Applications (1993)
Rudolf Berghammer, Armando Martin Haeberer, Gunther Schmidt, Paulo A. S. Veloso
Comparing Two Different Approaches to Products in Abstract Relation Algebra. AMAST (1993)
Armando Martin Haeberer
A Method for the Construction of Isomorphisms of the First "n" Natural Numbers onto a Set of Non-Abelian Words. SIGIR Forum 8 (1) (1973)