Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Searching
My bookmarks
0
Design-by-Contract (keyword)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
Add criteria
Advanced search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publications
..
year
year of publication
Loading..
author
Loading..
TalTech department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
2
Look more..
(2/332)
Export
export all inquiry results
(2)
Save TXT fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
book article
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
book article
2
book article
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
book article
Number of records 2, displaying
1 - 2
keyword
330
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.
lightweight design
216.
logic design
217.
logistics curriculum design
218.
low-power ASIC design
219.
machine design
220.
market design
221.
materials design
222.
mechanical engineering design
223.
mechanism design
224.
mechanism design theory
225.
mixed-signal design
226.
mixed-use design
227.
model-based design
228.
model-driven design
229.
molecular design
230.
monitoring and application design
231.
multi-criteria design
232.
multidimensional design
233.
multi-layered curriculum design
234.
multi-pole model design
235.
nanoelectronic systems design
236.
nano-electronic systems design
237.
object-oriented design
238.
observer design
239.
online design error debug
240.
open design
241.
optimal design
242.
optimal-design
243.
optimization of the mechanical design
244.
package design solution
245.
parallel design and test
246.
parametric design
247.
parametric generative design
248.
participatory design
249.
passive design
250.
passive design strategies
251.
passive design strategy
252.
pavement design
253.
pedagogical design model
254.
performance-based design
255.
performance-driven design
256.
performance-driven urban design
257.
physical design
258.
PMS design
259.
policy design
260.
positive energy districts design
261.
power converters design
262.
principle of orthogonal design
263.
privacy by design
264.
proto-theory of design
265.
quality-by-design
266.
Regenerative Design
267.
remote design
268.
research design
269.
resilient urban design
270.
robot design
271.
robust design optimization
272.
safe-by-design
273.
sampling design
274.
satellite design
275.
school design
276.
secure ASIC Design
277.
security-by-design
278.
service and product design
279.
service design
280.
service design (SD)
281.
shelter design evaluation
282.
shift-adds design
283.
signal design
284.
simulations-driven design
285.
size-specific implant design
286.
slotless design
287.
social design
288.
sociotechnical design
289.
soft robot materials and design
290.
software design
291.
solar design
292.
stormwater-resilient urban design
293.
structural fire design
294.
structure of design space
295.
sustainable design
296.
synchronic design process
297.
system analysis and design
298.
system design
299.
target value design
300.
teaching design and test of systems
301.
technical design
302.
technological design
303.
test model design
304.
textile-design
305.
thermal design
306.
timber fire design
307.
time-domain design
308.
touch-free system design
309.
trademark and design law
310.
transaction design
311.
transactional design
312.
universal design
313.
uplink control channel design
314.
urban design
315.
urban design research
316.
urban planning and design
317.
user interface and experience design
318.
user interface design
319.
user-centred design
320.
user-centred design (UCD)
321.
user-driven design processes
322.
value centric design
323.
value-based design
324.
value-centric design
325.
ventilation design
326.
virtual design and construction
327.
visualization design and evaluation methods
328.
work-holder design
329.
workplace design
330.
voxel-design approach
subject term
2
1.
Ignis Fire Design Consulting
2.
Legal Design Summit
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TalTech department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TalTech department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT