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