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
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
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/326)
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
324
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.
Hydraulic design
183.
IC Design
184.
immersive design
185.
industrial design
186.
initial planning or design stage
187.
institutional design
188.
institutional quality and design
189.
integrated circuit design
190.
integrated design
191.
integrated design environment
192.
interaction design pattern
193.
inverse design
194.
iterative design
195.
iterative modelling and control design
196.
job design
197.
KMS design
198.
knowledge-based design
199.
landscape design
200.
lean design
201.
lean design management
202.
learning design
203.
legal design
204.
legal design standards
205.
life cycle assessment in building design
206.
lightweight design
207.
logic design
208.
logistics curriculum design
209.
low-power ASIC design
210.
machine design
211.
magnetic design
212.
market design
213.
materials design
214.
mechanical engineering design
215.
mechanism design
216.
mechanism design theory
217.
mixed-signal design
218.
mixed-use design
219.
model-based design
220.
model-driven design
221.
molecular design
222.
monitoring and application design
223.
multi-criteria design
224.
multidimensional design
225.
multi-layered curriculum design
226.
multi-objective design
227.
multi-pole model design
228.
nanoelectronic systems design
229.
nano-electronic systems design
230.
object-oriented design
231.
observer design
232.
online design error debug
233.
open design
234.
optimal design
235.
optimal-design
236.
optimization of the mechanical design
237.
package design solution
238.
parallel design and test
239.
parametric design
240.
parametric design optimization
241.
parametric generative design
242.
participatory design
243.
passive design
244.
passive design strategies
245.
passive design strategy
246.
pavement design
247.
pedagogical design model
248.
performance-based design
249.
performance-driven design
250.
performance-driven urban design
251.
physical design
252.
PMS design
253.
policy design
254.
positive energy districts design
255.
power converters design
256.
principle of orthogonal design
257.
privacy by design
258.
proto-theory of design
259.
quality-by-design
260.
Regenerative Design
261.
remote design
262.
research design
263.
resilient urban design
264.
robot design
265.
robust design optimization
266.
safe-by-design
267.
sampling design
268.
satellite design
269.
school design
270.
secure ASIC Design
271.
security-by-design
272.
service and product design
273.
service design
274.
service design (SD)
275.
shelter design evaluation
276.
shift-adds design
277.
signal design
278.
simulations-driven design
279.
size-specific implant design
280.
slotless design
281.
social design
282.
sociotechnical design
283.
soft robot materials and design
284.
software design
285.
solar design
286.
stormwater-resilient urban design
287.
structural fire design
288.
structure of design space
289.
sustainable design
290.
synchronic design process
291.
system analysis and design
292.
system design
293.
target value design
294.
teaching design and test of systems
295.
technical design
296.
technological design
297.
test model design
298.
textile-design
299.
thermal design
300.
timber fire design
301.
time-domain design
302.
touch-free system design
303.
trademark and design law
304.
transaction design
305.
transactional design
306.
universal design
307.
uplink control channel design
308.
urban design
309.
urban design research
310.
urban planning and design
311.
user interface and experience design
312.
user interface design
313.
user-centred design
314.
user-centred design (UCD)
315.
user-driven design processes
316.
value centric design
317.
value-based design
318.
value-centric design
319.
ventilation design
320.
virtual design and construction
321.
visualization design and evaluation methods
322.
work-holder design
323.
workplace design
324.
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