Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.

Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-08-22T19:52:23Z No. of bitstreams: 1 ANA EMÍLIA VICTOR BARBOSA - DISSERTAÇÃO PPGCC 2007..pdf: 1669761 bytes, checksum: f47054507fe9200c8d1d56d2848ae276 (MD5) === Made available in DSpace on 2018-08-22T19:52:23Z (GMT). No. of bitstre...

Full description

Bibliographic Details
Main Author: BARBOSA, Ana Emília Victor.
Other Authors: GUERRERO, Dalton Dario Serey.
Language:Portuguese
Published: Universidade Federal de Campina Grande 2007
Subjects:
Ciência da Computação.
Detecção automática de violações
Sistemas concorrentes
Sistema de software concorrentes
Design by Contract - DbC
Lógica linear temporal
Linear Time Logic - LTL
Comportamento de programas
Tempo de execução - programas
Competing software system
DesignMonitor
Programação orientad a aspectos com AspectJ
Online Access:http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/1532

Internet

http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/1532

Similar Items