Armando Martin Haeberer

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