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