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
2013
Tag: 2013
Generating Test Data from OCL Constraints with Search Techniques
sigsand
-
October 29, 2020
0
Integer Linear Programming-Based Property Checking for Asynchronous Reactive Systems
sigsand
-
October 29, 2020
0
Verifying Protocol Conformance Using Software Model Checking for the Model-Driven Development of Embedded Systems
sigsand
-
October 29, 2020
0
Capsule-Based User Interface Modeling for Large-Scale Applications
sigsand
-
October 29, 2020
0
Assessing the Effectiveness of Sequence Diagrams in the Comprehension of Functional Requirements: Results from...
sigsand
-
October 29, 2020
0
Generating Domain-Specific Visual Language Tools from Abstract Visual Specifications
sigsand
-
October 29, 2020
0
The Influence of Notational Deficiencies on Process Model Comprehension
sigsand
-
October 29, 2020
0
Extending Classification Principles from Information Modeling to Other Disciplines
sigsand
-
October 29, 2020
0
Designing Interaction Routines in Service Networks: A Modularity and Social ConstructionBased Approach
sigsand
-
October 22, 2020
0
Detecting summarizability in OLAP
sigsand
-
October 22, 2020
0
1
2
3
...
19
Page 2 of 19
