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