11 search results - page 3 / 3 » Top-Down Modeling Methodology for Model-Driven SOA Construct... |
ASM
2008
ASM
13 years 6 months ago
2008
ASM
anguage (Event B), hence staying at the same abstraction level. Thus we take advantage from the Event B method: (i) it is possible to use the method during the whole development pr...