Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Searching
My bookmarks
0
contract-based design (keyword)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
Add criteria
Advanced search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
2
Look more..
(2/306)
Export
export all inquiry results
(2)
Save TXT fail
Save PDF fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
book article EST
/
book article ENG
Temporal multi-view contracts for efficient test models
Guin, Jishu
;
Vain, Jüri
;
Tsiopoulos, Leonidas
;
Valdek, Gert
Digital Business and Intelligent Systems : 15th International Baltic Conference, Baltic DB&IS 2022, Riga, Latvia, July 4-6, 2022 : proceedings
2022
/
p. 136–151
https://doi.org/10.1007/978-3-031-09850-5_10
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
2
journal article EST
/
journal article ENG
Temporal multi-view contracts help developing efficient test models
Guin, Jishu
;
Vain, Jüri
;
Tsiopoulos, Leonidas
;
Valdek, Gert
Baltic journal of modern computing
2022
/
p. 710-737
https://doi.org/10.22364/bjmc.2022.10.4.07
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Number of records 2, displaying
1 - 2
keyword
305
1.
contract-based design
2.
Design-by-Contract
3.
component-based design
4.
knowledge-based design
5.
performance-based design
6.
contract for difference (CfD)
7.
contract specificity
8.
contract workforce
9.
hybrid smart-contract agreement
10.
life cycle contract
11.
maritime energy contract
12.
psychological contract
13.
ricardian contract
14.
smart contract
15.
smart contract language
16.
temporal contract
17.
design methodology and human-centred design
18.
Action design research
19.
algorithm design and theory
20.
algorithmic design
21.
analytical quality by design
22.
animation design
23.
architectural design
24.
argumentative design
25.
ASIC design
26.
Baroque garden design
27.
battery design
28.
Benign by design
29.
bioinspired design
30.
biomimetic design
31.
Box–Behnken experimental design methodology
32.
breakwater design
33.
building design
34.
building design management
35.
building performance design
36.
C design
37.
Central composite design
38.
circuits design
39.
co-design
40.
co-design strategies
41.
collaborative design
42.
compatibility design techniques
43.
component design
44.
computational design
45.
computational design method
46.
computational design methods
47.
computational mechanics and design
48.
computer aided design
49.
computer-aided architectural design (CAAD)
50.
computer-aided design
51.
computer-aided design (CAD)
52.
conceptual design
53.
conformational design
54.
control design
55.
control system design
56.
control systems design
57.
cooling design
58.
cost-effective design
59.
cost-oriented design
60.
course design
61.
courses on electronic testing and design
62.
curriculum design
63.
cylindrical cell design
64.
database design
65.
design
66.
design activity
67.
Design and assessment methods
68.
design and implementation of Performance Management Systems
69.
design and test
70.
design aspects
71.
design automation
72.
design cognition
73.
design collaboration
74.
design development
75.
design dimensions
76.
design domains
77.
design education
78.
design entrepreneurship
79.
design error localization
80.
design errors
81.
design evaluation
82.
design experiments
83.
design exploration
84.
design field testing
85.
design flaw
86.
design for disassembly
87.
design for experiments
88.
design for health
89.
design for manufacturability
90.
design for manufacture
91.
design for quality
92.
design for testability
93.
design function
94.
design globally-produce locally
95.
design impact
96.
design inefficiencies
97.
design language
98.
design management
99.
design management concept
100.
design management problems
101.
design management training
102.
design measuring
103.
Design method
104.
design methodology
105.
design methods
106.
design model
107.
design modularisation
108.
design modularity
109.
design obfuscation
110.
design of experiments
111.
Design of glass canopy
112.
design optimization
113.
design outdoor conditions
114.
design outdoor temperature
115.
design patterns
116.
design principles of FMS
117.
design process
118.
design quality
119.
design rhetoric
120.
design science
121.
design science research
122.
design skills
123.
design smell
124.
design space
125.
design space exploration
126.
design standards
127.
design structure matrix
128.
design structure matrix technology
129.
design support systems
130.
design system
131.
design tactics
132.
design theory
133.
design thinking
134.
design tools
135.
design understanding
136.
design value
137.
design worlds
138.
design, technologies and economics competencies
139.
design-driven business model
140.
design-driven innovation
141.
design-driven innovations
142.
design-for-test
143.
design-for-testability
144.
design-science
145.
DHW Design Flow Rate
146.
Die design
147.
digital design course
148.
digital design education
149.
digital FIR filter design
150.
digital integrated circuit (IC) design
151.
Digital test and testable design
152.
drug design
153.
dual stator design
154.
duct design
155.
early design
156.
early design digital tools
157.
early design phases
158.
early design stages
159.
educational design
160.
electrical machine design
161.
emerging design practices
162.
Energy Efficiency Design Index (EEDI)
163.
engineering design
164.
envelope design
165.
environmental design
166.
evolutive design process
167.
experimental design
168.
facade design
169.
fairway design
170.
fast boat design
171.
fault tolerant router design
172.
fire design
173.
fire design model
174.
fire safety design
175.
FPGA/PSoC design
176.
frequency sampling filter design
177.
generative design
178.
hardware design
179.
hardware/software co-design
180.
health promoting urban planning and design
181.
high-speed design
182.
human-centered design
183.
human-centric design
184.
Hydraulic design
185.
IC Design
186.
industrial design
187.
initial planning or design stage
188.
institutional design
189.
institutional quality and design
190.
integrated circuit design
191.
integrated design
192.
integrated design environment
193.
interaction design pattern
194.
iterative design
195.
iterative modelling and control design
196.
job design
197.
KMS design
198.
landscape design
199.
lean design
200.
lean design management
201.
learning design
202.
legal design
203.
legal design standards
204.
logic design
205.
logistics curriculum design
206.
low-power ASIC design
207.
machine design
208.
market design
209.
materials design
210.
mechanical engineering design
211.
mechanism design
212.
mechanism design theory
213.
mixed-signal design
214.
mixed-use design
215.
model-driven design
216.
molecular design
217.
monitoring and application design
218.
multi-criteria design
219.
multidimensional design
220.
multi-layered curriculum design
221.
multi-pole model design
222.
nanoelectronic systems design
223.
nano-electronic systems design
224.
object-oriented design
225.
observer design
226.
open design
227.
optimal design
228.
optimal-design
229.
optimization of the mechanical design
230.
package design solution
231.
parallel design and test
232.
parametric design
233.
parametric generative design
234.
participatory design
235.
passive design
236.
passive design strategies
237.
passive design strategy
238.
pavement design
239.
performance-driven design
240.
performance-driven urban design
241.
physical design
242.
PMS design
243.
policy design
244.
positive energy districts design
245.
power converters design
246.
principle of orthogonal design
247.
proto-theory of design
248.
quality-by-design
249.
Regenerative Design
250.
remote design
251.
research design
252.
resilient urban design
253.
robot design
254.
robust design optimization
255.
safe-by-design
256.
sampling design
257.
satellite design
258.
secure ASIC Design
259.
security-by-design
260.
service and product design
261.
service design
262.
service design (SD)
263.
shelter design evaluation
264.
shift-adds design
265.
signal design
266.
simulations-driven design
267.
slotless design
268.
social design
269.
soft robot materials and design
270.
software design
271.
solar design
272.
stormwater-resilient urban design
273.
structural fire design
274.
structure of design space
275.
sustainable design
276.
synchronic design process
277.
system analysis and design
278.
system design
279.
target value design
280.
teaching design and test of systems
281.
technical design
282.
technological design
283.
test model design
284.
textile-design
285.
thermal design
286.
touch-free system design
287.
trademark and design law
288.
transaction design
289.
transactional design
290.
universal design
291.
uplink control channel design
292.
urban design
293.
urban design research
294.
urban planning and design
295.
user interface design
296.
user-centred design
297.
user-driven design processes
298.
value centric design
299.
value-centric design
300.
ventilation design
301.
virtual design and construction
302.
visualization design and evaluation methods
303.
work-holder design
304.
workplace design
305.
voxel-design approach
subject term
1
1.
Legal Design Summit
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT