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/324)
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
322
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.
inverse design
199.
iterative design
200.
iterative modelling and control design
201.
job design
202.
KMS design
203.
knowledge-based design
204.
landscape design
205.
lean design
206.
lean design management
207.
learning design
208.
legal design
209.
legal design standards
210.
logic design
211.
logistics curriculum design
212.
low-power ASIC design
213.
machine design
214.
market design
215.
materials design
216.
mechanical engineering design
217.
mechanism design
218.
mechanism design theory
219.
mixed-signal design
220.
mixed-use design
221.
model-driven design
222.
molecular design
223.
monitoring and application design
224.
multi-criteria design
225.
multidimensional design
226.
multi-layered curriculum design
227.
multi-pole model design
228.
nanoelectronic systems design
229.
nano-electronic systems design
230.
object-oriented design
231.
observer design
232.
online design error debug
233.
open design
234.
optimal design
235.
optimal-design
236.
optimization of the mechanical design
237.
package design solution
238.
parallel design and test
239.
parametric design
240.
parametric generative design
241.
participatory design
242.
passive design
243.
passive design strategies
244.
passive design strategy
245.
pavement design
246.
pedagogical design model
247.
performance-based design
248.
performance-driven design
249.
performance-driven urban design
250.
physical design
251.
PMS design
252.
policy design
253.
positive energy districts design
254.
power converters design
255.
principle of orthogonal design
256.
privacy by design
257.
proto-theory of design
258.
quality-by-design
259.
Regenerative Design
260.
remote design
261.
research design
262.
resilient urban design
263.
robot design
264.
robust design optimization
265.
safe-by-design
266.
sampling design
267.
satellite design
268.
school design
269.
secure ASIC Design
270.
security-by-design
271.
service and product design
272.
service design
273.
service design (SD)
274.
shelter design evaluation
275.
shift-adds design
276.
signal design
277.
simulations-driven design
278.
size-specific implant design
279.
slotless design
280.
social design
281.
sociotechnical design
282.
soft robot materials and design
283.
software design
284.
solar design
285.
stormwater-resilient urban 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.
timber fire design
300.
touch-free system design
301.
trademark and design law
302.
transaction design
303.
transactional design
304.
universal design
305.
uplink control channel design
306.
urban design
307.
urban design research
308.
urban planning and design
309.
user interface and experience design
310.
user interface design
311.
user-centred design
312.
user-centred design (UCD)
313.
user-driven design processes
314.
value centric design
315.
value-based design
316.
value-centric design
317.
ventilation design
318.
virtual design and construction
319.
visualization design and evaluation methods
320.
work-holder design
321.
workplace design
322.
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