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