Portal de Periódicos da CAPES

A refinement calculus for software components and architectures

2005; Association for Computing Machinery; Volume: 30; Issue: 5 Linguagem: Inglês

10.1145/1095430.1081767

1943-5843

Marco António Barbosa,

Formal Methods in Verification

The complexity and ubiquity achieved by software in the present world makes it imperative, more than ever, the availability of both technologies and sound methods to drive its development. Programming ' in--the--large ', component--based programming and software architecture are popular expressions which embody this concern and correspond to driving forces in current software engineering. In such a context, this paper reports on the research, which constitutes the PhD project of the author, on a formal calculus for reasoning about and transforming component--based architectures.