Flvio Oquendo

Formal Refinement of Software Architectures Based on Rewriting Logic

Thomas Bolusset, Flvio Oquendo, 2002 .

1er Conférence francophone sur les Architectures Logicielles (CAL 2006), 4-6 September 2006, Nantes, France

Dalila Tamzalit, Mourad Oussalah, Tahar Khammaci, 2006, CAL.

ArchWare ADL:Definition of Textual Concrete Syntax

Ronald Morrison, Sorana Cîmpan, Dharini Balasubramaniam, 2002 .