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