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