Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
design tactics (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
sõna
algab
täpne vaste
vabatekst
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
sõna
algab
täpne vaste
vabatekst
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
sõna
algab
täpne vaste
vabatekst
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
sõna
algab
täpne vaste
vabatekst
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
sõna
algab
täpne vaste
vabatekst
—
Lisa tingimus
Liitotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
2
Vaata veel..
(2/327)
Ekspordi
ekspordi kõik päringu tulemused
(2)
Salvesta TXT fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
2
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
Kirjeid leitud 2, kuvan
1 - 2
võtmesõna
325
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 learning tool design development
147.
Digital test and testable design
148.
drug design
149.
dual stator design
150.
duct design
151.
early design
152.
early design digital tools
153.
early design phases
154.
early design stages
155.
educational design
156.
electrical machine design
157.
electronic design automation
158.
emerging design practices
159.
Energy Efficiency Design Index (EEDI)
160.
engineering design
161.
envelope design
162.
environmental design
163.
escape room design
164.
evolutive design process
165.
experimental design
166.
facade design
167.
fairway design
168.
fast boat design
169.
fault tolerant router design
170.
fire design
171.
fire design model
172.
fire safety design
173.
FPGA/PSoC design
174.
frequency sampling filter design
175.
generative design
176.
hardware design
177.
hardware/software co-design
178.
health promoting urban planning and design
179.
high-speed design
180.
human-centered design
181.
human-centric design
182.
humanity-centred design
183.
Hydraulic design
184.
IC Design
185.
immersive design
186.
industrial design
187.
initial planning or design stage
188.
institutional design
189.
institutional quality and design
190.
integrated circuit design
191.
integrated design
192.
integrated design environment
193.
interaction design pattern
194.
inverse design
195.
iterative design
196.
iterative modelling and control design
197.
job design
198.
KMS design
199.
knowledge-based design
200.
landscape design
201.
lean design
202.
lean design management
203.
learning design
204.
legal design
205.
legal design standards
206.
life cycle assessment in building design
207.
lightweight design
208.
logic design
209.
logistics curriculum design
210.
low-power ASIC design
211.
machine design
212.
magnetic design
213.
market design
214.
materials design
215.
mechanical engineering design
216.
mechanism design
217.
mechanism design theory
218.
mixed-signal design
219.
mixed-use design
220.
model-based design
221.
model-driven design
222.
molecular design
223.
monitoring and application design
224.
multi-criteria design
225.
multidimensional design
226.
multi-layered curriculum design
227.
multi-objective design
228.
multi-pole model design
229.
nanoelectronic systems design
230.
nano-electronic systems design
231.
object-oriented design
232.
observer design
233.
online design error debug
234.
open design
235.
optimal design
236.
optimal-design
237.
optimization of the mechanical design
238.
package design solution
239.
parallel design and test
240.
parametric design
241.
parametric design optimization
242.
parametric generative design
243.
participatory design
244.
passive design
245.
passive design strategies
246.
passive design strategy
247.
pavement design
248.
pedagogical design model
249.
performance-based design
250.
performance-driven design
251.
performance-driven urban design
252.
physical design
253.
PMS design
254.
policy design
255.
positive energy districts design
256.
power converters design
257.
principle of orthogonal design
258.
privacy by design
259.
proto-theory of design
260.
quality-by-design
261.
Regenerative Design
262.
remote design
263.
research design
264.
resilient urban design
265.
robot design
266.
robust design optimization
267.
safe-by-design
268.
sampling design
269.
satellite design
270.
school design
271.
secure ASIC Design
272.
security-by-design
273.
service and product design
274.
service design
275.
service design (SD)
276.
shelter design evaluation
277.
shift-adds design
278.
signal design
279.
simulations-driven design
280.
size-specific implant design
281.
slotless design
282.
social design
283.
sociotechnical design
284.
soft robot materials and design
285.
software design
286.
solar design
287.
stormwater-resilient urban design
288.
structural fire design
289.
structure of design space
290.
sustainable design
291.
synchronic design process
292.
system analysis and design
293.
system design
294.
target value design
295.
teaching design and test of systems
296.
technical design
297.
technological design
298.
test model design
299.
textile-design
300.
thermal design
301.
timber fire design
302.
time-domain design
303.
touch-free system design
304.
trademark and design law
305.
transaction design
306.
transactional design
307.
universal design
308.
uplink control channel design
309.
urban design
310.
urban design research
311.
urban planning and design
312.
user interface and experience design
313.
user interface design
314.
user-centred design
315.
user-centred design (UCD)
316.
user-driven design processes
317.
value centric design
318.
value-based design
319.
value-centric design
320.
ventilation design
321.
virtual design and construction
322.
visualization design and evaluation methods
323.
work-holder design
324.
workplace design
325.
voxel-design approach
märksõna
2
1.
Ignis Fire Design Consulting
2.
Legal Design Summit
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT