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