Correct by Prognosis: Methodology for a Contract-Based Refinement of Evolution Models

Tayfun Gezgin, Christoph Etzien. Correct by Prognosis: Methodology for a Contract-Based Refinement of Evolution Models. In Frédéric Boulanger, Daniel Krob, Gérard Morel, Jean-Claude Roussel, editors, Proceedings of the Poster Workshop at the 2014 Complex Systems Design & Management International Conference co-located with 5th International Conference on Complex System Design & Management (CSD&M 2014), Paris, France, November 12th, 2014. Volume 1234 of CEUR Workshop Proceedings, pages 89-100, CEUR-WS.org, 2014. [doi]