Este trabalho apresenta uma representação gráfica para LOTOS (Language of Temporal Ordering Specification), uma técnica de descrição formal para a especificação de sistemas distribuídos. A principal característica desta representação gráfica é sua simplicidade, onde os principais aspectos da especificação são facilmente visualizados, facilitando o desenvolvimento e aumentando a clareza, uma característica importante quando se trata de especificações formais.

http://www.lbd.dcc.ufmg.br/colecoes/sbes/1989/008.pdf

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

BDBComp - Biblioteca Digital Brasileira de Computação
BDBComp
Parceria:
SBC
Este trabalho apresenta uma representação gráfica para LOTOS (Language of Temporal Ordering Specification), uma técnica de descrição formal para a especificação de sistemas distribuídos. A principal característica desta representação gráfica é sua simplicidade, onde os principais aspectos da especificação são facilmente visualizados, facilitando o desenvolvimento e aumentando a clareza, uma característica importante quando se trata de especificações formais.

http://www.lbd.dcc.ufmg.br/colecoes/sbes/1989/008.pdf

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: bdbcomp@lbd.dcc.ufmg.br
     Mantida por:
LBD