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