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