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