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