Definition of an Executable SPEM 2.0.

Reda Bendraou Benoît Combemale Xavier Crégut Marie-Pierre Gervais

Published in: APSEC (2007)

Keyphrases

data sets
relational databases
formal specification
real time
high level
process model