Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Liitotsing
Valitud kirjed
0
contract-based design (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Lisa tingimus
Lihtotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
2
Vaata veel..
(2/282)
Ekspordi
ekspordi kõik päringu tulemused
(2)
Salvesta TXT fail
Salvesta PDF fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
2
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Kirjeid leitud 2, kuvan
1 - 2
võtmesõna
281
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
36.
co-design strategies
37.
collaborative design
38.
compatibility design techniques
39.
component design
40.
computational design
41.
computational design method
42.
computational design methods
43.
computational mechanics and design
44.
computer aided design
45.
computer-aided architectural design (CAAD)
46.
computer-aided design
47.
conceptual design
48.
conformational design
49.
control design
50.
control system design
51.
control systems design
52.
cooling design
53.
cost-effective design
54.
cost-oriented design
55.
course design
56.
courses on electronic testing and design
57.
curriculum design
58.
cylindrical cell design
59.
database design
60.
design
61.
design activity
62.
design and implementation of Performance Management Systems
63.
design and test
64.
design aspects
65.
design automation
66.
design cognition
67.
design collaboration
68.
design development
69.
design dimensions
70.
design domains
71.
design education
72.
design entrepreneurship
73.
design error localization
74.
design errors
75.
design evaluation
76.
design experiments
77.
design field testing
78.
design flaw
79.
design for disassembly
80.
design for experiments
81.
design for health
82.
design for manufacturability
83.
design for manufacture
84.
design for quality
85.
design for testability
86.
design function
87.
design globally-produce locally
88.
design impact
89.
design inefficiencies
90.
design language
91.
design management
92.
design management concept
93.
design management problems
94.
design measuring
95.
Design method
96.
design methodology
97.
design methods
98.
design model
99.
design modularisation
100.
design modularity
101.
design obfuscation
102.
design of experiments
103.
Design of glass canopy
104.
design optimization
105.
design outdoor conditions
106.
design outdoor temperature
107.
design patterns
108.
design principles of FMS
109.
design process
110.
design quality
111.
design rhetoric
112.
design science
113.
design science research
114.
design skills
115.
design smell
116.
design space
117.
design space exploration
118.
design standards
119.
design structure matrix
120.
design structure matrix technology
121.
design support systems
122.
design system
123.
design tactics
124.
design theory
125.
design thinking
126.
design tools
127.
design understanding
128.
design value
129.
design worlds
130.
design, technologies and economics competencies
131.
design-driven business model
132.
design-driven innovation
133.
design-driven innovations
134.
design-for-test
135.
design-for-testability
136.
design-science
137.
DHW Design Flow Rate
138.
digital design course
139.
digital design education
140.
digital FIR filter design
141.
digital integrated circuit (IC) design
142.
Digital test and testable design
143.
duct design
144.
early design
145.
early design digital tools
146.
early design phases
147.
early design stages
148.
educational design
149.
electrical machine design
150.
emerging design practices
151.
Energy Efficiency Design Index (EEDI)
152.
engineering design
153.
envelope design
154.
environmental design
155.
evolutive design process
156.
experimental design
157.
facade design
158.
fairway design
159.
fault tolerant router design
160.
fire design
161.
fire design model
162.
fire safety design
163.
FPGA/PSoC design
164.
frequency sampling filter design
165.
generative design
166.
hardware design
167.
hardware/software co-design
168.
health promoting urban planning and design
169.
high-speed design
170.
human-centric design
171.
Hydraulic design
172.
industrial design
173.
initial planning or design stage
174.
institutional design
175.
institutional quality and design
176.
integrated circuit design
177.
integrated design
178.
integrated design environment
179.
interaction design pattern
180.
iterative design
181.
iterative modelling and control design
182.
job design
183.
KMS design
184.
landscape design
185.
lean design
186.
lean design management
187.
legal design standards
188.
logic design
189.
logistics curriculum design
190.
low-power ASIC design
191.
machine design
192.
market design
193.
materials design
194.
mechanical engineering design
195.
mechanism design
196.
mechanism design theory
197.
mixed-signal design
198.
mixed-use design
199.
model-driven design
200.
molecular design
201.
monitoring and application design
202.
multi-criteria design
203.
multidimensional design
204.
multi-layered curriculum design
205.
multi-pole model design
206.
nanoelectronic systems design
207.
nano-electronic systems design
208.
object-oriented design
209.
observer design
210.
open design
211.
optimal design
212.
optimal-design
213.
optimization of the mechanical design
214.
package design solution
215.
parallel design and test
216.
parametric design
217.
parametric generative design
218.
participatory design
219.
passive design
220.
passive design strategies
221.
passive design strategy
222.
pavement design
223.
performance-driven design
224.
performance-driven urban design
225.
physical design
226.
PMS design
227.
policy design
228.
positive energy districts design
229.
power converters design
230.
principle of orthogonal design
231.
proto-theory of design
232.
quality-by-design
233.
Regenerative Design
234.
remote design
235.
research design
236.
resilient urban design
237.
robot design
238.
robust design optimization
239.
safe-by-design
240.
sampling design
241.
satellite design
242.
secure ASIC Design
243.
service and product design
244.
service design
245.
service design (SD)
246.
shelter design evaluation
247.
shift-adds design
248.
signal design
249.
slotless design
250.
social design
251.
soft robot materials and design
252.
software design
253.
solar design
254.
stormwater-resilient urban design
255.
structural fire design
256.
structure of design space
257.
sustainable design
258.
synchronic design process
259.
system design
260.
teaching design and test of systems
261.
technical design
262.
test model design
263.
textile-design
264.
thermal design
265.
trademark and design law
266.
transaction design
267.
transactional design
268.
uplink control channel design
269.
urban design
270.
urban design research
271.
urban planning and design
272.
user-centred design
273.
user-driven design processes
274.
value centric design
275.
value-centric design
276.
ventilation design
277.
virtual design and construction
278.
visualization design and evaluation methods
279.
work-holder design
280.
workplace design
281.
voxel-design approach
märksõna
1
1.
Legal Design Summit
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT