Sign in
Home
Publications
SAND in Journals
SAND in Conferences
Symposium
SIGSAND 2023
Teaching
Events
About
Sign in
Welcome!
Log into your account
your username
your password
Forgot your password?
Password recovery
Recover your password
your email
Search
Sign in
Welcome! Log into your account
your username
your password
Forgot your password? Get help
Password recovery
Recover your password
your email
A password will be e-mailed to you.
SigSand
planning - designing - developing IT
Special Interest Group on Systems Analysis and Design
Home
Publications
SAND in Journals
SAND in Conferences
Symposium
SIGSAND 2023
Teaching
Events
About
Home
Authors
Posts by sigsand
sigsand
4309 POSTS
0 COMMENTS
Formalization of UML state machines using temporal logic
sigsand
-
October 29, 2020
0
Automated formal verification of visual modeling languages by model checking
sigsand
-
October 29, 2020
0
Automatic generation of UML profile graphical editors for Papyrus
sigsand
-
October 29, 2020
0
Metamodel specialization for graphical language support
sigsand
-
October 29, 2020
0
A method of refinement in UML-B
sigsand
-
October 29, 2020
0
Execution of UML models: a systematic review of research and practice
sigsand
-
October 29, 2020
0
Supporting inheritance hierarchy changes in model-based regression test selection
sigsand
-
October 29, 2020
0
A UML/OCL framework for the analysis of graph transformation rules
sigsand
-
October 29, 2020
0
Interactive web interfaces modeling, simulation and analysis using Colored Petri Nets
sigsand
-
October 29, 2020
0
Automated support for deriving test requirements from UML statecharts
sigsand
-
October 29, 2020
0
1
...
12
13
14
...
431
Page 13 of 431
