On Components with Explicit Protocols Satisfying a Notion of Correctness by Construction.

Andrés Farías Mario Südholt

Published in: OTM (2002)

Keyphrases

data sets
correctness criterion
genetic algorithm
search engine
social networks
website
similarity measure
multiscale
digital libraries
building blocks
formal model
security protocols
construction process
communication protocol