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
A systematic approach to generate B preconditions: application to the database...
sigsand
-
October 29, 2020
0
Automatic derivation of BPEL4WS from IDEF0 process models
sigsand
-
October 29, 2020
0
Transformation challenges: from software models to performance models
sigsand
-
October 29, 2020
0
Correct-by-construction synthesis of model transformations using transformation patterns
sigsand
-
October 29, 2020
0
Reusable model transformations
sigsand
-
October 29, 2020
0
OMEGA: correct development of real time and embedded systems
sigsand
-
October 29, 2020
0
Least-change bidirectional model transformation with QVT-R and ATL
sigsand
-
October 29, 2020
0
Modeling and enforcing invariants of dynamic software architectures
sigsand
-
October 29, 2020
0
Automatic generation of built-in contract test drivers
sigsand
-
October 29, 2020
0
Non-functional properties in the model-driven development of service-oriented systems
sigsand
-
October 29, 2020
0
1
...
4
5
6
...
431
Page 5 of 431
