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
2009
Tag: 2009
Generating instance models from meta models
sigsand
-
October 29, 2020
0
A systematic approach to generate B preconditions: application to the database domain
sigsand
-
October 29, 2020
0
Adherence preserving refinement of trace-set properties in STAIRS: exemplified for information flow properties and...
sigsand
-
October 29, 2020
0
A reconfiguration pattern for distributed embedded systems
sigsand
-
October 29, 2020
0
Redesign of UML class diagrams: a formal approach
sigsand
-
October 29, 2020
0
A UML-based quantitative framework for early prediction of resource usage and load in distributed...
sigsand
-
October 29, 2020
0
A compositional semantics of UML-RSDS
sigsand
-
October 29, 2020
0
Nivel: a metamodelling language with a formal semantics
sigsand
-
October 29, 2020
0
Generating relational database transactions from eb 3 attribute definitions
sigsand
-
October 29, 2020
0
Towards an integrated graph-based semantics for UML
sigsand
-
October 29, 2020
0
1
2
3
...
15
Page 1 of 15
