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/281)
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
280
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.
high-speed design
169.
human-centric design
170.
Hydraulic design
171.
industrial design
172.
initial planning or design stage
173.
institutional design
174.
institutional quality and design
175.
integrated circuit design
176.
integrated design
177.
integrated design environment
178.
interaction design pattern
179.
iterative design
180.
iterative modelling and control design
181.
job design
182.
KMS design
183.
landscape design
184.
lean design
185.
lean design management
186.
legal design standards
187.
logic design
188.
logistics curriculum design
189.
low-power ASIC design
190.
machine design
191.
market design
192.
materials design
193.
mechanical engineering design
194.
mechanism design
195.
mechanism design theory
196.
mixed-signal design
197.
mixed-use design
198.
model-driven design
199.
molecular design
200.
monitoring and application design
201.
multi-criteria design
202.
multidimensional design
203.
multi-layered curriculum design
204.
multi-pole model design
205.
nanoelectronic systems design
206.
nano-electronic systems design
207.
object-oriented design
208.
observer design
209.
open design
210.
optimal design
211.
optimal-design
212.
optimization of the mechanical design
213.
package design solution
214.
parallel design and test
215.
parametric design
216.
parametric generative design
217.
participatory design
218.
passive design
219.
passive design strategies
220.
passive design strategy
221.
pavement design
222.
performance-driven design
223.
performance-driven urban design
224.
physical design
225.
PMS design
226.
policy design
227.
positive energy districts design
228.
power converters design
229.
principle of orthogonal design
230.
proto-theory of design
231.
quality-by-design
232.
Regenerative Design
233.
remote design
234.
research design
235.
resilient urban design
236.
robot design
237.
robust design optimization
238.
safe-by-design
239.
sampling design
240.
satellite design
241.
secure ASIC Design
242.
service and product design
243.
service design
244.
service design (SD)
245.
shelter design evaluation
246.
shift-adds design
247.
signal design
248.
slotless design
249.
social design
250.
soft robot materials and design
251.
software design
252.
solar design
253.
stormwater-resilient urban design
254.
structural fire design
255.
structure of design space
256.
sustainable design
257.
synchronic design process
258.
system design
259.
teaching design and test of systems
260.
technical design
261.
test model design
262.
textile-design
263.
thermal design
264.
trademark and design law
265.
transaction design
266.
transactional design
267.
uplink control channel design
268.
urban design
269.
urban design research
270.
urban planning and design
271.
user-centred design
272.
user-driven design processes
273.
value centric design
274.
value-centric design
275.
ventilation design
276.
virtual design and construction
277.
visualization design and evaluation methods
278.
work-holder design
279.
workplace design
280.
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