Travelled to:
1 × Canada
Collaborated with:
T.S.E.Maibaum A.J.Sampaio C.T.Prates C.D.Ururahy M.F.Frias N.C.Albuquerque
Talks about:
softwar (2) environ (2) architectur (1) framework (1) scientif (1) question (1) paradigm (1) linguist (1) conceptu (1) program (1)
Person: Armando Martin Haeberer
DBLP: Haeberer:Armando_Martin
Contributed to:
Wrote 3 papers:
- ICSE-2001-HaebererM #framework #re-engineering
- Scientific Rigour, an Answer to a Pragmatic Question: A Linguistic Framework for Software Engineering (AMH, TSEM), pp. 463–472.
- ASE-1998-HaebererM #architecture #concept #development #idea #paradigm
- The Very Idea of Software Development Environments: A Conceptual Architecture for the ARTS Environment Paradigm (AMH, TSEM), pp. 260–271.
- TAPSOFT-1995-SampaioHPUFA #named #programming #proving #term rewriting
- PLATO: A Tool to Assist Programming as Term Rewriting and Therem Proving (AJS, AMH, CTP, CDU, MFF, NCA), pp. 797–798.