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/323)
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
321
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-pole model design
225.
nanoelectronic systems design
226.
nano-electronic systems design
227.
object-oriented design
228.
observer design
229.
online design error debug
230.
open design
231.
optimal design
232.
optimal-design
233.
optimization of the mechanical design
234.
package design solution
235.
parallel design and test
236.
parametric design
237.
parametric design optimization
238.
parametric generative design
239.
participatory design
240.
passive design
241.
passive design strategies
242.
passive design strategy
243.
pavement design
244.
pedagogical design model
245.
performance-based design
246.
performance-driven design
247.
performance-driven urban design
248.
physical design
249.
PMS design
250.
policy design
251.
positive energy districts design
252.
power converters design
253.
principle of orthogonal design
254.
privacy by design
255.
proto-theory of design
256.
quality-by-design
257.
Regenerative Design
258.
remote design
259.
research design
260.
resilient urban design
261.
robot design
262.
robust design optimization
263.
safe-by-design
264.
sampling design
265.
satellite design
266.
school design
267.
secure ASIC Design
268.
security-by-design
269.
service and product design
270.
service design
271.
service design (SD)
272.
shelter design evaluation
273.
shift-adds design
274.
signal design
275.
simulations-driven design
276.
size-specific implant design
277.
slotless design
278.
social design
279.
sociotechnical design
280.
soft robot materials and design
281.
software design
282.
solar design
283.
stormwater-resilient urban design
284.
structural fire design
285.
structure of design space
286.
sustainable design
287.
synchronic design process
288.
system analysis and design
289.
system design
290.
target value design
291.
teaching design and test of systems
292.
technical design
293.
technological design
294.
test model design
295.
textile-design
296.
thermal design
297.
timber fire design
298.
time-domain design
299.
touch-free system design
300.
trademark and design law
301.
transaction design
302.
transactional design
303.
universal design
304.
uplink control channel design
305.
urban design
306.
urban design research
307.
urban planning and design
308.
user interface and experience design
309.
user interface design
310.
user-centred design
311.
user-centred design (UCD)
312.
user-driven design processes
313.
value centric design
314.
value-based design
315.
value-centric design
316.
ventilation design
317.
virtual design and construction
318.
visualization design and evaluation methods
319.
work-holder design
320.
workplace design
321.
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