Armando Martin Haeberer

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2001
Scientific Rigour, an Answer to a Pragmatic Question: A Linguistic Framework for Software Engineering.
Proceedings of the 23rd International Conference on Software Engineering, 2001

1998
Editorial.
Logic Journal of the IGPL, 1998

Representability and Program Construction within Fork Algebras.
Logic Journal of the IGPL, 1998

The Very Idea of Software Development Environments: A Conceptual Architecture for the ARTS Environment Paradigm.
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.
Proceedings of the Participants Copies for Relational Methods in Logic, 1998

1997
A Finite Axiomatization for Fork Algebras.
Logic Journal of the IGPL, 1997

Fork Algebras in Algebra, Logic and Computer Science.
Fundam. Inform., 1997

Representability and Program Construction within Fork Algebras (Part II).
Proceedings of the Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, 1997

1996
From Specifications to Programs: A Fork-Algebraic Approach to Bridge the Gap.
Proceedings of the Mathematical Foundations of Computer Science 1996, 1996

Adding Design Strategies to Fork Algebras.
Proceedings of the Perspectives of System Informatics, 1996

1995
PLATO: A Tool to Assist Programming as Term Rewriting and Therem Proving.
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.
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.
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.
SIGIR Forum, 1973


  Loading...