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
contract-based design (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/279)
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 kogumikus EST
/
artikkel kogumikus ENG
Temporal multi-view contracts for efficient test models
Guin, Jishu
;
Vain, Jüri
;
Tsiopoulos, Leonidas
;
Valdek, Gert
Digital Business and Intelligent Systems : 15th International Baltic Conference, Baltic DB&IS 2022, Riga, Latvia, July 4-6, 2022 : proceedings
2022
/
p. 136–151
https://doi.org/10.1007/978-3-031-09850-5_10
Conference proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
2
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Temporal multi-view contracts help developing efficient test models
Guin, Jishu
;
Vain, Jüri
;
Tsiopoulos, Leonidas
;
Valdek, Gert
Baltic journal of modern computing
2022
/
p. 710-737
https://doi.org/10.22364/bjmc.2022.10.4.07
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Kirjeid leitud 2, kuvan
1 - 2
võtmesõna
278
1.
contract-based design
2.
Design-by-Contract
3.
component-based design
4.
knowledge-based design
5.
performance-based design
6.
contract for difference (CfD)
7.
contract specificity
8.
contract workforce
9.
hybrid smart-contract agreement
10.
life cycle contract
11.
maritime energy contract
12.
psychological contract
13.
ricardian contract
14.
smart contract
15.
smart contract language
16.
temporal contract
17.
design methodology and human-centred design
18.
Action design research
19.
algorithm design and theory
20.
animation design
21.
architectural design
22.
argumentative design
23.
ASIC design
24.
Baroque garden design
25.
battery design
26.
Benign by design
27.
bioinspired design
28.
biomimetic design
29.
Box–Behnken experimental design methodology
30.
building design
31.
building design management
32.
building performance design
33.
C design
34.
Central composite design
35.
co-design strategies
36.
collaborative design
37.
compatibility design techniques
38.
component design
39.
computational design
40.
computational design method
41.
computational design methods
42.
computational mechanics and design
43.
computer aided design
44.
computer-aided architectural design (CAAD)
45.
computer-aided design
46.
conceptual design
47.
conformational design
48.
control design
49.
control system design
50.
control systems design
51.
cooling design
52.
cost-effective design
53.
cost-oriented design
54.
course design
55.
courses on electronic testing and design
56.
curriculum design
57.
cylindrical cell design
58.
database design
59.
design
60.
design activity
61.
design and implementation of Performance Management Systems
62.
design and test
63.
design aspects
64.
design automation
65.
design cognition
66.
design collaboration
67.
design development
68.
design dimensions
69.
design domains
70.
design education
71.
design entrepreneurship
72.
design error localization
73.
design errors
74.
design evaluation
75.
design experiments
76.
design field testing
77.
design flaw
78.
design for disassembly
79.
design for experiments
80.
design for health
81.
design for manufacturability
82.
design for manufacture
83.
design for quality
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 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 tactics
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-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.
digital design course
138.
digital design education
139.
digital FIR filter design
140.
Digital test and testable design
141.
duct design
142.
early design
143.
early design digital tools
144.
early design phases
145.
early design stages
146.
educational design
147.
electrical machine design
148.
emerging design practices
149.
Energy Efficiency Design Index (EEDI)
150.
engineering design
151.
envelope design
152.
environmental design
153.
evolutive design process
154.
experimental design
155.
facade design
156.
fairway design
157.
fault tolerant router design
158.
fire design
159.
fire design model
160.
fire safety design
161.
FPGA/PSoC design
162.
frequency sampling filter design
163.
generative design
164.
hardware design
165.
hardware/software co-design
166.
health promoting urban planning and design
167.
human-centric design
168.
Hydraulic design
169.
industrial design
170.
initial planning or design stage
171.
institutional design
172.
institutional quality and design
173.
integrated circuit design
174.
integrated design
175.
integrated design environment
176.
interaction design pattern
177.
iterative design
178.
iterative modelling and control design
179.
job design
180.
KMS design
181.
landscape design
182.
lean design
183.
lean design management
184.
legal design standards
185.
logic design
186.
logistics curriculum design
187.
low-power ASIC design
188.
machine design
189.
market design
190.
materials design
191.
mechanical engineering design
192.
mechanism design
193.
mechanism design theory
194.
mixed-signal design
195.
mixed-use design
196.
model-driven design
197.
molecular design
198.
monitoring and application design
199.
multi-criteria design
200.
multidimensional design
201.
multi-layered curriculum design
202.
multi-pole model design
203.
nanoelectronic systems design
204.
nano-electronic systems design
205.
object-oriented design
206.
observer design
207.
open design
208.
optimal design
209.
optimal-design
210.
optimization of the mechanical design
211.
package design solution
212.
parallel design and test
213.
parametric design
214.
parametric generative design
215.
participatory design
216.
passive design
217.
passive design strategies
218.
passive design strategy
219.
pavement design
220.
performance-driven design
221.
performance-driven urban design
222.
physical design
223.
PMS design
224.
policy design
225.
positive energy districts design
226.
power converters design
227.
principle of orthogonal design
228.
proto-theory of design
229.
quality-by-design
230.
Regenerative Design
231.
remote design
232.
research design
233.
resilient urban design
234.
robot design
235.
robust design optimization
236.
safe-by-design
237.
sampling design
238.
satellite design
239.
secure ASIC Design
240.
service and product design
241.
service design
242.
service design (SD)
243.
shelter design evaluation
244.
shift-adds design
245.
signal design
246.
slotless design
247.
social design
248.
soft robot materials and design
249.
software design
250.
solar design
251.
stormwater-resilient urban design
252.
structural fire design
253.
structure of design space
254.
sustainable design
255.
synchronic design process
256.
system design
257.
teaching design and test of systems
258.
technical design
259.
test model design
260.
textile-design
261.
thermal design
262.
trademark and design law
263.
transaction design
264.
transactional design
265.
uplink control channel design
266.
urban design
267.
urban design research
268.
urban planning and design
269.
user-centred design
270.
user-driven design processes
271.
value centric design
272.
value-centric design
273.
ventilation design
274.
virtual design and construction
275.
visualization design and evaluation methods
276.
work-holder design
277.
workplace design
278.
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