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