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/316)
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
314
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.
ChatGPT in course design
24.
circuit design
25.
circuits design
26.
co-design
27.
co-design strategies
28.
collaborative design
29.
compatibility design techniques
30.
component design
31.
component-based design
32.
computational design
33.
computational design method
34.
computational design methods
35.
computational mechanics and design
36.
computer aided design
37.
computer-aided architectural design (CAAD)
38.
computer-aided design
39.
computer-aided design (CAD)
40.
conceptual design
41.
conformational design
42.
contract-based design
43.
control design
44.
control system design
45.
control systems design
46.
cooling design
47.
cost-effective design
48.
cost-oriented design
49.
course design
50.
courses on electronic testing and design
51.
curriculum design
52.
cylindrical cell design
53.
database design
54.
design
55.
design activity
56.
Design and assessment methods
57.
design and implementation of Performance Management Systems
58.
design and test
59.
design aspects
60.
design automation
61.
design cognition
62.
design collaboration
63.
design day
64.
design development
65.
design dimensions
66.
design domains
67.
design education
68.
design entrepreneurship
69.
design error localization
70.
design errors
71.
design evaluation
72.
design experiments
73.
design exploration
74.
design fiction
75.
design field testing
76.
design flaw
77.
design for disassembly
78.
design for experiments
79.
design for health
80.
design for manufacturability
81.
design for manufacture
82.
design for quality
83.
design for safety
84.
design for testability
85.
design function
86.
design globally-produce locally
87.
design impact
88.
design inefficiencies
89.
design language
90.
design management
91.
design management concept
92.
design management problems
93.
design management training
94.
design measuring
95.
Design method
96.
design methodology
97.
design methods
98.
design model
99.
design modularisation
100.
design modularity
101.
design obfuscation
102.
design of experiments
103.
Design of glass canopy
104.
design optimization
105.
design outdoor conditions
106.
design outdoor temperature
107.
design patterns
108.
design principles of FMS
109.
design process
110.
design quality
111.
design rhetoric
112.
design science
113.
design science research
114.
design skills
115.
design smell
116.
design space
117.
design space exploration
118.
design standards
119.
design structure matrix
120.
design structure matrix technology
121.
design support systems
122.
design system
123.
design theory
124.
design thinking
125.
design tools
126.
design understanding
127.
design value
128.
design worlds
129.
design, technologies and economics competencies
130.
Design-by-Contract
131.
design-driven business model
132.
design-driven innovation
133.
design-driven innovations
134.
design-for-test
135.
design-for-testability
136.
design-science
137.
DHW Design Flow Rate
138.
Die design
139.
digital design course
140.
digital design education
141.
digital FIR filter design
142.
digital integrated circuit (IC) design
143.
Digital test and testable design
144.
drug design
145.
dual stator design
146.
duct design
147.
early design
148.
early design digital tools
149.
early design phases
150.
early design stages
151.
educational design
152.
electrical machine design
153.
electronic design automation
154.
emerging design practices
155.
Energy Efficiency Design Index (EEDI)
156.
engineering design
157.
envelope design
158.
environmental design
159.
escape room design
160.
evolutive design process
161.
experimental design
162.
facade design
163.
fairway design
164.
fast boat design
165.
fault tolerant router design
166.
fire design
167.
fire design model
168.
fire safety design
169.
FPGA/PSoC design
170.
frequency sampling filter design
171.
generative design
172.
hardware design
173.
hardware/software co-design
174.
health promoting urban planning and design
175.
high-speed design
176.
human-centered design
177.
human-centric design
178.
Hydraulic design
179.
IC Design
180.
immersive design
181.
industrial design
182.
initial planning or design stage
183.
institutional design
184.
institutional quality and design
185.
integrated circuit design
186.
integrated design
187.
integrated design environment
188.
interaction design pattern
189.
inverse design
190.
iterative design
191.
iterative modelling and control design
192.
job design
193.
KMS design
194.
knowledge-based design
195.
landscape design
196.
lean design
197.
lean design management
198.
learning design
199.
legal design
200.
legal design standards
201.
logic design
202.
logistics curriculum design
203.
low-power ASIC design
204.
machine design
205.
market design
206.
materials design
207.
mechanical engineering design
208.
mechanism design
209.
mechanism design theory
210.
mixed-signal design
211.
mixed-use design
212.
model-driven design
213.
molecular design
214.
monitoring and application design
215.
multi-criteria design
216.
multidimensional design
217.
multi-layered curriculum design
218.
multi-pole model design
219.
nanoelectronic systems design
220.
nano-electronic systems design
221.
object-oriented design
222.
observer design
223.
online design error debug
224.
open design
225.
optimal design
226.
optimal-design
227.
optimization of the mechanical design
228.
package design solution
229.
parallel design and test
230.
parametric design
231.
parametric generative design
232.
participatory design
233.
passive design
234.
passive design strategies
235.
passive design strategy
236.
pavement design
237.
pedagogical design model
238.
performance-based design
239.
performance-driven design
240.
performance-driven urban design
241.
physical design
242.
PMS design
243.
policy design
244.
positive energy districts design
245.
power converters design
246.
principle of orthogonal design
247.
privacy by design
248.
proto-theory of design
249.
quality-by-design
250.
Regenerative Design
251.
remote design
252.
research design
253.
resilient urban design
254.
robot design
255.
robust design optimization
256.
safe-by-design
257.
sampling design
258.
satellite design
259.
school design
260.
secure ASIC Design
261.
security-by-design
262.
service and product design
263.
service design
264.
service design (SD)
265.
shelter design evaluation
266.
shift-adds design
267.
signal design
268.
simulations-driven design
269.
size-specific implant design
270.
slotless design
271.
social design
272.
sociotechnical design
273.
soft robot materials and design
274.
software design
275.
solar design
276.
stormwater-resilient urban design
277.
structural fire design
278.
structure of design space
279.
sustainable design
280.
synchronic design process
281.
system analysis and design
282.
system design
283.
target value design
284.
teaching design and test of systems
285.
technical design
286.
technological design
287.
test model design
288.
textile-design
289.
thermal design
290.
timber fire design
291.
time-domain design
292.
touch-free system design
293.
trademark and design law
294.
transaction design
295.
transactional design
296.
universal design
297.
uplink control channel design
298.
urban design
299.
urban design research
300.
urban planning and design
301.
user interface and experience design
302.
user interface design
303.
user-centred design
304.
user-centred design (UCD)
305.
user-driven design processes
306.
value centric design
307.
value-based design
308.
value-centric design
309.
ventilation design
310.
virtual design and construction
311.
visualization design and evaluation methods
312.
work-holder design
313.
workplace design
314.
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