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/327)
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
325
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 day
75.
design development
76.
design dimensions
77.
design domains
78.
design education
79.
design entrepreneurship
80.
design error localization
81.
design errors
82.
design evaluation
83.
design experiments
84.
design exploration
85.
design fiction
86.
design field testing
87.
design flaw
88.
design for disassembly
89.
design for experiments
90.
design for health
91.
design for manufacturability
92.
design for manufacture
93.
design for quality
94.
design for safety
95.
design for testability
96.
design function
97.
design globally-produce locally
98.
design impact
99.
design inefficiencies
100.
design language
101.
design management
102.
design management concept
103.
design management problems
104.
design management training
105.
design measuring
106.
Design method
107.
design methodology
108.
design methods
109.
design model
110.
design modularisation
111.
design modularity
112.
design obfuscation
113.
design of experiments
114.
Design of glass canopy
115.
design optimization
116.
design outdoor conditions
117.
design outdoor temperature
118.
design patterns
119.
design principles of FMS
120.
design process
121.
design quality
122.
design rhetoric
123.
design science
124.
design science research
125.
design skills
126.
design smell
127.
design space
128.
design space exploration
129.
design standards
130.
design structure matrix
131.
design structure matrix technology
132.
design support systems
133.
design system
134.
design tactics
135.
design theory
136.
design thinking
137.
design tools
138.
design understanding
139.
design value
140.
design worlds
141.
design, technologies and economics competencies
142.
design-driven business model
143.
design-driven innovation
144.
design-driven innovations
145.
design-for-test
146.
design-for-testability
147.
design-science
148.
DHW Design Flow Rate
149.
Die design
150.
digital design course
151.
digital design education
152.
digital FIR filter design
153.
digital integrated circuit (IC) design
154.
Digital test and testable design
155.
drug design
156.
dual stator design
157.
duct design
158.
early design
159.
early design digital tools
160.
early design phases
161.
early design stages
162.
educational design
163.
electrical machine design
164.
electronic design automation
165.
emerging design practices
166.
Energy Efficiency Design Index (EEDI)
167.
engineering design
168.
envelope design
169.
environmental design
170.
escape room design
171.
evolutive design process
172.
experimental design
173.
facade design
174.
fairway design
175.
fast boat design
176.
fault tolerant router design
177.
fire design
178.
fire design model
179.
fire safety design
180.
FPGA/PSoC design
181.
frequency sampling filter design
182.
generative design
183.
hardware design
184.
hardware/software co-design
185.
health promoting urban planning and design
186.
high-speed design
187.
human-centered design
188.
human-centric design
189.
Hydraulic design
190.
IC Design
191.
immersive design
192.
industrial design
193.
initial planning or design stage
194.
institutional design
195.
institutional quality and design
196.
integrated circuit design
197.
integrated design
198.
integrated design environment
199.
interaction design pattern
200.
inverse design
201.
iterative design
202.
iterative modelling and control design
203.
job design
204.
KMS design
205.
knowledge-based design
206.
landscape design
207.
lean design
208.
lean design management
209.
learning design
210.
legal design
211.
legal design standards
212.
logic design
213.
logistics curriculum design
214.
low-power ASIC design
215.
machine design
216.
market design
217.
materials design
218.
mechanical engineering design
219.
mechanism design
220.
mechanism design theory
221.
mixed-signal design
222.
mixed-use design
223.
model-driven design
224.
molecular design
225.
monitoring and application design
226.
multi-criteria design
227.
multidimensional design
228.
multi-layered curriculum design
229.
multi-pole model design
230.
nanoelectronic systems design
231.
nano-electronic systems design
232.
object-oriented design
233.
observer design
234.
online design error debug
235.
open design
236.
optimal design
237.
optimal-design
238.
optimization of the mechanical design
239.
package design solution
240.
parallel design and test
241.
parametric design
242.
parametric generative design
243.
participatory design
244.
passive design
245.
passive design strategies
246.
passive design strategy
247.
pavement design
248.
pedagogical design model
249.
performance-based design
250.
performance-driven design
251.
performance-driven urban design
252.
physical design
253.
PMS design
254.
policy design
255.
positive energy districts design
256.
power converters design
257.
principle of orthogonal design
258.
privacy by design
259.
proto-theory of design
260.
quality-by-design
261.
Regenerative Design
262.
remote design
263.
research design
264.
resilient urban design
265.
robot design
266.
robust design optimization
267.
safe-by-design
268.
sampling design
269.
satellite design
270.
school design
271.
secure ASIC Design
272.
security-by-design
273.
service and product design
274.
service design
275.
service design (SD)
276.
shelter design evaluation
277.
shift-adds design
278.
signal design
279.
simulations-driven design
280.
size-specific implant design
281.
slotless design
282.
social design
283.
sociotechnical design
284.
soft robot materials and design
285.
software design
286.
solar design
287.
stormwater-resilient urban design
288.
structural fire design
289.
structure of design space
290.
sustainable design
291.
synchronic design process
292.
system analysis and design
293.
system design
294.
target value design
295.
teaching design and test of systems
296.
technical design
297.
technological design
298.
test model design
299.
textile-design
300.
thermal design
301.
timber fire design
302.
time-domain design
303.
touch-free system design
304.
trademark and design law
305.
transaction design
306.
transactional design
307.
universal design
308.
uplink control channel design
309.
urban design
310.
urban design research
311.
urban planning and design
312.
user interface and experience design
313.
user interface design
314.
user-centred design
315.
user-centred design (UCD)
316.
user-driven design processes
317.
value centric design
318.
value-based design
319.
value-centric design
320.
ventilation design
321.
virtual design and construction
322.
visualization design and evaluation methods
323.
work-holder design
324.
workplace design
325.
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