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