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/280)
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
279
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.
human-centric design
167.
Hydraulic design
168.
industrial design
169.
initial planning or design stage
170.
institutional design
171.
institutional quality and design
172.
integrated circuit design
173.
integrated design
174.
integrated design environment
175.
interaction design pattern
176.
iterative design
177.
iterative modelling and control design
178.
job design
179.
KMS design
180.
knowledge-based design
181.
landscape design
182.
lean design
183.
lean design management
184.
legal design standards
185.
logic design
186.
logistics curriculum design
187.
low-power ASIC design
188.
machine design
189.
market design
190.
materials design
191.
mechanical engineering design
192.
mechanism design
193.
mechanism design theory
194.
mixed-signal design
195.
mixed-use design
196.
model-driven design
197.
molecular design
198.
monitoring and application design
199.
multi-criteria design
200.
multidimensional design
201.
multi-layered curriculum design
202.
multi-pole model design
203.
nanoelectronic systems design
204.
nano-electronic systems design
205.
object-oriented design
206.
observer design
207.
open design
208.
optimal design
209.
optimal-design
210.
optimization of the mechanical design
211.
package design solution
212.
parallel design and test
213.
parametric design
214.
parametric generative design
215.
participatory design
216.
passive design
217.
passive design strategies
218.
passive design strategy
219.
pavement design
220.
performance-based design
221.
performance-driven design
222.
performance-driven urban design
223.
physical design
224.
PMS design
225.
policy design
226.
positive energy districts design
227.
power converters design
228.
principle of orthogonal design
229.
proto-theory of design
230.
quality-by-design
231.
Regenerative Design
232.
remote design
233.
research design
234.
resilient urban design
235.
robot design
236.
robust design optimization
237.
safe-by-design
238.
sampling design
239.
satellite design
240.
secure ASIC Design
241.
service and product design
242.
service design
243.
service design (SD)
244.
shelter design evaluation
245.
shift-adds design
246.
signal design
247.
slotless design
248.
social design
249.
soft robot materials and design
250.
software design
251.
solar design
252.
stormwater-resilient urban design
253.
structural fire design
254.
structure of design space
255.
sustainable design
256.
synchronic design process
257.
system design
258.
teaching design and test of systems
259.
technical design
260.
test model design
261.
textile-design
262.
thermal design
263.
trademark and design law
264.
transaction design
265.
transactional design
266.
uplink control channel design
267.
urban design
268.
urban design research
269.
urban planning and design
270.
user-centred design
271.
user-driven design processes
272.
value centric design
273.
value-centric design
274.
ventilation design
275.
virtual design and construction
276.
visualization design and evaluation methods
277.
work-holder design
278.
workplace design
279.
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