Login / Signup
On TGG Ability for Transforming UML 2 Sequence Diagrams with Imbricate Combined Fragments to π-Calculus Specifications.
Nabil Messaoudi
Allaoua Chaoui
Mourad Derardja
Mohamed Bettaz
Published in:
ANT/SEIT (2016)
Keyphrases
</>
sequence diagrams
class diagram
class diagrams
uml models
petri net
activity diagrams
intermediate representation
model based testing
regression testing
test cases
high level
object oriented
unified modelling language
specification language
uml class diagrams
dependency graph
reverse engineering