Searching - TalTech Research Portal

Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles

Research Groups

Help and information

Advanced search

Design-by-Contract (keyword)

—

—

Add criteria Simple search filter

Clear

types of item

book ..

journal article ..

newspaper article ..

book article ..

dissertation ..

Open Access ..

Scientific publications ..

year

year of publication

Loading..

Loading..

TalTech department

Loading..

Loading..

Loading..

name of the person

Loading..

Loading..

Clear

Number of records 2
Look more.. (2/336)
Export

export all inquiry results (2)
Save TXT fail

print
Open for editing with marked entries my bookmarks

display

sort
1

book article

Developing multi-view Contracts using Event-B and Uppaal Timed AutomataVain, Jüri; Tsiopoulos, Leonidas; Guin, Jishu2016 21st International Conference on Engineering of Complex Computer Systems : ICECCS 2016 : Dubai, United Arab Emirates, 6-8 November 2016 : proceedings2016 / p. 126-134 : ill https://doi.org/10.1109/ICECCS.2016.024

book article
2

book article

Multi-view modeling for MPSoC design aspects [Online resource]Vain, Jüri; Apneet Kaur; Tsiopoulos, Leonidas; Raik, Jaan; Jenihhin, MaksimBEC 2018 : 2018 16th Biennial Baltic Electronics Conference (BEC) : proceedings of the 16th Biennial Baltic Electronics Conference, October 8-10, 20182018 / 4 p.: ill https://doi.org/10.1109/BEC.2018.8600986

book article

Number of records 2, displaying 1 - 2

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

1. Ignis Fire Design Consulting
2. Legal Design Summit

match

sort

Otsing
Valikud 0

year of publication

author

TalTech department

subject term

series

name of the person

keyword

TalTech Library

Akadeemia tee 1

13519

TalTech homepage TalTech Library homepage Digital Collection of TalTech Library Digiteek Repository

6203551

data@taltech.ee

TalTech Raamatukogu