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