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
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
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/334)
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
332
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 test and testable design
162.
drug design
163.
dual stator design
164.
duct design
165.
early design
166.
early design digital tools
167.
early design phases
168.
early design stages
169.
educational design
170.
electrical machine design
171.
electronic design automation
172.
emerging design practices
173.
Energy Efficiency Design Index (EEDI)
174.
engineering design
175.
envelope design
176.
environmental design
177.
escape room design
178.
evolutive design process
179.
experimental design
180.
facade design
181.
fairway design
182.
fast boat design
183.
fault tolerant router design
184.
fire design
185.
fire design model
186.
fire safety design
187.
FPGA/PSoC design
188.
frequency sampling filter design
189.
generative design
190.
hardware design
191.
hardware/software co-design
192.
health promoting urban planning and design
193.
high-speed design
194.
human-centered design
195.
human-centric design
196.
Hydraulic design
197.
IC Design
198.
immersive design
199.
industrial design
200.
initial planning or design stage
201.
institutional design
202.
institutional quality and design
203.
integrated circuit design
204.
integrated design
205.
integrated design environment
206.
interaction design pattern
207.
inverse design
208.
iterative design
209.
iterative modelling and control design
210.
job design
211.
KMS design
212.
landscape design
213.
lean design
214.
lean design management
215.
learning design
216.
legal design
217.
legal design standards
218.
life cycle assessment in building design
219.
lightweight design
220.
logic design
221.
logistics curriculum design
222.
low-power ASIC design
223.
machine design
224.
market design
225.
materials design
226.
mechanical engineering design
227.
mechanism design
228.
mechanism design theory
229.
mixed-signal design
230.
mixed-use design
231.
model-driven design
232.
molecular design
233.
monitoring and application design
234.
multi-criteria design
235.
multidimensional design
236.
multi-layered curriculum design
237.
multi-pole model design
238.
nanoelectronic systems design
239.
nano-electronic systems design
240.
object-oriented design
241.
observer design
242.
online design error debug
243.
open design
244.
optimal design
245.
optimal-design
246.
optimization of the mechanical design
247.
package design solution
248.
parallel design and test
249.
parametric design
250.
parametric design optimization
251.
parametric generative design
252.
participatory design
253.
passive design
254.
passive design strategies
255.
passive design strategy
256.
pavement design
257.
pedagogical design model
258.
performance-driven design
259.
performance-driven urban design
260.
physical design
261.
PMS design
262.
policy design
263.
positive energy districts design
264.
power converters design
265.
principle of orthogonal design
266.
privacy by design
267.
proto-theory of design
268.
quality-by-design
269.
Regenerative Design
270.
remote design
271.
research design
272.
resilient urban design
273.
robot design
274.
robust design optimization
275.
safe-by-design
276.
sampling design
277.
satellite design
278.
school design
279.
secure ASIC Design
280.
security-by-design
281.
service and product design
282.
service design
283.
service design (SD)
284.
shelter design evaluation
285.
shift-adds design
286.
signal design
287.
simulations-driven design
288.
size-specific implant design
289.
slotless design
290.
social design
291.
sociotechnical design
292.
soft robot materials and design
293.
software design
294.
solar design
295.
stormwater-resilient urban design
296.
structural fire design
297.
structure of design space
298.
sustainable design
299.
synchronic design process
300.
system analysis and design
301.
system design
302.
target value design
303.
teaching design and test of systems
304.
technical design
305.
technological design
306.
test model design
307.
textile-design
308.
thermal design
309.
timber fire design
310.
time-domain design
311.
touch-free system design
312.
trademark and design law
313.
transaction design
314.
transactional design
315.
universal design
316.
uplink control channel design
317.
urban design
318.
urban design research
319.
urban planning and design
320.
user interface and experience design
321.
user interface design
322.
user-centred design
323.
user-centred design (UCD)
324.
user-driven design processes
325.
value centric design
326.
value-centric design
327.
ventilation design
328.
virtual design and construction
329.
visualization design and evaluation methods
330.
work-holder design
331.
workplace design
332.
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