Generating FoCaLiZe Specifications from UML Models.

Messaoud Abbas Choukri-Bey Ben-Yelles Renaud Rioboo

Published in: ICAASE (2014)

Keyphrases

uml models
written in natural language
object oriented
sequence diagrams
test cases
high level
information systems
image data
access control
formal specification
delay insensitive