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
Otsing
Valitud kirjed
0
contract-based design (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
sõna
algab
täpne vaste
vabatekst
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
sõna
algab
täpne vaste
vabatekst
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
sõna
algab
täpne vaste
vabatekst
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
sõna
algab
täpne vaste
vabatekst
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
sõna
algab
täpne vaste
vabatekst
—
Lisa tingimus
Liitotsing
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/338)
Ekspordi
ekspordi kõik päringu tulemused
(2)
Salvesta TXT 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
336
1.
contract-based design
2.
Design-by-Contract
3.
component-based design
4.
knowledge-based design
5.
model-based design
6.
performance-based design
7.
value-based design
8.
contract for difference (CfD)
9.
contract specificity
10.
contract workforce
11.
hybrid smart-contract agreement
12.
life cycle contract
13.
maritime energy contract
14.
psychological contract
15.
ricardian contract
16.
smart contract
17.
smart contract language
18.
temporal contract
19.
design methodology and human-centred design
20.
Action design research
21.
algorithm design and theory
22.
algorithmic design
23.
analytical quality by design
24.
animation design
25.
approximate arithmetic design
26.
architectural design
27.
argumentative design
28.
ASIC design
29.
Baroque garden design
30.
battery design
31.
Benign by design
32.
bioinspired design
33.
biomimetic design
34.
Box–Behnken experimental design methodology
35.
breakwater design
36.
building design
37.
building design management
38.
building performance design
39.
C design
40.
Central composite design
41.
ChatGPT in course design
42.
circuit design
43.
circuits design
44.
co-design
45.
co-design strategies
46.
collaborative design
47.
collaborative industry/university education design
48.
compatibility design techniques
49.
component design
50.
computational design
51.
computational design method
52.
computational design methods
53.
computational mechanics and design
54.
computer aided design
55.
computer-aided architectural design (CAAD)
56.
computer-aided design
57.
computer-aided design (CAD)
58.
conceptual design
59.
conformational design
60.
control design
61.
control system design
62.
control systems design
63.
cooling design
64.
cost-effective design
65.
cost-oriented design
66.
course design
67.
courses on electronic testing and design
68.
curriculum design
69.
cylindrical cell design
70.
database design
71.
design
72.
design activity
73.
Design and assessment methods
74.
design and implementation of Performance Management Systems
75.
design and test
76.
design aspects
77.
design automation
78.
design cognition
79.
design collaboration
80.
design day
81.
design development
82.
design dimensions
83.
design domains
84.
design education
85.
design entrepreneurship
86.
design error localization
87.
design errors
88.
design evaluation
89.
design experiments
90.
design exploration
91.
design fiction
92.
design field testing
93.
design flaw
94.
design for disassembly
95.
design for experiments
96.
design for health
97.
design for manufacturability
98.
design for manufacture
99.
design for quality
100.
design for safety
101.
design for testability
102.
design function
103.
design globally-produce locally
104.
design impact
105.
design inefficiencies
106.
design language
107.
design management
108.
design management concept
109.
design management problems
110.
design management training
111.
design measuring
112.
Design method
113.
design methodology
114.
design methods
115.
design model
116.
design modularisation
117.
design modularity
118.
design obfuscation
119.
design of experiments
120.
Design of glass canopy
121.
design optimization
122.
design outdoor conditions
123.
design outdoor temperature
124.
design patterns
125.
design principles of FMS
126.
design process
127.
design quality
128.
design rhetoric
129.
design science
130.
design science research
131.
design skills
132.
design smell
133.
design space
134.
design space exploration
135.
design standards
136.
design structure matrix
137.
design structure matrix technology
138.
design support systems
139.
design system
140.
design tactics
141.
design theory
142.
design thinking
143.
design tools
144.
design understanding
145.
design value
146.
design worlds
147.
design, technologies and economics competencies
148.
design-driven business model
149.
design-driven innovation
150.
design-driven innovations
151.
design-for-test
152.
design-for-testability
153.
design-science
154.
Detector design and construction technologies and materials
155.
DHW Design Flow Rate
156.
Die design
157.
digital design course
158.
digital design education
159.
digital FIR filter design
160.
digital integrated circuit (IC) design
161.
digital learning tool design development
162.
Digital test and testable design
163.
drug design
164.
dual stator design
165.
duct design
166.
early design
167.
early design digital tools
168.
early design phases
169.
early design stages
170.
educational design
171.
electrical machine design
172.
electronic design automation
173.
emerging design practices
174.
Energy Efficiency Design Index (EEDI)
175.
engineering design
176.
envelope design
177.
environmental design
178.
escape room design
179.
evolutive design process
180.
experimental design
181.
facade design
182.
fairway design
183.
fast boat design
184.
fault tolerant router design
185.
fire design
186.
fire design model
187.
fire safety design
188.
FPGA/PSoC design
189.
frequency sampling filter design
190.
generative design
191.
hardware design
192.
hardware/software co-design
193.
health promoting urban planning and design
194.
high-speed design
195.
human-centered design
196.
human-centric design
197.
humanity-centred design
198.
Hydraulic design
199.
IC Design
200.
immersive design
201.
industrial design
202.
initial planning or design stage
203.
institutional design
204.
institutional quality and design
205.
integrated circuit design
206.
integrated design
207.
integrated design environment
208.
interaction design pattern
209.
inverse design
210.
iterative design
211.
iterative modelling and control design
212.
job design
213.
KMS design
214.
landscape design
215.
lean design
216.
lean design management
217.
learning design
218.
legal design
219.
legal design standards
220.
life cycle assessment in building design
221.
lightweight design
222.
logic design
223.
logistics curriculum design
224.
low-power ASIC design
225.
machine design
226.
magnetic design
227.
market design
228.
materials design
229.
mechanical engineering design
230.
mechanism design
231.
mechanism design theory
232.
mixed-signal design
233.
mixed-use design
234.
model-driven design
235.
molecular design
236.
monitoring and application design
237.
multi-criteria design
238.
multidimensional design
239.
multi-layered curriculum design
240.
multi-objective design
241.
multi-pole model design
242.
nanoelectronic systems design
243.
nano-electronic systems design
244.
object-oriented design
245.
observer design
246.
online design error debug
247.
open design
248.
optimal design
249.
optimal-design
250.
optimization of the mechanical design
251.
package design solution
252.
parallel design and test
253.
parametric design
254.
parametric design optimization
255.
parametric generative design
256.
participatory design
257.
passive design
258.
passive design strategies
259.
passive design strategy
260.
pavement design
261.
pedagogical design model
262.
performance-driven design
263.
performance-driven urban design
264.
physical design
265.
PMS design
266.
policy design
267.
positive energy districts design
268.
power converters design
269.
principle of orthogonal design
270.
privacy by design
271.
proto-theory of design
272.
quality-by-design
273.
Regenerative Design
274.
remote design
275.
research design
276.
resilient urban design
277.
robot design
278.
robust design optimization
279.
safe-by-design
280.
sampling design
281.
satellite design
282.
school design
283.
secure ASIC Design
284.
security-by-design
285.
service and product design
286.
service design
287.
service design (SD)
288.
shelter design evaluation
289.
shift-adds design
290.
signal design
291.
simulations-driven design
292.
size-specific implant design
293.
slotless design
294.
social design
295.
sociotechnical design
296.
soft robot materials and design
297.
software design
298.
solar design
299.
stormwater-resilient urban design
300.
structural fire design
301.
structure of design space
302.
sustainable design
303.
synchronic design process
304.
system analysis and design
305.
system design
306.
target value design
307.
teaching design and test of systems
308.
technical design
309.
technological design
310.
test model design
311.
textile-design
312.
thermal design
313.
timber fire design
314.
time-domain design
315.
touch-free system design
316.
trademark and design law
317.
transaction design
318.
transactional design
319.
universal design
320.
uplink control channel design
321.
urban design
322.
urban design research
323.
urban planning and design
324.
user interface and experience design
325.
user interface design
326.
user-centred design
327.
user-centred design (UCD)
328.
user-driven design processes
329.
value centric design
330.
value-centric design
331.
ventilation design
332.
virtual design and construction
333.
visualization design and evaluation methods
334.
work-holder design
335.
workplace design
336.
voxel-design approach
märksõna
2
1.
Ignis Fire Design Consulting
2.
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