A Compositional Specification Theory for Component Behaviours.

Taolue Chen Chris Chilton Bengt Jonsson Marta Z. Kwiatkowska

Published in: ESOP (2012)

Keyphrases

computational model
formal methods
theoretical framework
theoretical basis
computer vision
website
case study
natural language
evolutionary algorithm
software components
formal specification
general theory
formal verification
user behaviour