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/296)
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
295
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.
Die design
140.
digital design course
141.
digital design education
142.
digital FIR filter design
143.
digital integrated circuit (IC) design
144.
Digital test and testable design
145.
drug design
146.
dual stator design
147.
duct design
148.
early design
149.
early design digital tools
150.
early design phases
151.
early design stages
152.
educational design
153.
electrical machine design
154.
emerging design practices
155.
Energy Efficiency Design Index (EEDI)
156.
engineering design
157.
envelope design
158.
environmental design
159.
evolutive design process
160.
experimental design
161.
facade design
162.
fairway design
163.
fast boat design
164.
fault tolerant router design
165.
fire design
166.
fire design model
167.
fire safety design
168.
FPGA/PSoC design
169.
frequency sampling filter design
170.
generative design
171.
hardware design
172.
hardware/software co-design
173.
health promoting urban planning and design
174.
high-speed design
175.
human-centric design
176.
Hydraulic design
177.
IC Design
178.
industrial design
179.
initial planning or design stage
180.
institutional design
181.
institutional quality and design
182.
integrated circuit design
183.
integrated design
184.
integrated design environment
185.
interaction design pattern
186.
iterative design
187.
iterative modelling and control design
188.
job design
189.
KMS design
190.
knowledge-based design
191.
landscape design
192.
lean design
193.
lean design management
194.
learning design
195.
legal design standards
196.
logic design
197.
logistics curriculum design
198.
low-power ASIC design
199.
machine design
200.
market design
201.
materials design
202.
mechanical engineering design
203.
mechanism design
204.
mechanism design theory
205.
mixed-signal design
206.
mixed-use design
207.
model-driven design
208.
molecular design
209.
monitoring and application design
210.
multi-criteria design
211.
multidimensional design
212.
multi-layered curriculum design
213.
multi-pole model design
214.
nanoelectronic systems design
215.
nano-electronic systems design
216.
object-oriented design
217.
observer design
218.
open design
219.
optimal design
220.
optimal-design
221.
optimization of the mechanical design
222.
package design solution
223.
parallel design and test
224.
parametric design
225.
parametric generative design
226.
participatory design
227.
passive design
228.
passive design strategies
229.
passive design strategy
230.
pavement design
231.
performance-based design
232.
performance-driven design
233.
performance-driven urban design
234.
physical design
235.
PMS design
236.
policy design
237.
positive energy districts design
238.
power converters design
239.
principle of orthogonal design
240.
proto-theory of design
241.
quality-by-design
242.
Regenerative Design
243.
remote design
244.
research design
245.
resilient urban design
246.
robot design
247.
robust design optimization
248.
safe-by-design
249.
sampling design
250.
satellite design
251.
secure ASIC Design
252.
service and product design
253.
service design
254.
service design (SD)
255.
shelter design evaluation
256.
shift-adds design
257.
signal design
258.
simulations-driven design
259.
slotless design
260.
social design
261.
soft robot materials and design
262.
software design
263.
solar design
264.
stormwater-resilient urban design
265.
structural fire design
266.
structure of design space
267.
sustainable design
268.
synchronic design process
269.
system design
270.
target value design
271.
teaching design and test of systems
272.
technical design
273.
test model design
274.
textile-design
275.
thermal design
276.
touch-free system design
277.
trademark and design law
278.
transaction design
279.
transactional design
280.
universal design
281.
uplink control channel design
282.
urban design
283.
urban design research
284.
urban planning and design
285.
user interface design
286.
user-centred design
287.
user-driven design processes
288.
value centric design
289.
value-centric design
290.
ventilation design
291.
virtual design and construction
292.
visualization design and evaluation methods
293.
work-holder design
294.
workplace design
295.
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