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