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]

Authors

Thomas Lambolais

This author has not been identified. Look up 'Thomas Lambolais' in Google

Anne-lise Courbis

This author has not been identified. Look up 'Anne-lise Courbis' in Google

Hong-Viet Luong

This author has not been identified. Look up 'Hong-Viet Luong' in Google

Christian Percebois

This author has not been identified. Look up 'Christian Percebois' in Google
  翻译: