IDF: A framework for the incremental development and conformance verification of UML active primitive components

Thomas Lambolais, Anne-lise Courbis, Hong-Viet Luong, Christian Percebois. IDF: A framework for the incremental development and conformance verification of UML active primitive components. Journal of Systems and Software, 113:275-295, 2016. [doi]

Abstract

Abstract is missing.

  翻译: