Artigo Revisado por pares

Specifying High-Assurance Services

2008; IEEE Computer Society; Volume: 41; Issue: 8 Linguagem: Inglês

10.1109/mc.2008.308

ISSN

1558-0814

Autores

Colin Atkinson, Daniel Brenner, Giovanni Falcone, Monika Juhasz,

Tópico(s)

Advanced Malware Detection Techniques

Resumo

An enhanced approach to service specification strikes a better balance between machine processibility and human readability, and emphasizes testing- as well as reasoning-based assurance techniques. Built-in tests check the compatibility of interacting services at runtime and automatically pinpoint contract mismatches.

Referência(s)
Altmetric
PlumX