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/317)
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
315
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.
Detector design and construction technologies and materials
138.
DHW Design Flow Rate
139.
Die design
140.
digital design course
141.
digital design education
142.
digital FIR filter design
143.
digital integrated circuit (IC) design
144.
Digital test and testable design
145.
drug design
146.
dual stator design
147.
duct design
148.
early design
149.
early design digital tools
150.
early design phases
151.
early design stages
152.
educational design
153.
electrical machine design
154.
electronic design automation
155.
emerging design practices
156.
Energy Efficiency Design Index (EEDI)
157.
engineering design
158.
envelope design
159.
environmental design
160.
escape room design
161.
evolutive design process
162.
experimental design
163.
facade design
164.
fairway design
165.
fast boat design
166.
fault tolerant router design
167.
fire design
168.
fire design model
169.
fire safety design
170.
FPGA/PSoC design
171.
frequency sampling filter design
172.
generative design
173.
hardware design
174.
hardware/software co-design
175.
health promoting urban planning and design
176.
high-speed design
177.
human-centered design
178.
human-centric design
179.
Hydraulic design
180.
IC Design
181.
immersive design
182.
industrial design
183.
initial planning or design stage
184.
institutional design
185.
institutional quality and design
186.
integrated circuit design
187.
integrated design
188.
integrated design environment
189.
interaction design pattern
190.
inverse design
191.
iterative design
192.
iterative modelling and control design
193.
job design
194.
KMS design
195.
knowledge-based design
196.
landscape design
197.
lean design
198.
lean design management
199.
learning design
200.
legal design
201.
legal design standards
202.
logic design
203.
logistics curriculum design
204.
low-power ASIC design
205.
machine design
206.
market design
207.
materials design
208.
mechanical engineering design
209.
mechanism design
210.
mechanism design theory
211.
mixed-signal design
212.
mixed-use design
213.
model-driven design
214.
molecular design
215.
monitoring and application design
216.
multi-criteria design
217.
multidimensional design
218.
multi-layered curriculum design
219.
multi-pole model design
220.
nanoelectronic systems design
221.
nano-electronic systems design
222.
object-oriented design
223.
observer design
224.
online design error debug
225.
open design
226.
optimal design
227.
optimal-design
228.
optimization of the mechanical design
229.
package design solution
230.
parallel design and test
231.
parametric design
232.
parametric generative design
233.
participatory design
234.
passive design
235.
passive design strategies
236.
passive design strategy
237.
pavement design
238.
pedagogical design model
239.
performance-based design
240.
performance-driven design
241.
performance-driven urban design
242.
physical design
243.
PMS design
244.
policy design
245.
positive energy districts design
246.
power converters design
247.
principle of orthogonal design
248.
privacy by design
249.
proto-theory of design
250.
quality-by-design
251.
Regenerative Design
252.
remote design
253.
research design
254.
resilient urban design
255.
robot design
256.
robust design optimization
257.
safe-by-design
258.
sampling design
259.
satellite design
260.
school design
261.
secure ASIC Design
262.
security-by-design
263.
service and product design
264.
service design
265.
service design (SD)
266.
shelter design evaluation
267.
shift-adds design
268.
signal design
269.
simulations-driven design
270.
size-specific implant design
271.
slotless design
272.
social design
273.
sociotechnical design
274.
soft robot materials and design
275.
software design
276.
solar design
277.
stormwater-resilient urban design
278.
structural fire design
279.
structure of design space
280.
sustainable design
281.
synchronic design process
282.
system analysis and design
283.
system design
284.
target value design
285.
teaching design and test of systems
286.
technical design
287.
technological design
288.
test model design
289.
textile-design
290.
thermal design
291.
timber fire design
292.
time-domain design
293.
touch-free system design
294.
trademark and design law
295.
transaction design
296.
transactional design
297.
universal design
298.
uplink control channel design
299.
urban design
300.
urban design research
301.
urban planning and design
302.
user interface and experience design
303.
user interface design
304.
user-centred design
305.
user-centred design (UCD)
306.
user-driven design processes
307.
value centric design
308.
value-based design
309.
value-centric design
310.
ventilation design
311.
virtual design and construction
312.
visualization design and evaluation methods
313.
work-holder design
314.
workplace design
315.
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