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