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