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