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 publications
..
year
year of publication
Loading..
author
Loading..
TalTech department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
2
Look more..
(2/324)
Export
export all inquiry results
(2)
Save TXT 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
322
1.
design tactics
2.
design methodology and human-centred design
3.
Action design research
4.
algorithm design and theory
5.
algorithmic design
6.
analytical quality by design
7.
animation design
8.
approximate arithmetic design
9.
architectural design
10.
argumentative design
11.
ASIC design
12.
Baroque garden design
13.
battery design
14.
Benign by design
15.
bioinspired design
16.
biomimetic design
17.
Box–Behnken experimental design methodology
18.
breakwater design
19.
building design
20.
building design management
21.
building performance design
22.
C design
23.
Central composite design
24.
ChatGPT in course design
25.
circuit design
26.
circuits design
27.
co-design
28.
co-design strategies
29.
collaborative design
30.
collaborative industry/university education design
31.
compatibility design techniques
32.
component design
33.
component-based design
34.
computational design
35.
computational design method
36.
computational design methods
37.
computational mechanics and design
38.
computer aided design
39.
computer-aided architectural design (CAAD)
40.
computer-aided design
41.
computer-aided design (CAD)
42.
conceptual design
43.
conformational design
44.
contract-based design
45.
control design
46.
control system design
47.
control systems design
48.
cooling design
49.
cost-effective design
50.
cost-oriented design
51.
course design
52.
courses on electronic testing and design
53.
curriculum design
54.
cylindrical cell design
55.
database design
56.
design
57.
design activity
58.
Design and assessment methods
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 day
66.
design development
67.
design dimensions
68.
design domains
69.
design education
70.
design entrepreneurship
71.
design error localization
72.
design errors
73.
design evaluation
74.
design experiments
75.
design exploration
76.
design fiction
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 safety
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 management training
96.
design measuring
97.
Design method
98.
design methodology
99.
design methods
100.
design model
101.
design modularisation
102.
design modularity
103.
design obfuscation
104.
design of experiments
105.
Design of glass canopy
106.
design optimization
107.
design outdoor conditions
108.
design outdoor temperature
109.
design patterns
110.
design principles of FMS
111.
design process
112.
design quality
113.
design rhetoric
114.
design science
115.
design science research
116.
design skills
117.
design smell
118.
design space
119.
design space exploration
120.
design standards
121.
design structure matrix
122.
design structure matrix technology
123.
design support systems
124.
design system
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-by-Contract
133.
design-driven business model
134.
design-driven innovation
135.
design-driven innovations
136.
design-for-test
137.
design-for-testability
138.
design-science
139.
Detector design and construction technologies and materials
140.
DHW Design Flow Rate
141.
Die design
142.
digital design course
143.
digital design education
144.
digital FIR filter design
145.
digital integrated circuit (IC) design
146.
Digital test and testable design
147.
drug design
148.
dual stator design
149.
duct design
150.
early design
151.
early design digital tools
152.
early design phases
153.
early design stages
154.
educational design
155.
electrical machine design
156.
electronic design automation
157.
emerging design practices
158.
Energy Efficiency Design Index (EEDI)
159.
engineering design
160.
envelope design
161.
environmental design
162.
escape room design
163.
evolutive design process
164.
experimental design
165.
facade design
166.
fairway design
167.
fast boat design
168.
fault tolerant router design
169.
fire design
170.
fire design model
171.
fire safety design
172.
FPGA/PSoC design
173.
frequency sampling filter design
174.
generative design
175.
hardware design
176.
hardware/software co-design
177.
health promoting urban planning and design
178.
high-speed design
179.
human-centered design
180.
human-centric design
181.
Hydraulic design
182.
IC Design
183.
immersive 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.
inverse design
193.
iterative design
194.
iterative modelling and control design
195.
job design
196.
KMS design
197.
knowledge-based design
198.
landscape design
199.
lean design
200.
lean design management
201.
learning design
202.
legal design
203.
legal design standards
204.
life cycle assessment in building design
205.
lightweight design
206.
logic design
207.
logistics curriculum design
208.
low-power ASIC design
209.
machine design
210.
market design
211.
materials design
212.
mechanical engineering design
213.
mechanism design
214.
mechanism design theory
215.
mixed-signal design
216.
mixed-use design
217.
model-based design
218.
model-driven design
219.
molecular design
220.
monitoring and application design
221.
multi-criteria design
222.
multidimensional design
223.
multi-layered curriculum design
224.
multi-objective design
225.
multi-pole model design
226.
nanoelectronic systems design
227.
nano-electronic systems design
228.
object-oriented design
229.
observer design
230.
online design error debug
231.
open design
232.
optimal design
233.
optimal-design
234.
optimization of the mechanical design
235.
package design solution
236.
parallel design and test
237.
parametric design
238.
parametric design optimization
239.
parametric generative design
240.
participatory design
241.
passive design
242.
passive design strategies
243.
passive design strategy
244.
pavement design
245.
pedagogical design model
246.
performance-based design
247.
performance-driven design
248.
performance-driven urban design
249.
physical design
250.
PMS design
251.
policy design
252.
positive energy districts design
253.
power converters design
254.
principle of orthogonal design
255.
privacy by design
256.
proto-theory of design
257.
quality-by-design
258.
Regenerative Design
259.
remote design
260.
research design
261.
resilient urban design
262.
robot design
263.
robust design optimization
264.
safe-by-design
265.
sampling design
266.
satellite design
267.
school design
268.
secure ASIC Design
269.
security-by-design
270.
service and product design
271.
service design
272.
service design (SD)
273.
shelter design evaluation
274.
shift-adds design
275.
signal design
276.
simulations-driven design
277.
size-specific implant design
278.
slotless design
279.
social design
280.
sociotechnical design
281.
soft robot materials and design
282.
software design
283.
solar design
284.
stormwater-resilient urban design
285.
structural fire design
286.
structure of design space
287.
sustainable design
288.
synchronic design process
289.
system analysis and design
290.
system design
291.
target value design
292.
teaching design and test of systems
293.
technical design
294.
technological design
295.
test model design
296.
textile-design
297.
thermal design
298.
timber fire design
299.
time-domain design
300.
touch-free system design
301.
trademark and design law
302.
transaction design
303.
transactional design
304.
universal design
305.
uplink control channel design
306.
urban design
307.
urban design research
308.
urban planning and design
309.
user interface and experience design
310.
user interface design
311.
user-centred design
312.
user-centred design (UCD)
313.
user-driven design processes
314.
value centric design
315.
value-based design
316.
value-centric design
317.
ventilation design
318.
virtual design and construction
319.
visualization design and evaluation methods
320.
work-holder design
321.
workplace design
322.
voxel-design approach
subject term
2
1.
Ignis Fire Design Consulting
2.
Legal Design Summit
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TalTech department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TalTech department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT