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
2005
Tag: 2005
STAIRS towards formal design with sequence diagrams
sigsand
-
October 29, 2020
0
The KeY tool: Integrating object oriented design and formal verification
sigsand
-
October 29, 2020
0
UML – the Good, the Bad or the Ugly? Perspectives from a panel of...
sigsand
-
October 29, 2020
0
Model-based a-posteriori integration of engineering tools for incremental development processes
sigsand
-
October 29, 2020
0
A model-driven runtime environment for Web applications
sigsand
-
October 29, 2020
0
Rule-based update transformations and their application to model refactorings
sigsand
-
October 29, 2020
0
PSL: A semantic domain for flow models
sigsand
-
October 29, 2020
0
Automated support for deriving test requirements from UML statecharts
sigsand
-
October 29, 2020
0
Validating UML and OCL models in USE by automatic snapshot generation
sigsand
-
October 29, 2020
0
An Enhanced Data Perturbation Approach for Small Data Sets
sigsand
-
October 29, 2020
0
1
2
3
...
18
Page 1 of 18
