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