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/282)
Ekspordi
ekspordi kõik päringu tulemused
(2)
Salvesta TXT fail
Salvesta PDF 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
281
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.
animation design
18.
architectural design
19.
argumentative design
20.
ASIC design
21.
Baroque garden design
22.
battery design
23.
Benign by design
24.
bioinspired design
25.
biomimetic design
26.
Box–Behnken experimental design methodology
27.
building design
28.
building design management
29.
building performance design
30.
C design
31.
Central composite design
32.
co-design
33.
co-design strategies
34.
collaborative design
35.
compatibility design techniques
36.
component design
37.
component-based design
38.
computational design
39.
computational design method
40.
computational design methods
41.
computational mechanics and design
42.
computer aided design
43.
computer-aided architectural design (CAAD)
44.
computer-aided design
45.
conceptual design
46.
conformational design
47.
control design
48.
control system design
49.
control systems design
50.
cooling design
51.
cost-effective design
52.
cost-oriented design
53.
course design
54.
courses on electronic testing and design
55.
curriculum design
56.
cylindrical cell design
57.
database design
58.
design
59.
design activity
60.
design and implementation of Performance Management Systems
61.
design and test
62.
design aspects
63.
design automation
64.
design cognition
65.
design collaboration
66.
design development
67.
design dimensions
68.
design domains
69.
design education
70.
design entrepreneurship
71.
design error localization
72.
design errors
73.
design evaluation
74.
design experiments
75.
design field testing
76.
design flaw
77.
design for disassembly
78.
design for experiments
79.
design for health
80.
design for manufacturability
81.
design for manufacture
82.
design for quality
83.
design for testability
84.
design function
85.
design globally-produce locally
86.
design impact
87.
design inefficiencies
88.
design language
89.
design management
90.
design management concept
91.
design management problems
92.
design measuring
93.
Design method
94.
design methodology
95.
design methods
96.
design model
97.
design modularisation
98.
design modularity
99.
design obfuscation
100.
design of experiments
101.
Design of glass canopy
102.
design optimization
103.
design outdoor conditions
104.
design outdoor temperature
105.
design patterns
106.
design principles of FMS
107.
design process
108.
design quality
109.
design rhetoric
110.
design science
111.
design science research
112.
design skills
113.
design smell
114.
design space
115.
design space exploration
116.
design standards
117.
design structure matrix
118.
design structure matrix technology
119.
design support systems
120.
design system
121.
design tactics
122.
design theory
123.
design thinking
124.
design tools
125.
design understanding
126.
design value
127.
design worlds
128.
design, technologies and economics competencies
129.
design-driven business model
130.
design-driven innovation
131.
design-driven innovations
132.
design-for-test
133.
design-for-testability
134.
design-science
135.
DHW Design Flow Rate
136.
digital design course
137.
digital design education
138.
digital FIR filter design
139.
digital integrated circuit (IC) design
140.
Digital test and testable design
141.
duct design
142.
early design
143.
early design digital tools
144.
early design phases
145.
early design stages
146.
educational design
147.
electrical machine design
148.
emerging design practices
149.
Energy Efficiency Design Index (EEDI)
150.
engineering design
151.
envelope design
152.
environmental design
153.
evolutive design process
154.
experimental design
155.
facade design
156.
fairway design
157.
fault tolerant router design
158.
fire design
159.
fire design model
160.
fire safety design
161.
FPGA/PSoC design
162.
frequency sampling filter design
163.
generative design
164.
hardware design
165.
hardware/software co-design
166.
health promoting urban planning and design
167.
high-speed design
168.
human-centric design
169.
Hydraulic design
170.
industrial design
171.
initial planning or design stage
172.
institutional design
173.
institutional quality and design
174.
integrated circuit design
175.
integrated design
176.
integrated design environment
177.
interaction design pattern
178.
iterative design
179.
iterative modelling and control design
180.
job design
181.
KMS design
182.
knowledge-based design
183.
landscape design
184.
lean design
185.
lean design management
186.
legal design standards
187.
logic design
188.
logistics curriculum design
189.
low-power ASIC design
190.
machine design
191.
market design
192.
materials design
193.
mechanical engineering design
194.
mechanism design
195.
mechanism design theory
196.
mixed-signal design
197.
mixed-use design
198.
model-driven design
199.
molecular design
200.
monitoring and application design
201.
multi-criteria design
202.
multidimensional design
203.
multi-layered curriculum design
204.
multi-pole model design
205.
nanoelectronic systems design
206.
nano-electronic systems design
207.
object-oriented design
208.
observer design
209.
open design
210.
optimal design
211.
optimal-design
212.
optimization of the mechanical design
213.
package design solution
214.
parallel design and test
215.
parametric design
216.
parametric generative design
217.
participatory design
218.
passive design
219.
passive design strategies
220.
passive design strategy
221.
pavement design
222.
performance-based design
223.
performance-driven design
224.
performance-driven urban design
225.
physical design
226.
PMS design
227.
policy design
228.
positive energy districts design
229.
power converters design
230.
principle of orthogonal design
231.
proto-theory of design
232.
quality-by-design
233.
Regenerative Design
234.
remote design
235.
research design
236.
resilient urban design
237.
robot design
238.
robust design optimization
239.
safe-by-design
240.
sampling design
241.
satellite design
242.
secure ASIC Design
243.
service and product design
244.
service design
245.
service design (SD)
246.
shelter design evaluation
247.
shift-adds design
248.
signal design
249.
slotless design
250.
social design
251.
soft robot materials and design
252.
software design
253.
solar design
254.
stormwater-resilient urban design
255.
structural fire design
256.
structure of design space
257.
sustainable design
258.
synchronic design process
259.
system design
260.
teaching design and test of systems
261.
technical design
262.
test model design
263.
textile-design
264.
thermal design
265.
trademark and design law
266.
transaction design
267.
transactional design
268.
uplink control channel design
269.
urban design
270.
urban design research
271.
urban planning and design
272.
user-centred design
273.
user-driven design processes
274.
value centric design
275.
value-centric design
276.
ventilation design
277.
virtual design and construction
278.
visualization design and evaluation methods
279.
work-holder design
280.
workplace design
281.
voxel-design approach
märksõna
1
1.
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