Open source, component systems, and formal methods

Mike Reed

In this lecture, we present an overview of our current and planned work at UNU-IIST in the specification and verification of component systems. In particular, we discuss major projects in open source software and e-governance; these projects are aimed at building the software capacity for self determination in the developing world. We also discuss the relationship of this work to the ”Grand Challenge” by Tony Hoare to develop a self-verifying complier.

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato:
     Mantida por: