Armando M. Haeberer

Publications

103

Citations

H-Index

1991

Active since

Affiliations

Pontifícia Universidade Católica do Rio de Janeiro(Current)

Armando M. Haeberer is an author at Pontifícia Universidade Católica do Rio de Janeiro specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringDesignFormal MethodsDesign ThinkingSoftware DesignAutomated ReasoningArchitectural DesignSoftware EngineeringSoftware MaintenanceSoftware Architecture

Publications per year

1991–2002

Publications

Fork Algebras in Algebra, Logic and Computer Science

Marcelo F. Frias, Gabriel Alfredo Baum, Armando M. Haeberer · Fundamenta Informaticae · 1997 · 55 citations

Algebraic Logic, Abstract Algebra, Engineering +9

A finitary relational algebra for classical first-order logic

Paulo A. S. Veloso, Armando M. Haeberer · 1991 · 17 citations

Formal Logic, Finitary Relational Algebra, Non-monotonic Logic +11

Scientific rigour, an answer to a pragmatic question: a linguistic framework for software engineering

Armando M. Haeberer, T. S. E. Maibaum · International Conference on Software Engineering · 2001 · 17 citations

Software Maintenance, Engineering, Pragmatic Analysis +28

The very idea of software development environments: a conceptual architecture for the arts' environment paradigm

Armando M. Haeberer, T. S. E. Maibaum · 2002 · 14 citations

Software Maintenance, Conceptual Architecture, Engineering +21

Rows per page

1–4 of 4