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