| 2001 |
|---|
| 15 | | Armando Martin Haeberer,
T. S. E. Maibaum:
Scientific Rigour, an Answer to a Pragmatic Question: A Linguistic Framework for Software Engineering.
ICSE 2001: 463-472 |
| 1999 |
|---|
| 14 | | Armando Martin Haeberer:
Algebraic Methodology and Software Technology, 7th International Conference, AMAST '98, Amazonia, Brasil, January 4-8, 1999, Proceedings
Springer 1999 |
| 1998 |
|---|
| 13 | EE | Armando Martin Haeberer,
T. S. E. Maibaum:
The Very Idea of Software Development Environments: A Conceptual Architecture for the ARTS Environment Paradigm.
ASE 1998: 260-271 |
| 12 | | Marcelo F. Frias,
Gabriel Baum,
Armando Martin Haeberer:
A calculus for program construction based on fork algebras, generic algorithms and design strategies.
RelMiCS 1998: 75-79 |
| 11 | EE | Marcelo F. Frias,
Armando Martin Haeberer:
Editorial.
Logic Journal of the IGPL 6(2): 151-156 (1998) |
| 10 | EE | Marcelo F. Frias,
Gabriel Baum,
Armando Martin Haeberer:
Representability and Program Construction within Fork Algebras.
Logic Journal of the IGPL 6(2): 227-257 (1998) |
| 1997 |
|---|
| 9 | | Marcelo F. Frias,
Gabriel Baum,
Armando Martin Haeberer:
Representability and Program Construction within Fork Algebras (Part II).
RelMiCS 1997: 351-358 |
| 8 | | Marcelo F. Frias,
Gabriel Baum,
Armando Martin Haeberer:
Fork Algebras in Algebra, Logic and Computer Science.
Fundam. Inform. 32(1): 1-25 (1997) |
| 7 | EE | Marcelo F. Frias,
Armando Martin Haeberer,
Paulo A. S. Veloso:
A Finite Axiomatization for Fork Algebras.
Logic Journal of the IGPL 5(3): (1997) |
| 1996 |
|---|
| 6 | | Marcelo F. Frias,
Gabriel Baum,
Armando Martin Haeberer:
Adding Design Strategies to Fork Algebras.
Ershov Memorial Conference 1996: 214-226 |
| 5 | | 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: 180-191 |
| 1995 |
|---|
| 4 | | 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: 797-798 |
| 1993 |
|---|
| 3 | | Rudolf Berghammer,
Armando Martin Haeberer,
Gunther Schmidt,
Paulo A. S. Veloso:
Comparing Two Different Approaches to Products in Abstract Relation Algebra.
AMAST 1993: 167-176 |
| 2 | | 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: 281-298 |
| 1973 |
|---|
| 1 | EE | 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): 20-25 (1973) |
