title = { A Framework for Contract-Based Reasoning: Motivation and Application },
    author = {Quinton, Sophie and Graf, Susanne},
    year = {2008},
    booktitle = {Second Workshop on Formal Languages and Analysis of Contract-Oriented Software, FLACOS, Malta, november 2008},
    team = {DCS},
    abstract = {In addition to the paper in SEFM'2008, we show here several examples of compositional reasoning frameworks presented in the literature, that they can be considered as particular instances of our framework. We consider a contract-based reasoning framework for I/O automata and for modal I/O automata introduced recently by Kim Larsen et al.},


Contact | Plan du site | Site réalisé avec SPIP 4.2.8 + AHUNTSIC [CC License]

info visites 3973294