Skip navigation
Home
Browse
Communities
& Collections
Browse Items by:
Issue Date
Author
Title
Subject
Help
Sign on to:
My DSpace
Receive email
updates
Edit Profile
DSpace
JSPUI
DSpace preserves and enables easy and open access to all types of digital content including text, images, moving images, mpegs and data sets
Learn More
Defense Acquisition Innovation Repository
Browsing by Author Alejandro Salado
Jump to:
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
or enter first few letters:
Sort by:
title
issue date
submit date
In order:
Ascending
Descending
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Authors/Record:
All
1
5
10
15
20
25
30
35
40
45
50
Showing results 1 to 9 of 9
Issue Date
Title
Author(s)
2018-04-30
A Mathematical Framework to Apply Tradespace Exploration to the Design of Verification Strategies
Alejandro Salado
;
Farshad Farkhondehmaal
2019-09-16
Automatic Generation of Contractual Requirements from MBSE Artifacts
Alejandro Salado
;
Paul Wach
2019-05-13
Automatic Generation of Contractual Requirements From MBSE Artifacts
Alejandro Salado
;
Paul Wach
2021-05-19
Contractual Safety of Model-Based Requirements: Preliminary Results of an Experimental Study
Niloofar Shadab
;
Alejandro Salado
2019-08-29
Dynamic Contracting of Verification Activities by Applying Set-based Design to the Definition of Verification Strategies
Alejandro Salado
2019-05-13
From Model-Based Reqs to Contractual Reqs
Alejandro Salado
;
Paul Wach
2019-05-13
Set-Based Design of Verification Strategies
Peng Xu
;
Alejandro Salado
2019-05-13
Towards the Dynamic Contracting of Verification Activities With Set-Based Design: An Initial Model of Rework
Peng Xu
;
Alejandro Salado
2018-09-05
Tradespace Exploration for better Verification Strategies
Alejandro Salado
