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

Autor: Anne-Lise Courbis, Christian Percebois, Hong-Viet Luong, Thomas Lambolais

Publikováno v: Journal of Systems and Software
Journal of Systems and Software, Elsevier, 2016, 113, pp.275-295. ⟨10.1016/j.jss.2015.11.020⟩
Journal of Systems and Software, Elsevier, 2016, vol. 113, pp. 275-295. ⟨10.1016/j.jss.2015.11.020⟩
Journal of Systems and Software, Elsevier, 2016, 113, pp.275-295

International audience; Modelling component behaviour is widely recognised as a complex task during the specification and design phases of reactive systems. Our proposal for treating this problem involves an incremental approach that allows UML state

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::597545471d12ee8526d84709331ee379
https://doi.org/10.1016/j.jss.2015.11.020