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