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
Advanced search
My bookmarks
0
design tactics (keyword)
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
Add criteria
Simple 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/303)
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
301
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.
architectural design
9.
argumentative design
10.
ASIC design
11.
Baroque garden design
12.
battery design
13.
Benign by design
14.
bioinspired design
15.
biomimetic design
16.
Box–Behnken experimental design methodology
17.
breakwater design
18.
building design
19.
building design management
20.
building performance design
21.
C design
22.
Central composite design
23.
circuit design
24.
circuits design
25.
co-design
26.
co-design strategies
27.
collaborative design
28.
compatibility design techniques
29.
component design
30.
component-based design
31.
computational design
32.
computational design method
33.
computational design methods
34.
computational mechanics and design
35.
computer aided design
36.
computer-aided architectural design (CAAD)
37.
computer-aided design
38.
computer-aided design (CAD)
39.
conceptual design
40.
conformational design
41.
contract-based design
42.
control design
43.
control system design
44.
control systems design
45.
cooling design
46.
cost-effective design
47.
cost-oriented design
48.
course design
49.
courses on electronic testing and design
50.
curriculum design
51.
cylindrical cell design
52.
database design
53.
design
54.
design activity
55.
Design and assessment methods
56.
design and implementation of Performance Management Systems
57.
design and test
58.
design aspects
59.
design automation
60.
design cognition
61.
design collaboration
62.
design development
63.
design dimensions
64.
design domains
65.
design education
66.
design entrepreneurship
67.
design error localization
68.
design errors
69.
design evaluation
70.
design experiments
71.
design exploration
72.
design field testing
73.
design flaw
74.
design for disassembly
75.
design for experiments
76.
design for health
77.
design for manufacturability
78.
design for manufacture
79.
design for quality
80.
design for safety
81.
design for testability
82.
design function
83.
design globally-produce locally
84.
design impact
85.
design inefficiencies
86.
design language
87.
design management
88.
design management concept
89.
design management problems
90.
design management training
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 theory
121.
design thinking
122.
design tools
123.
design understanding
124.
design value
125.
design worlds
126.
design, technologies and economics competencies
127.
Design-by-Contract
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.
Die design
136.
digital design course
137.
digital design education
138.
digital FIR filter design
139.
digital integrated circuit (IC) design
140.
Digital test and testable design
141.
drug design
142.
dual stator 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.
electronic design automation
151.
emerging design practices
152.
Energy Efficiency Design Index (EEDI)
153.
engineering design
154.
envelope design
155.
environmental design
156.
escape room design
157.
evolutive design process
158.
experimental design
159.
facade design
160.
fairway design
161.
fast boat design
162.
fault tolerant router design
163.
fire design
164.
fire design model
165.
fire safety design
166.
FPGA/PSoC design
167.
frequency sampling filter design
168.
generative design
169.
hardware design
170.
hardware/software co-design
171.
health promoting urban planning and design
172.
high-speed design
173.
human-centered design
174.
human-centric design
175.
Hydraulic design
176.
IC Design
177.
industrial design
178.
initial planning or design stage
179.
institutional design
180.
institutional quality and design
181.
integrated circuit design
182.
integrated design
183.
integrated design environment
184.
interaction design pattern
185.
iterative design
186.
iterative modelling and control design
187.
job design
188.
KMS design
189.
knowledge-based design
190.
landscape design
191.
lean design
192.
lean design management
193.
learning design
194.
legal design
195.
legal design standards
196.
logic design
197.
logistics curriculum design
198.
low-power ASIC design
199.
machine design
200.
market design
201.
materials design
202.
mechanical engineering design
203.
mechanism design
204.
mechanism design theory
205.
mixed-signal design
206.
mixed-use design
207.
model-driven design
208.
molecular design
209.
monitoring and application design
210.
multi-criteria design
211.
multidimensional design
212.
multi-layered curriculum design
213.
multi-pole model design
214.
nanoelectronic systems design
215.
nano-electronic systems design
216.
object-oriented design
217.
observer design
218.
online design error debug
219.
open design
220.
optimal design
221.
optimal-design
222.
optimization of the mechanical design
223.
package design solution
224.
parallel design and test
225.
parametric design
226.
parametric generative design
227.
participatory design
228.
passive design
229.
passive design strategies
230.
passive design strategy
231.
pavement design
232.
pedagogical design model
233.
performance-based design
234.
performance-driven design
235.
performance-driven urban design
236.
physical design
237.
PMS design
238.
policy design
239.
positive energy districts design
240.
power converters design
241.
principle of orthogonal design
242.
proto-theory of design
243.
quality-by-design
244.
Regenerative Design
245.
remote design
246.
research design
247.
resilient urban design
248.
robot design
249.
robust design optimization
250.
safe-by-design
251.
sampling design
252.
satellite design
253.
secure ASIC Design
254.
security-by-design
255.
service and product design
256.
service design
257.
service design (SD)
258.
shelter design evaluation
259.
shift-adds design
260.
signal design
261.
simulations-driven design
262.
size-specific implant design
263.
slotless design
264.
social design
265.
soft robot materials and design
266.
software design
267.
solar design
268.
stormwater-resilient urban design
269.
structural fire design
270.
structure of design space
271.
sustainable design
272.
synchronic design process
273.
system analysis and design
274.
system design
275.
target value design
276.
teaching design and test of systems
277.
technical design
278.
technological design
279.
test model design
280.
textile-design
281.
thermal design
282.
touch-free system design
283.
trademark and design law
284.
transaction design
285.
transactional design
286.
universal design
287.
uplink control channel design
288.
urban design
289.
urban design research
290.
urban planning and design
291.
user interface design
292.
user-centred design
293.
user-driven design processes
294.
value centric design
295.
value-centric design
296.
ventilation design
297.
virtual design and construction
298.
visualization design and evaluation methods
299.
work-holder design
300.
workplace design
301.
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