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