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
Tags
2017
Tag: 2017
Contract-based modeling and verification of timed safety requirements within SysML
sigsand
-
October 29, 2020
0
Promoting traits into model-driven development
sigsand
-
October 29, 2020
0
Language-specific model checking of UML-RT models
sigsand
-
October 29, 2020
0
An integrated semantics for reasoning about SysML design models using refinement
sigsand
-
October 29, 2020
0
Supporting inheritance hierarchy changes in model-based regression test selection
sigsand
-
October 29, 2020
0
Generating process model collections
sigsand
-
October 29, 2020
0
Designing secure business processes with SecBPMN
sigsand
-
October 29, 2020
0
Aspectual templates in UML: Enhancing the semantics of UML templates in OCL
sigsand
-
October 29, 2020
0
The IDAR graph
sigsand
-
October 29, 2020
0
Process mining using BPMN: relating event logs and process models
sigsand
-
October 29, 2020
0
1
2
3
...
19
Page 1 of 19
