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