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