Specifying High-Assurance Services
2008; IEEE Computer Society; Volume: 41; Issue: 8 Linguagem: Inglês
10.1109/mc.2008.308
ISSN1558-0814
AutoresColin Atkinson, Daniel Brenner, Giovanni Falcone, Monika Juhasz,
Tópico(s)Advanced Malware Detection Techniques
ResumoAn 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)