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/312)
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
310
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.
performance-driven design
245.
performance-driven urban design
246.
physical design
247.
PMS design
248.
policy design
249.
positive energy districts design
250.
power converters design
251.
principle of orthogonal design
252.
proto-theory of design
253.
quality-by-design
254.
Regenerative Design
255.
remote design
256.
research design
257.
resilient urban design
258.
robot design
259.
robust design optimization
260.
safe-by-design
261.
sampling design
262.
satellite design
263.
secure ASIC Design
264.
security-by-design
265.
service and product design
266.
service design
267.
service design (SD)
268.
shelter design evaluation
269.
shift-adds design
270.
signal design
271.
simulations-driven design
272.
slotless design
273.
social design
274.
soft robot materials and design
275.
software design
276.
solar design
277.
stormwater-resilient urban design
278.
structural fire design
279.
structure of design space
280.
sustainable design
281.
synchronic design process
282.
system analysis and design
283.
system design
284.
target value design
285.
teaching design and test of systems
286.
technical design
287.
technological design
288.
test model design
289.
textile-design
290.
thermal design
291.
touch-free system design
292.
trademark and design law
293.
transaction design
294.
transactional design
295.
universal design
296.
uplink control channel design
297.
urban design
298.
urban design research
299.
urban planning and design
300.
user interface design
301.
user-centred design
302.
user-driven design processes
303.
value centric design
304.
value-centric design
305.
ventilation design
306.
virtual design and construction
307.
visualization design and evaluation methods
308.
work-holder design
309.
workplace design
310.
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