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